Your search returned 5 results. Subscribe to this search

|
1. 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).
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 Euro-Par'99 parallel processing [Texte imprimé] : 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings / Patrick Amestoy, Phililppe Berger, Michel Daydé ... [et al.] (eds.)Publication :New York : Springer, cop. 1999Description : 1 vol. (XXXII-1503 p.) : ill. ; 24 cm.Availability: Copies available for loan: Centre de recherche en informatique[TOU 99] (3).
4. Congrès Languages, compilers and tools for embedded systems : ACM SIGPLAN workshop LCTES 2000, Vancouver, Canada, june 2000. Proceedings / Jack Davidson, Sang Lyul Min (eds.)Publication :Berlin, Heidelberg : Springer, 2001Description : VIII-221 p. : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 00] (1).
5. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)Publication :Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).

Powered by Koha