Your search returned 26 results. Subscribe to this search

|
1. Congrès 1999 IEEE/ACM International conference on computer-aided design (ICCAD-99) : november 7-11, 1999, San Jose, California : digest of technical papersPublication : New York : IEEE, 1999Description : XXIV-616 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 99] (1).
2. 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).
3. 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).
4. 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).
5. 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).
6. Ressources électroniques ACM transactions on Design automation of electronic systems : volume 7: 2002Publication : New York : ACM Press, 2003Description : 1 CD-ROMAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 10124] (1).
7.  Monographies, textes Branching programs and binary decision diagrams [] : theory and applications / Ingo WegenerPublication : Philadelphia : Society for industrial and applied mathematics, cop. 2000Description : 1 vol. (X-408 p.) ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WEG] (1).
8. 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).
9. 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).
10. Congrès Formal sequential equivalence checking of digital systems by symbolic simulation / Gerd RitterPublication : Grenoble : Université Joseph Fourier, 2001Description : III-156 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[01 RIT] (1).
11. Congrès ICCAD-2001 [Texte imprimé] : a conference for the EE CAD Professional : IEEE/ACM International Conference on Computer-Aided Design : November 4-8, 2001, DoubleTree Hotel, San Jose, CA / sponsored by IEEE Circuits and Sustems Society ... [et al.]Publication : New York, NY : IEEE, 2001Description : XXV-656 p. : ill. ; 2001Availability: Copies available for reference: Centre de recherche en informatique[SAN 01] (1).
12. Congrès Méthodes symboliques pour la vérification de processus communicants : étude et mise en oeuvre / {A. Kerbrat}Publication : Grenoble : [s.n.], 1994Description : 190 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2157] (1).
13. Congrès MICRO-33 : proceedings / of the 33rd annual IEEE/ACM international symposium on microarchitecture, 10-13 December 2000, Monterey, California ; sp. IEEE TC-MARCH, ACM SIGMICROPublication : Los Alamitos, CA, Brussels, Tokyo : IEEE computer society press, 2000Description : XIV-357 p. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 00] (2).
14. Congrès Model checking / Edmund M. Clarke,Jr., Orna Grumberg, and Doron PeledPublication : Cambridge (MA) : The MIT press, 1999Description : XIV-314 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[CLA] (1).
15. Congrès Partitionnement dynamique dans l'analyse de relations linéaires et application à la vérification de programmes synchrones / par Bertrand JeannetPublication : Grenoble : Institut national polytechnique de Grenoble, 2000Description : VI-172 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 JEA] (1).
16. Congrès Proceedings : 1993 IEEE International Conference on Computer Design : VLSI in computers & processors / Cambridge, Massachusetts, October 3-6, 1993 ; sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, in cooperation with IEEE Electron Devices SocietyPublication : Los Alamitos, Calif. : IEEE Computer Society Press, Piscataway, NJ : Additional copies ordered from IEEE Service Center, c1993Description : xvii, 619 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1530] (1).
17. Congrès Proceedings 1998, Design Automation Conference : 35th AnniversaryMoscone Center, San Francisco, CA, June 15-19, 1998 / Sponsored by EDA Consortium ... [et al.]Publication : New York, NY : available from ACM Order Dept., Piscataway, NJ : available from IEEE Service Center, 1998Description : xxxii, 820 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SAN-98] (1).
18. 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).
19. Congrès Proceedings 2001 [Texte imprimé] : Design Automation Conference : 38th DAC : Las Vegas Convention Center, Las Vegas, NV, June 18-22, 2001 / sponsored by ACM SIGDAPublication : New York, N.Y. : Association for Computing Machinery, cop. 2001Description : 1 vol. (XXXIII-868 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LAS 01] (1).
20. Congrès Proceedings of the 2004 ACM SIGPLAN conference on programming language design and implementation (PLDI'04) : Washington DC, USA, june 9-11, 2004 / general chair: William PughPublication : New York : ACM Press, 2004Description : VIII-304 p. : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAS 04] (2).
21. Congrès Rpresentation of sets of trees for abstact interpretation / Laurent MauborgnePublication : Palaiseau (FRA) : Ecole Polytechnique, 1999Description : 183 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1999 MAU] (1).
22.  Monographies, textes Systems and software verification [] : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.] ; [traduction par] Pierre McKenzieTranslation of : Vérification de logicielsPublication : Berlin, New York, Paris : Springer, cop. 2001Description : 1 vol. (XII-190 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 5375] (1). Copies available for reference: Centre de recherche en informatique[BER] (1).
23. Congrès Tools and algorithms for the construction and analysis of systems : 7th International conference, TACAS 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, Genova, Italy, april 2-6, 2001. proceedings / Tiziana Margaria, Wang Yi (Eds.)Publication : Berlin, Heidelberg : Springer, 2001Description : XIV-588 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GEN 01] (1).
24. 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).
25. 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).

Powered by Koha