langley < language < languages

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000005 (2013)	Denis Jouvet [France] ; Dominique Fohr [France]	Analysis and Combination of Forward and Backward Based Decoders for Improved Speech Transcription
000013 (1999)	Carlo Montangero	The Software Process: Modelling and Technology
000043 (1997)	Nicolas Peltier [France]	Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
000066 (2002)	Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne]	Algebraic Dynamic Programming
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000132 (1994)	Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni]	Compilation of functional languages using flow graph analysis
000146 (1996)	Carlos A. Iglesias [Espagne] ; José C. González [Espagne] ; Juan R. Velasco [Espagne]	MIX: A general purpose multiagent architecture
000158 (2001)	Stefan Jacques Darmoni ; Jean-Philippe Leroy ; Magali Douyère ; Josette Piot ; Saïda Ouazir ; Benoit Lacoste ; Christophe Godard ; Isabelle Rigolle ; Martial Brisou ; Stphane Videau ; Myriam Quéré ; Eric Goupy ; Habib Abdulrab ; Benoit Thirion	Doc’CISMeF : un outil de recherche Internetorienté vers l’enseignementet la formation à distance en médecine
000167 (2001)	Fairouz Chakkour [France] ; Yannick Toussaint [France]	Sentence Analysis by Case-Based Reasoning
000169 (1997)	Daniela Garcia [France]	COATIS, an NLP system to locate expressions of actions connected by causality links
000187 (2000)	Manuel Munier [France] ; Karim Baïna [France] ; Khalid Benali [France]	A Negotiation Model for CSCW
000193 (2001)	Philippe De Groote [France]	Strong Normalization of Classical Natural Deduction with Disjunction
000196 (1988)	Martin Wirsing ; Rolf Hennicker ; Ruth Breu	Reusable specification components
000198 (2004)	Roberto M. Amadio [France] ; Solange Coupet-Grimal [France] ; Silvano Dal Zilio [France] ; Line Jakubiec [France]	A Functional Scenario for Bytecode Verification of Resource Bounds
000204 (2006)	Sen Zhang [République populaire de Chine] ; Yves Laprie [France]	The Implementation of Service Enabling with Spoken Language of a Multi-modal System Ozone
000211 (1988)	Jacques Jaray [France]	Timed specifications for the development of real-time systems
000232 (1991)	A. Puccetti [France]	The integrated software development and verification system ATES
000244 (2010)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Real-Time Animation for Formal Specification
000249 (1999)	Mark Van Den Brand ; Didier Parigot	Preface
000254 (1999)	Friedrich Otto [Allemagne]	On the Connections between Rewriting and Formal Language Theory
000264 (1993)	Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]	OBSCURE a specification language for abstract data types

---

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 "language" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "language" \
         | 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é=    language
}}

---

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