Your search returned 149 results. Subscribe to this search

|
1. Congrès 13th IEEE International Workshop on Rapid System Prototyping [Texte imprimé] : Proceedings : Darmstadt, Germany, July 1-3, 2002 / sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Design AutomationPublication :Los Alamitos, CA : IEEE Computer Society, cop. 2002Description : X-171 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[DAR 02] (1).
2. Congrès 30th Design Automation Conference [Texte imprimé] : proceedings 1993, June 14-18, 1993, Dallas, Texas, Dallas Convention Center / sponsored by ACM SIGDA ... [et al.]Publication :New York, N.Y. : Association for Computing Machinery, Inc., Piscataway, NJ : Additional copies may be ordered prepaid from IEEE Service Center, c1993Description : 1 vol. (XXVII-768 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1232] (1).
3.  Monographies, textes Les 9 points clés de la conduite d'un projet informatique [] / Christian BénardPublication :Paris : les Éd. d'Organisation, 1992, 33-Artigues-près-Bordeaux : Impr. DelmasDescription : 301 p. : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-630] (1).
4. Congrès ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems [Texte imprimé] : Doubletree Hotel, Monterey, California, USA, December 2-3, 2002 / sponsored by ACM SIGDA...Publication :New York, N.Y. : Association for Computing Machinery,$ccop. 2002Description : VII-148 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 02] (1).
5. Congrès ACM SIGCHI DIS2002 [Texte imprimé] : Serious reflection on designing interactive systems, : The British Museum, London, 25-28 June 02 / Nico Macdonald, Editor, Wendy Mackay, Jonathan Arnowitz and William Gaver, Technical Program Co-chairsPublication :New York : Association for Computing Machinery, cop. 2002Description : 422 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 02] (1).
6. Congrès Actes des cinquièmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel [ [Texte imprimé]] : Université de Lorraine, Laboratoire LORIA, Inria Nancy-Grand Est, du 3 au 5 avril 2013 / éditeur: Laurence DuchienPublication :Nancy : Université de Lorraine, ca 2013Description : 1 vol. (218 p.) : ill., couv. ill. en coul. ; 30 cmAvailability: Copies available for reference: Bib. Fontainebleau[NAN 13] (1).
7. Congrès AFADL 2013 [ [Texte imprimé]] / actes des 12èmes Journées francophones sur les Approches formelles dans l'assistance au développement de logiciels, du 3 au 5 avril 2013, Nancy, France ; édités par: Jeanine Souquières, Virginie WielsPublication :[Nancy] : Université de Lorraine, 2013Description : 1 vol. (VI-114 p.) : ill., couv. ill. en coul. ; 30 cmAvailability: Copies available for reference: Bib. Fontainebleau[NAN 13] (1).
8.  Monographies, textes An introduction to data base design / John K. LyonPublication :New York [etc.] : Wiley-Interscience, 1971 cDescription : XII-81 p : tabl ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0836] (1).
9.  Monographies, textes Analysis patterns [] : reusable object models / Martin FowlerPublication :Menlo Park (Calif.) : Addison Wesley, cop. 1997Description : 1 vol. (XXI-357 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[FOW] (1).
10. Thèses Appariement d'images par invariants locaux de niveaux de gris : application à l'indexation d'une base d'objets / par Cordelia SchmidPublication :[Le Chesnay] : [INRIA], [1996].Description : iii, 128 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2014] (1).
11.  Monographies, textes Application servers for e-business / Lisa M. LindgrenPublication :Boca Raton, Fla, London, New York [etc.] : Auerbach : CRC Press LLC, 2001Description : XIII-267 p : ill ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[LIN] (1).
12.  Monographies, textes L'approche réactive de JAVA : sémantique et implémentation des SUGARCUBES et de JUNIOR / par Jean-Ferdinand Susini ; sous la direction de Frédéric BoussinotPublication :2001Description : 1 vol. (190 f.) ; 30cmAvailability: Copies available for loan: Bib. Paris[EMP 149.703 CCL.TH.1024] (1). Copies available for reference: Bib. Paris[EMP 149.702 CCL.TH.1023] (1), Centre de recherche en informatique[2001 SUS] (1), Sophia Antipolis[EMS T-CMA-050] (1).
13. 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).
14.  Monographies, textes Beautiful teams [] / édité par Andrew Stellman et Jennifer GreenePublication :Sebastopol, CA : O'Reilly, 2009Description : 1 vol. (XXIV- 482 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[AND] (1).
15.  Monographies, textes Bit-slice microprocessor design [] / John Mick, James BrickPublication :New York : McGraw-Hill, cop. 1980Description : 1 vol. (vii-398 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1097] (1).
16.  Monographies, textes Building secure software [] : how to avoid security problems the right way / John Viega, Gary McGrawPublication :Boston, New York, Paris : Addison Wesley, cop. 2001Description : 1 vol. (XXX-493 p.) ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VIE] (1).
17.  Monographies, textes Le câblage des algorithmes [] / Jean-Noël ContensouPublication :Paris : Hermès, impr. 1995, 53-Mayenne : Impr. FlochDescription : 1 vol. (404 p) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1797] (1).
18.  Monographies, textes Calculabilité effective et algorithmique théorique [] / Patrick Vollat,...Publication :Paris : Eyrolles, 1989, 45-Saint-Jean-de-Bray : Impr. nouvelleDescription : 1 vol. (186 p.) ; 24 cm.Availability: Copies available for loan: Bib. Paris[EMP 108.818] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI6440] (1), Sophia Antipolis[EMS 110-C03/N 2677] (1).
19. 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).
20. 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).
21.  Monographies, textes Computational aspects of VLSI [] / Jeffrey D. UllmanPublication :Rockville (Md.) : Computer Science Press, cop. 1984Description : 1 vol. (X-495 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[ULL] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI2971] (1).
22. 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).
23. 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).
24.  Monographies, textes Computer architecture [] : a quantitative approach / David A. Patterson,... John L. Hennessy,... ; with a contribution by David Goldberg,...Publication :San Francisco (Cal.) : M. Kaufmann, cop. 1996Description : 1 vol. (XXIII-760 p.- [200] p.) : fig., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAT] (1).
25.  Monographies, textes Computer architecture : a quantitative approach / John L. Hennessy, David A. Patterson ; with contributions by Krste Asanović, Jason D. Bakos, Robert P. Colwell,... [et al.]Publication :Waltham (Mass.) : Morgan Kaufmann, Amsterdam, Boston, Heidelberg [etc.] : Elsevier, cop. 2012Description : 1 vol. (XXVII- 493-[325] p.) : ill., couv. ill. en coul. ; 24 cmAvailability: No copies available Checked out (1).

Powered by Koha