Your search returned 7 results. Subscribe to this search

|
1. Congrès ACM Transactions on design automation of electronic systems : Volume 1, number 1-4, 1996, Volume 2, number 1-4, 1997, volume 3, numbers 1-4, 1998 / Jason Cong and Bryan Preas, directorsPublication :ACM, New York, 1515, Broadway N.Y. 10036, 1999Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI:8370] (1).
2. Congrès ACM Transactions on design automation of electronic systems : Volume 1-4, 1996-1999 / editor in chief, Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2000Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9085] (1).
3. Congrès ACM Transactions on design automation of electronic systems : Volume 1-5, 1996-2000 / editor in chief, Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2001Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9086] (1).
4. Ressources électroniques ACM Transactions on design automation of electronic systems : Volumes 1-6: 1996-2001 / editor in chief: Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2002Description : 1 CD-ROMAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9919] (1).
5. Congrès Computer-aided design [Texte imprimé] : digest of technical papers / 1998 IEEE/ACM international conference on ..., November 8-12, 1998, San Jose, California ; sp. by IEEE circuits and systems society ; IEEE computer society ; ACM SIGDAPublication :New York : ACM, s.l. : IEEE computer society press, cop. 1998Description : 1 vol. (XXII-704 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 98] (1).
6. Congrès Proceedings 1999 : Design Automation Conference, 36th, Ernest N. Morial Convention Center, New Orleans, LA, June 21-25, 1999 / sponsored by ACM...[et al]Publication :New York : Association for Computing Machinery, c1999Description : xxxii, 1003 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 99] (1).
7. 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