Your search returned 15 results. Subscribe to this search

|
1. 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).
2. 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).
3. 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).
4. 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).
5. 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).
6. 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).
7. 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).
8. Congrès CONTROL FLOW AND DATA FLOW : CONCEPTS OF DISTRIBUTED PROGRAMMING.Publication : Berlin, Heidelberg : Springer, 1986Description : 01 VOL.,533 P. : X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3739] (1).
9. Congrès PARALLEL PROGRAM DESIGN A FOUNDATION. / {J. Misra, K. Chandy}Publication : READING : Addison-Wesley, 1988Description : 01 VOL.,544 P. : PR 10 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6269] (1).
10. Congrès PLDI'15 : Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation : Portland, Oregon, June 13-17, 2015 ; edited by David Grove, Steve Blackburn ; sponsored by ACM SIGPLAN, supported by: NSF, Microsoft Research, Google, [et al.]Publication : New York N.Y. : Association for Computing Machinery, cop. 2015Description : 1 vol. (XV-632 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[POR 15] (1).
11. Congrès Static Analysis [] : 21th International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings / Markus Müller-Olm, Helmut Seidl (eds.)Publication : Cham, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-337 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 14] (1).
12. 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).
13. 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).
14. 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).
15. 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