Your search returned 68 results. Subscribe to this search

|
1. Articles / Patricia Guilbot, Alain Valtz, Dominique RichonA new equipment to determine infinite dilution partition coefficients of sulfur compounds in liquefied natural gas (LNG) related mixtures [ [Texte imprimé]]Publication : ENSMP, 1997Description : P. 1611-1614 : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.976 CCL.5709] (1).
2. Thèses Algorithmique de la vérification des systèmes à compteurs [Texte imprimé] : approximation et accélération, implémentation de l'outil FAST / par Jérôme Leroux ; [sous la dir. de Alain Finkel]Publication : [S.l.] : [s.n.], 2003Description : 207 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[03 LER] (1).
3. Thèses Analyse des systèmes mobiles par interprétation abstraite [Texte imprimé] / par Jérôme Feret ; sous la direction de [non précisé : le formulaire indique : sous la direction de "Jérôme Feret"]Publication : [S.l.] : [s.n.], 2005Description : 1 vol. (372 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2005 FER] (1).
4.  Monographies, textes / Pierre JouvelotAnalyse statique comportementale des langages de programmation, Pierre JouvelotPublication : Paris : ENSMP, 1994Description : 239 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.222 CCL.5620] (2).
5. Thèses Analyse statique de programmes Java [et] application à la parallélisation [Texte imprimé] / par Romain Guider ; dir. Isabelle Attali [et] Denis CaromelPublication : [S.l.] : [s.n.], 2000Description : 186 p. ; 30cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 GUI] (1).
6. Thèses Analyse statique et dynamique de la complexité des programmes scientifiques / {L. Zhou}Publication : Paris : ENSMP, 1994Description : 118 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.243 CCL.TH.736] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1619] (1).
7.  Monographies, textes L'Analyse statistique des séries d'événements [] / par D. R. Cox,... P. A. W. Lewis,... ; traduit par J. Larrieu,...Translation of : ˜The œstatistical analysis of series of eventsPublication : Paris : Dunod, 1969Description : 1 vol. (VIII-271 p.) : ill.d24 cmAvailability: Copies available for loan: Bib. Paris[EMP 115.057] (1). Copies available for reference: Géostatistique[L-115] (1).
8. Congrès ASPLOS-XVIII : Eigteenth International conference on architectural support for programming languages and operating systems, march 16-20, 2013, Houston, Texas, USA / sponsored by SIGARCH, SIGOPS, SIGPLANSet Level : , SIGPLAN notices, vol. 48, n° 4Publication : New York(NY) : Association for Computing Machinery, 2013Description : 1 vol. (XII-562 p.) : Fig. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[HOU 13] (1).
9. Congrès Compiler construction [ [Texte imprimé]] : 17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings ; Laurie Hendren (Ed.)Publication : Berlin, New York : Springer, 2008Description : 1 vol. (XII-306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BUD 08] (1).
10. Congrès Compiler construction [ [Texte imprimé]] : 20th international conference, CC 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings ; Jens Knoop (ed.) Publication : Berlin : Springer, cop. 2011Description : 1 vol. (XII-305 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAR 11] (1).
11. Congrès Computer aided verification [Texte imprimé] : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (Eds.)Publication : Berlin, New York : Springer, cop. 2008Description : 1 vol. (XVII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PRI 08] (1).
12. Congrès Computer aided verification [Texte imprimé] : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings / Ahmed Bouajjani, Oded Maler (eds.)Publication : Berlin, New York : Springer, cop. 2009Description : 1 vol. (XV-722 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 09] (1).
13. Congrès Computer aided verification [] : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)Publication : Berlin : Springer, cop. 2001Description : 1 vol. (XIII-520 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PAR 01] (1).
14. Congrès Computer aided verification [ [Texte imprimé]] : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings ; Tayssir Touili, Byron Cook, Paul Jackson (eds.)Publication : Berlin, New York : Springer, cop. 2010Description : 1 vol. (XVI-676 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 10] (1).
15. Livres Anciens Computer aided verification [] : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / P. Madhusudan, Sanjit A. Seshia (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (XVI-789 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 12] (1).
16. Livres Anciens Computer aided verification [] : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings / Natasha Sharygina, Helmut Veith (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2013Description : 1 vol. (XXI-1015 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAI 13] (1).
17. Congrès Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, (CA), USA, July 18-24, 2015 : Proceedings, Part II ; Daniel Kroening, Corina S. Păsăreanu (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2015Description : 1 vol. (XVIII-469 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN FRA 15] (1).
18. Congrès Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, (CA), USA, July 18-24, 2015 : Proceedings, Part I ; Daniel Kroening, Corina S. Păsăreanu (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2015Description : 1 vol. (XXIII-477 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN FRA 15] (1).
19. Congrès Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 : Proceedings ; Armin Biere, Roderick Bloem (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-877 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[VIE 14] (1).
20.  Monographies, textes Cours et exercices corrigés d'algorithmique [ [Texte imprimé]] : vérifier, tester et concevoir des programmes en les modélisant / Jacques Julliand ; préface de: Pierre BerliouxPublication : Paris : Vuibert, 2010Description : 1 vol. (VIII-264 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[JUL] (1).
21. Thèses Domaines numériques abstraits faiblement relationnels [Texte imprimé] / par Antoine Miné ; sous la direction de Patrick CousotPublication : [S.l.] : [s.n.], 2004Description : 1 vol. (322 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[04 MIN] (1).
22. Articles High-pressure vapor-liquid equilibria of two binary systems [ [Texte imprimé]] : carbon dioxide + cyclohexanol and carbon dioxide + cyclohexanone / Serge Laugier, Dominique RichonPublication : ENSMP, 1997Description : P. 155-159 : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.975 CCL.5709] (1).
23. Congrès ICS'13 : proceedings of the 2013 ACM International Conference on Supercomputing, Eugene, Oregon, June 10-14, 2013 / sponsored by: ACM SIGARCH ; supported by; Intel, IBM, Microsoft Research [et al.]Publication : New York : Acm Press, c2013Availability: Copies available for reference: Bib. Fontainebleau[EUG 13] (1).
24. 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).
25. Congrès LCTES '14 [ [Texte imprimé]] : Proceedings of the 2014 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems : Edinburg, UK, June 12-13, 2014 ; Youtao Zhang, general chair ; Prasad Kulkarni, program chair ; sponsored by, ACM SIGPLAN & SIGBEDPublication : New York, N.Y. : Association for Computing Machinery, cop. 2014Description : 1 v. (VII-165 p.) : ill. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 14] (1).

Powered by Koha