Your search returned 9 results. Subscribe to this search

|
1. Congrès CODES 2001 : proceedings of the Ninth International Symposium on Hardware/Software Codesign : April 25-27, 2001, Copenhagen, Denmark / sponsored by ACM SIGDA ... [et al.]Publication :New York : Association for Computing Machinery, c2001Description : xi, 271 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[COP 01] (1).
2. Congrès CODES 2002 [Texte imprimé] : proceedings of the Tenth International Symposium on Hardware/Software Codesign : May 6-8, 2002, Estes Park, Colorado / sponsored by ACM SIGDA ... [et al.]Publication :New York : Association for Computing Machinery, cop. 2002Description : VIII-217 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EST 02] (1).
3. 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).
4. 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).
5. Congrès ISSS [Texte imprimé] : 14th International Symposium on System Synthesis : Montréal, Canada, Sept. 30-Oct. 2001 / sponsored by IEEE Computer Society Technical Committee on Design Automation ; ACM SIGDAPublication :New York, N.Y. : Association for Computing Machinery, c2001Description : X-281 p. : fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 01] (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 RSP 2000 [Texte imprimé] : Proceedings : 11th International Workshop on Rapid Systems Prototyping : June 21-23, 2000, Paris, France / sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Test TechnologyPublication :Los Alamitos, California : IEEE Computer Society, cop. 2000Description : VII-234 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 00] (1).
8. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)Publication :New York, heidelberg : Springer, cop. 2002Description : 1 vol. (XIII-482 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
9. 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