Your search returned 2 results. Subscribe to this search

|
1. 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).
2.  Monographies, textes Optimisation globale du placement d'applications de traitement du signal sur architectures parallèles en utilisant la programmation logique avec contraintes / Christophe Guettier ; sous la direction de François IrigoinPublication : 1997Description : 1 vol. (330 p.) : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 146.212 CCL.TH.887] (1). Copies available for reference: Bib. Paris[EMP 146.211 CCL.TH.887] (1), Centre de recherche en informatique[EM AI CI200-2379] (1).

Powered by Koha