Your search returned 668 results. Subscribe to this search

|
101.  Monographies, textes Comprendre les méthodes formelles [] : panorama et outils logiques / Jean-François Monin,... ; préface de Gérard Huet,...Publication : Paris, Milan, Barcelone : Masson, impr. 1996, Impr. en BelgiqueDescription : 1 vol. (XVII-306 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 4116] (1).
102.  Monographies, textes Computational plasticity : models, software and applications : proceedings of the second International Conference [on Computational Plasticity] held in Barcelona, Spain, 18th-22nd September, 1989 / ed. by D.R.J. Owen, E. Hinton, E. OñatePublication : Swansea (U.K.) : Pineridge Press, 1989.-Description : 2 vol. (1473 p.) ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 130-F03B/N 3687-2] (2). Copies available for reference: Bib. Evry[EMC 3011] (1).
103. Congrès Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)Publication : Berlin, London : Springer, c1998Description : ix, 552 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
104. Congrès Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999proceedings / Nicolas Halbwachs, Doron Peled (Eds.)Publication : Berlin, London : Springer, c1999Description : xii, 506 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TRE 99] (1).
105. 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).
106. 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).
107. Congrès Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000proceedings [ [Texte imprimé]] ; E. Allen Emerson, A. Prasad Sistla (eds.)Publication : Berlin, London : Springer, c2000Description : 1 vol. (X, 582 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[CHI 00] (1).
108. 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).
109. Congrès Computer aided verification [ [Texte imprimé]] : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings ; Warren A. Hunt, Jr., Fabio Somenzi (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : 1 vol. (XII-462 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOU 03] (1).
110. Congrès Computer aided verification [ [Texte imprimé]] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004proceedings ; Rajeev Alur, Doron A. Peled (eds.)Publication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (XII-536 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOS 04] (1).
111. Congrès Computer aided verification [ [Texte imprimé]] : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings ; Kousha Etessami, Sriram Rajamani (Eds.)Publication : Berlin, New York, NY : Springer, 2005Description : 1 vol. (XV-564 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 05] (1).
112. Congrès Computer aided verification [ [Texte imprimé]] : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings ; Thomas Ball, Robert B. Jones (eds.)Publication : Berlin, New York : Springer, 2006Description : 1 vol. (XV-564 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SEA 06] (1).
113. Congrès Computer Aided Verification [ [Texte imprimé]] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings ; Werner Damm, Holger Hermanns (eds.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, 2007Description : 1 vol. (XV-562 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 07] (1).
114. 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).
115. 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).
116. 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).
117. 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).
118. 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).
119. 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).
120.  Monographies, textes Computer algebra [] : systems and algorithms for algebraic computation / J. H. Davenport,... Y. Siret,... E. Tournier,... ; translated from the French by A. Davenport and J. H. DavenportTranslation of : Calcul formel, systèmes et algorithmes de manipulations algébriquesPublication : London, SanDiego (Calif.), Sydney : Academic press, cop.1988Description : 1 vol. (XIX-267 p.) : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6398] (1).
121.  Monographies, textes Computer architecture [] : software aspects, coding, and hardware / John Y. HsuPublication : Boca Raton, FL : CRC Press, 2001Description : 1 vol. (427 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[HSU] (1).
122.  Monographies, textes Conception et développement d'une interface à retour d'effort sur les doigts : Application aux interactions manuelles en réalité virtuelle / par Panagiotis Stergiopoulos ; sous la dir. de Philippe FuchsPublication : 2003Description : 1 vol. (94 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 152.078 CCL.TH.1101] (1). Copies available for reference: Bib. Paris[EMP 152.077 CCL.TH.1101] (1).
123.  Monographies, textes Conception et programmation par objets [] : pour du logiciel de qualité / Bertrand Meyer,... ; traduit de l'américain et mis à jour par Robert MahlTranslation of : , Object-oriented software construction[Texte imprimé] / Bertrand Meyer,... = cop. 1988Publication : Paris : InterÉditions, 1990, 28-Meaucé : Impr. Arts graphiques du PercheDescription : 1 vol. (622 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3935(5)] (1), Bib. Paris[EMP 110.511] (1), Sophia Antipolis[EMS 110-C/N 2850] (1). Copies available for reference: Centre de recherche en informatique[MEY] (2).
124.  Monographies, textes Conception et réalisation des moteurs de simulation pour un jeu de simulation financière / Gustave Rieunier : Trader 97, Gustave RieunierPublication : Paris : ENSMP, 1997Description : 31-32 f. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.516 CCL.5695] (2).
125.  Monographies, textes Construction de thésaurus de mots composés / par François Lagunas ; sous la direction de François BourdonclePublication : 2004Description : 1 vol. (203 p.) ; 30 cmAvailability: Copies available for reference: Bib. Paris[EMP 153.597 CCL.TH.1167] (1).

Powered by Koha