Your search returned 14 results. Subscribe to this search

|
1. Congrès Automated technology for verification and analysis [Texte imprimé] : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (Eds.)Publication : Berlin, New York, NY : Springer, cop. 2005Description : 1 vol. (XII-506 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TAI 05] (1).
2. 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).
3.  Monographies, textes Le désir froid [] : procréation artificielle et crise des repères symboliques / Michel TortPublication : Paris : Éd. la Découverte, 1992, 18-Saint-Amand : Impr. SEPCDescription : 340 p : couv. ill. en coul ; 22 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 3362] (1).
4.  Monographies, textes Le génie logiciel et ses applications [] / Ian Sommerville,... ; texte français de Bernard Dion,...Translation of : Software engineeringPublication : Paris : InterÉditions, DL 1988, 28-La Loupe : Impr. Arts graphiques du PercheDescription : 1 vol. (330 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.565] (1), Centre de recherche en informatique[SOM] (1).
5. Congrès ICCAD-2002 [Texte imprimé] : IEEE/ACM International Conference on Computer-Aided Design : a conference for the CAD professional : Celebrating 20 Years of Excellence : November 10-14, 2002, DoubleTree Hotel, San Jose, CA / sponsored by IEEE Circuits and Systems Society, IEEE Computer Society, ACM SIGDAPublication : Piscataway, N.J. : IEEE, New York : ACM, cop. 2002Description : XXX-798 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 02] (1).
6. Congrès ISSTA 2002 [Texte imprimé] : proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Roma, Italy, July 22-24, 2002 / ed. by Phyllis G. FranklSet Level : , Software engineering notes, v. 27, no. 4Publication : New York, N.Y. : ACM Press, cop. 2002Description : VII-243 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ROM 02] (1).
7.  Monographies, textes Préparer et réussir le TOEFL [] / Suzette Marko-Geenen, Carleen CaillatPublication : Paris : les Éd. d'Organisation, DL 1993, 58-Clamecy : Impr. LaballeryDescription : 1 vol. (158 p.) ; 21 cmAvailability: Copies available for loan: Bib. Paris[EMP 115.272] (1).
8. 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).
9. 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).
10. Congrès Proceedings 2002 [Texte imprimé] : Design Automation Conference : 39th DAC : Ernest N. Morial Convention Center, New Orleans, LA, June 10-14, 2002 / sponsored by ACM ... [et al.]Publication : New York, NY : Association for Computing Machinery, cop. 2002Description : XXXVI-919 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 02] (1).
11. Congrès Proceedings of the 18th International Conference on Software Engineering : March 25-29, 1996, Berlin, Germany / sponsored by the IEEE Computer Society Technical Council on Software Engineering, the Association for Computing Machinery (SIGSOFT), Gesellschaft für InformatikPublication : Los Alamitos, Calif. : IEEE Computer Society Press, c1996Description : xviii, 590 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2128] (1).
12.  Monographies, textes Le test des logiciels [] / Spyros Xanthakis ; Pascal Régnier, Constantin KarapouliosPublication : Paris : Hermès, DL 2000Description : 1 vol. (329 p.) : ill. graph. tabl. ; 23 cmAvailability: No copies available Checked out (1).
13. 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).
14. 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