Your search returned 28 results. Subscribe to this search

|
1. 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).
2. 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).
3. 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).
4. 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).
5. 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).
6. 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).
7. 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).
8. 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).
9. 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).
10. 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).
11. 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).
12. 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).
13. 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).
14. Congrès Model checking software [Texte imprimé] : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.]Publication : Berlin, Heidelberg, New York : Springer, cop. 2002Description : X-257 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
15. Congrès Model checking software [ [Texte imprimé]] : 19th international workshop, SPIN 2012 Oxford, UK, July 23-24, 2012 : proceedings ; Alastair Donaldson, David Parker (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (X-261 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[OXF 12] (1).
16.  Monographies, textes Program Analysis and Compilation, Theory and Practice [] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, 2007Description : X-361 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[REP] (1).
17. Congrès Static analysis [ [Texte imprimé]] : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings ; María Alpuente, Germán Vidal (Eds.)Publication : Berlin, New York : Springer, 2008Description : 1 vol. (X-377 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[VAL 08] (1).
18.  Monographies, textes Verification [] : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)Publication : Berlin, Heidelberg, New York : Springer, cop.2003Description : XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[DER] (1).
19. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds)Publication : Berlin, New York : Springer, cop. 2004Description : XI-324 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 04] (1).
20. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (Ed.)Publication : Berlin, Heidelberg : Springer, cop. 2005Description : XI-481 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 05] (1).
21. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings ; Ranjit Jhala, David Schmidt (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2011Description : 1 vol. (XI-418 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[AUS 11] (1).
22.  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).
23. 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).
24. 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).
25. 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).

Powered by Koha