Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000083781009 | 1 hits
Person
ISNI: 
0000 0000 8378 1009
Name: 
Berry, Gérard
Berry, Gerard Philippe
Dates: 
1948-...
Creation class: 
Computer file
Language material
Projected medium
Text
Creation role: 
author
Related names: 
Dowek, Gilles (1966-....))
Edwards, Stephen A. (1970-)
Finkel, Alain (1958-....))
Gonthier, Georges (1962-....))
Peretti, Jean-Marie (1946-.)
Potop-Butucaru, Dumitru
Vieville, Thierry (1959-.)
Titles: 
Bottom-up computation of recursive programs
chemical abstract machine, The
Compiling ESTEREL
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
ESTEREL synchronous programming language, The : design, semantics, implementation
Informatique et sciences du numérique spécialité ISN en terminale S, avec des exercices corrigés et idées de projets
introduction à la science informatique pour les enseignants de la discipline en lycée, Une
logiciel, objet de notre quotidien, Le
Penser, modéliser et maîtriser le calcul informatique
Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique
Programming a digital watch in ESTEREL v3
SIRH enjeux, projets et bonnes pratiques, Le
Systèmes embarqués : contraintes et technologies colloquium Jacques Morgenstern, 20 ans de recherche dans les STIC, quelle recherche dans 20 ans ?, mardi 10 décembre 2002
Notes: 
Sources: