Your search returned 634 results. Subscribe to this search

|
601.  Monographies, textes Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings ; Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.)Publication : Heidelberg, Dordrecht, London, New York : Springer, cop. 2013Description : 1 vol. (XI-556 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[ROM 13] (1).
602. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings ; Neil D. Jones, Markus Müller-Olm (eds.)Publication : Berlin : Springer, cop. 2009Description : 1 vol. (XI-381 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAV 09] (1).
603. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / Viktor Kuncak, Andrey Rybalchenko (eds.)Publication : Berlin : Springer, cop. 2012Description : 1 vol. (XI-461 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PHI 12] (1).
604. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings ; Kenneth L. McMillan, Xavier Rival (eds.)Publication : Berlin : Springer, cop. 2014Description : 1 vol. (XVII-491 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[DIE 14] (1).
605. Congrès Verification, Model Checking, and Abstract Interpretation [ [Texte imprimé]] : 11th International Conference, VMCAI 2010, Madrid, Spain, USA, January 17-19, 2010 : proceedings ; Gilles Barthe, Manuel Hermenegildo (eds.)Publication : Berlin : Springer, cop. 2010Description : 1 vol. (X-397 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[MAD 10] (1).
606. Congrès Verification, Model Checking, and Abstract Interpretation [] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : Proceedings / Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Publication : Berlin : Springer, cop. 2015Description : 1 vol. (XVIII-467 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUM 15] (1).
607. Congrès Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA. January 17-19, 2016 : Proceedings ; Barbara Jobstmann, K. Rustan M. Leino (eds.)Publication : Berlin : Springer, cop. 2016Description : 1 vol. (XIII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[St. PET 16] (1).
608.  Monographies, textes Verification of sequential and concurrent programs [] / Krzysztof R. Apt, Ernst-Rüdiger OlderogPublication : New York : Springer-Verlag, c1991Description : 1 vol. (XVI-441 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-431] (1).
609. 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).
610.  Monographies, textes VIPLEF : notice d'utilisation / S. M. TijaniPublication : [Lieu de publication inconnu] : [éditeur inconnu], 1987Description : 1 vol. (pagination multiple) ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3920(127)] (1). Copies available for reference: Bib. Paris[EMP C5 [109]] (1).
611.  Monographies, textes VIPLEF : notice de conception / S. M. TijaniSet Level : Mémento de mécanique des rochesPublication : [Lieu de publication inconnu] : [éditeur inconnu], 1985Description : 1 vol. (66 p.) ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3920(126)] (1). Copies available for reference: Bib. Paris[EMP C5 [108]] (1).
612.  Monographies, textes Vite fait, bien fait ! [] : le paradigme du futur immédiat : reengineering des développements informatiques / Jean-Pierre VickoffPublication : Ecquevilly : Qualité & Ingénierie, DL 1998Description : 1 vol. (79 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 113.099] (1).
613.  Monographies, textes Win32 system programming [] : a Windows® 2000 application developer's guide / Johnson M. HartPublication : Boston, San Francisco, New York [etc.] : Addison-Wesley, cop.2001Description : XVIII-507 p. : ill. ; 24 cm + 1 CD-RomAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 4442] (2).
614.  Monographies, textes Windows : versions 1, 2 et 386 / Jacques ClaviezPublication : Paris : Eyrolles, 1988, Paris : Impr. JouveDescription : XII-223 p : ill ; 23 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 14123-8] (1).
615.  Monographies, textes Windows 3.1 [] / Jürgen Bür, Irene Bauder ; [trad. par Hassina Abbasbhay]Publication : Paris : Ed. Micro Application, 1992Description : 1 vol. (1070 p.) : ill. ; 25 cm + 1 disquetteAvailability: Copies available for reference: Centre de Morphologie Mathématique[L-37/92/MM] (1).
616.  Monographies, textes Windows efficace [] : pour mieux exploiter, vitesse et performances de Windows/286 et Windows/386 / Jim Heid ; trad. et ill. par Jean GuilleminPublication : Paris : Ed. P.S.I., 1988Description : 348 p. : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.661] (1).
617.  Monographies, textes Windows PowerShell : les fondamentaux du langage / [Arnaud Petitjean, Robin Lemesle]Publication : St-Herblain : Éditions ENI, cop. 2015Description : 1 vol. (628 p.) : ill., couv. ill. en coul. ; 22 cmAvailability: No copies available Checked out (1).
618.  Monographies, textes Windows PowerShell (versions 1 et 2) [] : guide de référence pour l'administration système / [Robin Lemesle et Arnaud Petitjean]Publication : St-Herblain : Éd. ENI, cop. 2010Description : 1 vol. (673 p.) : ill., couv. ill. en coul. ; 21 cmAvailability: No copies available Checked out (1).
620.  Monographies, textes Word 4 efficace sur PC, PS et compatibles : astuces d'utilisation pour toutes versions et tout matériel / Arnaud de la PommerayePublication : Paris : Cédic/Nathan, 1988Description : 277 p. ; 25 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.662] (1).
621.  Monographies, textes Word sur Macintosh / Jacques ClaviezPublication : Paris : Eyrolles, 1988Description : 169 p. : ill. ; c1988Availability: Copies available for loan: Bib. Paris[EMP 108.582] (1).
622.  Monographies, textes WordPress [] : créez un site Web complet / Sandrine BurrielPublication : Montreuil : Pearson, cop. 2013Description : 1 vol. (IX-370 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[006.76 BUR w] (1).
623.  Monographies, textes WordPress 4.5 : un CMS pour créer et gérer blogs et sites Web / [Christophe Aubry]Publication : St-Herblain : Éditions ENI, cop. 2016Description : 1 vol. (390 p.) : ill., couv. ill. en coul. ; 22 cmAvailability: No copies available Checked out (1).
624.  Monographies, textes World Wide Web [] : Guide pratique de Netscape et Mosaic : Versions Windows et Macintosh / Denys BondevillePublication : Paris : Eyrolles, DL 1995, Paris : Impr. JouveDescription : 1 vol. (XIII-320 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.906] (1).
625.  Monographies, textes Writing Apache modules with Perl and C [] / Lincoln Stein and Doug MacEachernPublication : Beijing, Cambridge, Paris : O'Reilly, cop. 1999Description : 1 vol. (XIX-724 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[STE] (1).

Powered by Koha