Your search returned 6 results. Subscribe to this search

|
1. Articles A symbolic representation of asynchronous networks of synchronous processes [ [Texte imprimé]] / Robert de Simone, Amar BoualiPublication : ENSMP, 1998Description : 10 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.236 CCL.5742] (1).
2.  Monographies, textes / C. André, A. Dessouche, J.M. TanziCombining special purpose and general purpose languages in real-time programming, C. André, A. Dessouche, J.M. TanziPublication : ENSMP, 1998Description : Non paginé : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.230 CCL.5742] (1).
3. Thèses Compilation du langage Esterel en systèmes d'équations booléennes / {F. Mignard}Publication : Sophia-Antipolis : ENSMP, 1994Description : 238 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.928 CCL.TH.783] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-0033] (1).
4.  Monographies, textes / Gérard BerryThe Esterel v5 language primer : version v5_91, Gérard BerryPublication : Sophia-Antipolis : ENSMP, 2000Description : 142 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.184 CCL.5803] (1).
5.  Monographies, textes The foundations of Esterel / Gérard Berry, Gérard BerryPublication : ENSMP, 1998Description : 31 f. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.630 CCL.5700] (2).
6.  Monographies, textes XEVE, an ESTEREL verification environment / Amar Bouali, Amar BoualiPublication : ENSMP, 1998Description : Non paginé : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.235 CCL.5742] (1).

Powered by Koha