Your search returned 8 results. Subscribe to this search

|
1. 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).
2.  Monographies, textes Compilers [] : principles, techniques, and tools / Alfred V. Aho,... Ravi Sethi,... Jeffrey D. Ullman, ...Publication :Reading [Mas.], Menlo Park [Cal.] : Addison-Wesley, cop. 1986Description : 1 vol. (X-796 p.) : ill. ; 22 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-D/N 2385] (1).
3. Congrès COMPILERS PRINCIPLES,TECHNIQUES,AND TOOLS. [[Texte imprimé]] / {R. Sethi, A. Aho, J. Ullman}Publication :Massachusetts : ADDISON-WESLEY PRESS, 1986Description : 01 vol. (806 p.) ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-D/N 2385] (1). Checked out (1).
4.  Monographies, textes Computers and intractability [] : A guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson,...Publication :New York, N.Y : W. H. Freeman, cop. 1979Description : 1 vol. (X-340 p.) : ill., graph., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3038] (1), Sophia Antipolis[EMS 110-C03/N 3206] (1).
5. Congrès ESTEREL V3 UNE EXTENSION MODULAIRE D'ESTEREL. / {R. Bernhard}Publication :ENSMP, Sophia Antipolis, 1991Description : 01 VOL.,160 P. ; 30 CMAvailability: Copies available for reference: Sophia Antipolis[EMS T-CMA-0023] (1).
6.  Monographies, textes High performance computing / Kevin DowdPublication :Sebastopol, CA : O'Reilly & Associates, c1993Description : xxv, 371 p. : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1207] (1). Checked out (1).
7. 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).
8.  Monographies, textes Techniques de compilation [] : Méthodes d'Analyse Syntaxique / H. Gallaire,...Publication :Toulouse : CEPADUES, DL1984, 31-Toulouse : Impr. du SudDescription : 1 vol. (195 p.) : ill. ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C/N 2441] (1).

Powered by Koha