Your search returned 356 results. Subscribe to this search

|
1. Congrès 01 UIST [Texte imprimé] : proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, Orlando, Florida, November 11-14, 2001 / sponsored by ACM SIGGRAPH [and] ACM SIGCHI ; in cooperation with ACM SIGSOFTPublication : New York : Association for Computing Machinery, c2001Description : XI-226 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ORL 01] (1).
2. 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).
3. Congrès 13th International Conference on Parallel Architecture and Compilation Techniques (PACT 2004) [Texte imprimé] : proceedings : Antibes Juan-les-Pins, France, September 29-October 3, 2004 / sponsored by, IEEE TCCP ... [et al.]Publication : Los Alamitos, California : IEEE Computer Society, cop. 2004Description : XIII-291 p. : ill. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[ANT 04] (1).
4. Congrès 2001 International Conference on Parallel Architectures and Compilation Techniques [Texte imprimé] : proceedings : 8-12 September, 2001, Barcelona, Catalunya, Spain / sponsored by IEEE Technical Committee on Computer Architecture ... [et al.] ; with the support of Technical University of Catalunya (UPC) ... [et al.]Publication : Los Alamitos, California : IEEE Computer Society Press, c2001Description : X-305 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[BAR 01] (1).
5. Congrès 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015) : Proceedings of the 2015 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : San Francisco, CA, USA, February 7-11, 2015 / Association for Computing MachinerySet Level : , SIGPLAN notices, 50, n° 8, August 2015Publication : New York, N.Y. : ACM Press, 2015Description : 1 vol. (XII-290 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 15] (1).
6.  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).
7.  Monographies, textes A Guide to package systems [] / Robert V HeadPublication : New York, London, Sydney [etc.] : Wiley-Interscience, 1971Description : 1 vol; (XII-116 p.) : tabl ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0833] (1).
8.  Monographies, textes A theory of fun for game design [] / by Raph KosterPublication : Scottsdale, AZ : Paraglyph Press, c2005Description : 1 vol. (x-244 p.) : ill. ; 18 x 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[KOS] (1).
9. Congrès AAMAS 2004 [Ressource électronique] : the third International Joint Conference on Autonomous Agents and Multi Agent Systems, New York, New York, USAPublication : New York, NY : ACM Press, cop. 2004Description : 1 CD-ROM$d4 3/4 inAvailability: No copies available Checked out (1).
10.  Monographies, textes Access 97 pour windows pour les nuls [] / John KaufeldTranslation of : Access 97 for Windows for DumniesPublication : Paris : Sybex, impr. 1997, 63-Marsat : Impr. La Source d'orDescription : 1 vol. (XVIII-335 p.) : ill. ; 23 cmAvailability: No copies available Checked out (1).
11. Congrès ACM Multimedia 2002 [Texte imprimé] : proceedings : 10th international conference on multimedia, Juan-les-Pins, [France], December 1-6, 2002 / sponsored by the ACM Special Interest Groups SIGMM, SIGGRAPH, and SIGCOMMPublication : New York : Association for Computing Machinery, cop. 2002Description : 1 vol. (XII-672 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[JUA 02] (1).
12. 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).
13.  Monographies, textes ACM SIGCHI International conference on Advances in computer entertainment technology : Valencia-Spain 15th-17th June 2005Publication : New York, 1515, Broadway N.Y. 10036 : ACM, 2005Description : XXIII-470 p. : Ill. en noir et en coul. ; 28 cm + Pochette avec 1 CD-RomAvailability: Copies available for loan: Centre de recherche en informatique[VAL 05] (1).
14.  Monographies, textes Acoustique, Informatique, MusiquE [ [Texte imprimé]] / Brigitte d'Andréa-Novel, Benoît Fabre, Pierre Jouvelot ; avec la collaboration de: Samuel Benveniste, Jean-Philippe Chancelier, Bertrand David... [et al.]Publication : Paris : Transvalor - Presses des Mines, impr. 2012Description : 1 vol. (XIV-387 p.) : ill. en noir et en coul., couv. ill. en coul. ; 24 cm + 1 disque compact audioAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3924(216)] (1), Bib. Paris[EMP 116.861] (2). Copies available for reference: Bib. Fontainebleau[D'A] (2).
15.  Monographies, textes Acropolis : un précompilateur de spécification pour l'exploration du transfert et du stockage des données en conception de systèmes embarqués à Haut Débit / par Thierry J-F. Omnès ; sous la direction de Francky CatthoorPublication : 2001Description : 1 vol. (183 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.541 CCL.TH.1015] (1). Copies available for reference: Centre de recherche en informatique[2001 OMN] (1).
16. 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).
17. Congrès Advanced compiler design and implementation [Texte imprimé] / Steven S. MuchnickPublication : San Francisco : Morgan Kaufmann Publishers, cop. 1997Description : 1 vol. (XXIX-856 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUC] (1).
18.  Monographies, textes Advanced symbolic analysis for compilers [] : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard ScholzPublication : Berlin, New York : Springer, cop. 2003Description : XII-129 p. ; 24 cmAvailability: No copies available Checked out (1).
19. 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).
20.  Monographies, textes Algorithmique [] : construction, preuve et évaluation des programmes / par Pierre Berlioux,... Philippe Bizard,...Publication : Paris : Dunod, DL 1983Description : 1 vol. (X-179 p.) : ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 1894] (1). Copies available for reference: Centre de recherche en informatique[BER] (2).
21. Thèses Algorithmique de la vérification des systèmes à compteurs [Texte imprimé] : approximation et accélération, implémentation de l'outil FAST / par Jérôme Leroux ; [sous la dir. de Alain Finkel]Publication : [S.l.] : [s.n.], 2003Description : 207 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[03 LER] (1).
22. Thèses Analyse des systèmes mobiles par interprétation abstraite [Texte imprimé] / par Jérôme Feret ; sous la direction de [non précisé : le formulaire indique : sous la direction de "Jérôme Feret"]Publication : [S.l.] : [s.n.], 2005Description : 1 vol. (372 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2005 FER] (1).
23.  Monographies, textes Analyse formelle d'algorithmes / R. Lesuisse,...Publication : Paris : Masson, 1984Description : 206 p ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2599] (1).
24. Thèses Analyse statique de programmes Java [et] application à la parallélisation [Texte imprimé] / par Romain Guider ; dir. Isabelle Attali [et] Denis CaromelPublication : [S.l.] : [s.n.], 2000Description : 186 p. ; 30cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 GUI] (1).
25.  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).

Powered by Koha