Your search returned 2 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 Seventh ACM Symposium on solid modeling and applications [Texte imprimé] : SM'02 : June 17-21, 2002, Saarbrücken, Germany : proceedings / Kunwoo Lee and Nicholas M. Patrikalakis, ed.Publication : New York, N.Y. : ACM Press, cop. 2002Description : X-413 p. : ill. ; 28 cm + 1 disque optique numériqueAvailability: Copies available for reference: Centre de recherche en informatique[SAA 02] (1).

Powered by Koha