Your search returned 75 results. Subscribe to this search

|
51. Congrès PLDI'18 : Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation : Philadelphia, USA, June 18-22, 2018 : edited by Jeffrey S. Foste and Dan Grossman / Sponsored by ACM SIGPLANSet Level : , ACM SIGPLAN noticesPublication :New York N.Y. : Association for Computing Machinery, 2018Description : 1 vol. (xv-709 p. ) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI 200-4522] (1).
52. Congrès POPL' 16 : proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA ; edited by: Rastislav Bodik, Rupak Majumdar, Association for Computing Machinery ; sponsored by ACM SIGPLAN and ACM SIGACTPublication :New York(NY) : ACM Press, 2016Description : 1 vol. (XVI-817 p.) : fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[St. PET 16] (1).
53. Congrès POPL' 17 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France ; edited by: Giuseppe Castagna, Andrew D. Gordon ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT and SIGLOGPublication :New York(NY) : ACM Press, 2017Description : 1 vol. (XIX-901 p.) : fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 17] (1).
54. Congrès Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE'12) : Dresden, Germany, September 26-27, 2012 ; general chair: Klaus Ostermann, program chair: Walter Binder, sponsor: ACM SIGPLANSet Level : , SIGPLAN notices, (2013)vol. 48, n° 3Publication :New York, NY : ACM press, 2013Description : 1 vol. (VIII-140 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[DRE 12] (1).
55. Congrès Proceedings of the 7th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies (HEART) : 25-27 July 2016 - Hong Kong ; general chair Hayden Kwok-HayPublication :New York : ACM, 2016Description : 1 vol. (97 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[HON 16] (1).
56. Congrès Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI) [Texte imprimé] : Vancouver, British Columbia, Canada, 18-21, June 2000 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)Set Level : , SIGPLAN notices, Vol. 35, No 5Publication :New York N.Y. : ACM press, 2000Description : IX-358 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 00] (2).
57. Congrès Programming language design and implementationPublication :New York : ACM, 1515, Broadway N.Y. 10036, 1993Description : 313 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2005] (1).
58. Congrès Register saturation in data dependence graphs : Thème 1 - Réseaux et systèmes, Projet A3 / Sid-Ahmed-Ali Touati, François ThomassetPublication :Rocquencourt (FRA) : INRIA, 2000Description : 97 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 BNI: 8557] (1).
59.  Monographies, textes Sendmail [] / Bryan Costales, with Eric AllmanPublication :Cambridge [England], Sebastopol, Calif. : O'Reilly, cop. 1997Description : 1 vol. (XXV-1021 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[COS] (1).
60.  Monographies, textes Smalltalk-80 [] : The interactive programming environment / Adele Goldberg,...Publication :Reading, Mass., London, Sydney, [etc.] : Addison-Wesley, cop.1984Description : 1 vol. (XI-516 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2713] (1).
61. Congrès Static Analysis [] : 21th International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings / Markus Müller-Olm, Helmut Seidl (eds.)Publication :Cham, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-337 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 14] (1).
62. Congrès Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : Proceedings ; Sandrine Blazy, Thomas Jensenl (eds.)Publication :Berlin, Heidelberg : Springer-Verlag, cop. 2015Description : 1 vol. (331 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[Saint-MAL 15] (1).
63.  Monographies, textes Les systèmes de gestion de bibliothèques [] : les logiciels disponibles sur le marché français : description, utilisation / Annie Gourdier, Marc MaisonneuvePublication :Paris : À Jour, cop. 1991, 28-Luisant : Impr. DurandDescription : 1 vol. (1112 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GOU] (1).
64.  Monographies, textes The C programming language [] / Brian W. Kernighan,... Dennis M. Ritchie,...Publication :Upper Saddle River, N.J. : Prentice Hall, cop. 1988Description : 1 vol. (xii-272 p.) ; 25 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 18064-8] (1), Bib. Paris[005.133 KER c] (1). Copies available for reference: Sophia Antipolis[EMS 110-C/N 2395] (2).
65.  Monographies, textes The C programming language [] / Brian W. Kernighan, Dennis M. RitchiePublication :Englewood Cliffs, N.J. : Prentice-Hall, c1978Description : 1 vol. (X-228 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[KER] (5), Géostatistique[L-958bis] (2). Checked out (1).
66.  Monographies, textes The compiler design handbook [] : optimizations and machine code generation / edited by Y. N. Srikant, P. ShankarPublication :Boca Raton (Fla), London : CRC Press, cop. 2003Description : XII-916 p. ; 27 cmAvailability: Copies available for loan: Centre de recherche en informatique[SRI] (1).
67.  Monographies, textes The design and implementation of the FreeBSD operating system [] / Marshall Kirk McKusick, George V. Neville-NeilPublication :Boston, London : Addison-Wesley, c2005Description : 1 vol. (XXVIII-683 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[MCK] (1).
68. Thèses Transformations de programmes pour l'amélioration de performance [Texte imprimé] / Francois BodinPublication :[S.l.] : [s.n.], 1997Description : 1 vol. (114 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[1997 BOD] (1).
69.  Monographies, textes Unix administration [] / Jean-Michel Moreno,...Publication :Paris : Édiscience international, 1995, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XVIII-679 p.) : couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MOR] (1).
70.  Monographies, textes Using MPI : Portable Parallel Programming with the Message-Passing Interface / William Gropp, Ewing Lusk, Anthony SkjellumPublication :Cambridge, Mass. : MIT Press, cop. 2014Description : 1 vol. (XXIII-308 p.) : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRO] (1).
71. Congrès VEE '15 : Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments : March 14-15, 2015, Istanbul, Turkey / sponsored by: ACM SIGPLAN and ACM SIGOPSSet Level : , SIGPLAN notices, vol. 50, n°7Publication :New York : ACM Press, 2015Description : 1 vol. (VIII-229 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[IST 15] (1).
72. Congrès VEE '16 : Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments : April 1-3, 2016, Atlanta, Georgia, USA / sponsored by: ACM SIGPLAN and ACM SIGOPS. In-cooperation with: UsenixSet Level : , SIGPLAN notices, vol. 51, n°7Publication :New York : ACM Press, 2016Description : 1 vol. (VIII-178 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ATL 16] (1).
73. Congrès VEE '17 : Proceedings of the 2017 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments : April 8th-9th 2017, Xian, China / sponsored by: ACM SIGPLAN and ACM SIGOPS. In-cooperation with: UsenixSet Level : , SIGPLAN notices, vol. 52, n°7Publication :New York : ACM Press, 2017Description : 1 vol. (ii-257 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI 200-4510] (1).
74. Congrès Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA. January 17-19, 2016 : Proceedings ; Barbara Jobstmann, K. Rustan M. Leino (eds.)Publication :Berlin : Springer, cop. 2016Description : 1 vol. (XIII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[St. PET 16] (1).
75.  Monographies, textes World Wide Web [] : Guide pratique de Netscape et Mosaic : Versions Windows et Macintosh / Denys BondevillePublication :Paris : Eyrolles, DL 1995, Paris : Impr. JouveDescription : 1 vol. (XIII-320 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.906] (1).

Powered by Koha