hanche < hand < handbook

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 103.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000185 (1996)	Paul Ruet [France]	Logical semantics of concurrent constraint programming
000221 (2003)	Maria Bonnafous-Boucher ; Stéphanie Chatelain-Ponroy ; Yves Evrard ; Frédéric Mazallon	Quel avenir pour les théâtres lyriques?
000254 (1999)	Friedrich Otto [Allemagne]	On the Connections between Rewriting and Formal Language Theory
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000364 (2007)	Eun-Young Kang [France] ; Stephan Merz [France]	Predicate diagrams for the verification of real-time systems
000392 (1986)	J. P. Laborde	Pour une approche géostatistique des coefficients d'abattement des précipitations
000570 (2008)	Elisabeth Frauger [France] ; Caroline Vigneau [France] ; Véronica Orléans [France] ; Xavier Thirion [France] ; Pascale Jolliet [France] ; Joëlle Micallef [France]	La consommation de cannabis chez les sujets présentant un abus, une pharmacodépendance ou sous traitement de substitution de la dépendance aux opiacés : données OPPIDUM 2006 et principales tendances depuis 2004 du réseau des Centres d'Évaluation et d'Information sur la Pharmacodépendance (CEIP)
000588 (1999)	A. H. Bentbib [Maroc]	Conjugate directions method for solving interval linear systems
000792 (2001)	Nicolas Navet [France] ; Ye-Qiong Song [France]	Validation of in-vehicle real-time applications
000793 (2005)	Tomasz Truderung [Pologne]	Selecting Theories and Recursive Protocols
000875 (2004)	Philippe De Groote [France] ; Sylvain Salvati [France]	Higher-Order Matching in the Linear λ -calculus with Pairing
000886 (1994)	Andrea Sattler-Klein [Allemagne]	About changing the ordering during Knuth-Bendix completion
000934 (2009)	Stefan Winkler [Allemagne] ; Jens Von Pilgrim [Allemagne]	A survey of traceability in requirements engineering and model-driven development
000938 (2003)	Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]	Imperative Object-Based Calculi in Co-inductive Type Theories
000962 (1998)	Zizette Boufriche-Boufa Da [Algérie]	Automatic interpretation of biological tests
000A78 (2001)	Bernhard Gramlich [Autriche]	On interreduction of semi-complete term rewriting systems
000B47 (1985)	A. Cao [France] ; E. Hantz [France] ; E. Taillandier [France] ; P. Depraetere [France] ; M. Seiller [France]	Study of emulsions of pharmaceutical interest by light scattering
000B83 (1998)	J. Verhasselt [Belgique] ; I. Illina [France] ; J.-P. Martens [Belgique] ; Y. Gong [France] ; J.-P. Haton [France]	Assessing the importance of the segmentation probability in segment-based speech recognition
000C13 (1999)	J. Zaytoon ; G. Villermain-Lecolier	Grafcet: Methodological and Formal Issues
000D19 (2002)	Samuel Hornus [France] ; Philippe Schnoebelen [France]	On Solving Temporal Logic Queries

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "hand" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "hand" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    hand
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022