Your search returned 3 results. Subscribe to this search

|
1.  Monographies, textes / Gérérd BerryA hardware implementation of pure Esterel, Gérérd BerryPublication : Sophia-Antipolis : ENSMP, 1991Description : 39 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.910 CCL.5534] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-541] (2).
2. Thèses De la sémantique opérationnelle à la spécification formelle de compilateurs [Texte imprimé] : l'exemple des boucles en Esterel / par Olivier Tardieu ; sous la direction de Gérard BerryPublication : [S.l.] : [s.n.], 2004Description : 1 vol. (130 p.) ; 30 cmAvailability: Click here to access online Copies available for reference: Centre de recherche en informatique[04 TAR] (1), Sophia Antipolis[EMS T-CMA-055] (1).
3.  Monographies, textes / {O. Faugeras}Real time correlation-based stereo = Stéréoscopie en temps réel à base de corrélations: algorithme, implémentations et applications : Algorithm, implementations and applicationsPublication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1993Description : 45 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2013)] (1).

Powered by Koha