Your search returned 4 results. Subscribe to this search

|
1.  Monographies, textes Les compilateurs [] : théorie, construction, génération / Reinhard Wilhelm, Dieter Maurer ; François ThomassetTranslation of : ÜbersetzbauPublication : Paris, Milan, Barcelone : Masson, cop. 1994, Impr. en BelgiqueDescription : 1 vol. (XII-612 p.) : ill., graph., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.288] (1).
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. Optimisation des transferts de données pour le traitement du signal : pavage, fusion et réallocation des tableaux / par Youcef Bouchebaba ; sous la dir. de François IrigoinPublication : 2002Description : 1 vol. (156 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.790 CCL.TH.1064] (1). Copies available for reference: Bib. Paris[EMP 150.789 CCL.TH.1064] (1), Centre de recherche en informatique[02 BOU] (1).
4. Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code / par Thi Viet Nga Nguyen ; sous la dir. de François IrigoinPublication : 2002Description : 1 vol. (189 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.759 CCL.TH.1063] (2). Copies available for reference: Centre de recherche en informatique[02 NGU] (1).

Powered by Koha