Your search returned 189 results. Subscribe to this search

|
1.  Monographies, textes A brief history of computing [] / Gerard O'ReganPublication : London : Springer, cop. 2008Description : 1 vol. (XIX-245 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[O'R] (1).
2.  Monographies, textes Abstract interpretation of declarative languages [] / editors Samson Abramsky,...Chris Hankin,...Publication : Chichester : Ellis Horwood Limited, New York, Chichester, Brisbane, [etc.] : J. Wiley and sons, 1987Description : 1 vol. (284 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5042] (1).
3.  Monographies, textes Algorithmique et programmation : langage C : support de cours / auteur initial : Olivier Boissier ; maintenu par : Norbert Kajler et Fabien MoutardePublication : [Lieu de publication inconnu] : [éditeur inconnu], 1998Description : 1 vol. (77 p.) : ill. ; 29 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3920(316)] (1), Bib. Paris[EMP C5 [259-2]] (2). Copies available for reference: Bib. Paris[EMP C5 [259-1]] (1).
4.  Monographies, textes Algorithms + data structures = programs [] / Niklaus Wirth,...Publication : Englewood Cliffs (N. J.) : Prentice-Hall, cop. 1976Description : 1 vol. (XVII-366 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1382] (1).
5.  Monographies, textes An implementation guide to compiler writing / Jean-Paul Tremblay, Paul G. Sorenson [ [Texte imprimé]]Publication : New York : McGraw-Hill, c1982Description : 1 vol. (VII-259 p.) ; 26 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 20040-8] (1).
6. Thèses Analyse et modélisation du système cardio-vasculaire et sa régulation à court terme par le système nerveux autonome / Christophe VermeirenPublication : [S.l. : s.n., 1996?]Description : 143 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[96 VER] (1).
7.  Monographies, textes Applicative high order programming [] : the standard ML perspective / S. SokolowskiPublication : London : Chapman & Hall Computing, 1991Description : 1 vol. (xi-243 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-737] (1).
8. Une approche déclarative pour la gestion de la qualité de service dans les compositions de services / par Fabien Baligand ; sous la direction de Pierre CointePublication : 2008Description : 1 vol. (143 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.972 CCL. TH. 1223] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-069] (1).
9. Thèses Une approche déclarative pour la gestion de la qualité de service dans les compositions de services [Ressource électronique] / par Fabien Baligand ; sous la direction de Pierre CointePublication : Paris : MINES ParisTech, 2008Availability: Click here to access online Copies available for reference: En ligne[http://tel.archives-ouvertes.fr/tel-00308934] (1).
10. 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).
11. Thèses / Michel BilodeauArchitecture logicielle pour processeur de morphologie mathématique, Michel BilodeauPublication : Fontainebleau : ENSMP, 1992Description : 182 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.888 CCL.TH.692] (2). Copies available for reference: Centre de Morphologie Mathématique[TL-09/92/MM] (1), Centre de recherche en informatique[EM AI CI200-734] (1).
12. Congrès ASPLOS'15 : Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, march 14-18, 2015, Istanbul, Turkey / sponsored by ACM SIGARCH, ACM SIGOPS, ACM SIGPLANSet Level : , SIGPLAN notices, vol. 50, n° 4Publication : New York (NY) : Association for Computing Machinery, 2015Description : 1 vol. (XVI-704 p.) : Fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[IST 15] (1).
13. Congrès ASPLOS'18 : Twenty-Third International conference on architectural support for programming languages and operating systems, March 24-28, 2018, Williamsburg, VA, USA / sponsored by ACM SIGARCH, ACM SIGOPS, ACM SIGPLANSet Level : , SIGPLAN notices, vol. 53, n°2Publication : New York, NY : Association for Computing Machinery, 2018Description : 1 vol. (xvii-811 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI 200-4518] (1).
14. Congrès ASPLOS-IV proceedings : Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Santa Clara, California, April 8-11, 1991 / sponsored by ACM in cooperation with the IEEE Computer SocietyPublication : New York, N.Y. : Association for Computing Machinery, Baltimore, MD : Copies from ACM Order Dept., c1991Description : xi, 320 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI13462] (1).
15. Congrès ASPLOS-IX proceedings : Ninth International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, November 12-15, 2000 / @International Conference on Architectural Support for Programming Languages and Operating SystemsPublication : New York, NY : Association for Computing Machinery, c2000Description : ix, 271 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CAM 00] (2).
16. Congrès ASPLOS-VII proceedings / Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, October 1-5, 1996Publication : New York : Association for Computing Machinery, c1996Description : vii, 290 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI16894] (3).
17. Congrès ASPLOS-XVIII : Eigteenth International conference on architectural support for programming languages and operating systems, march 16-20, 2013, Houston, Texas, USA / sponsored by SIGARCH, SIGOPS, SIGPLANSet Level : , SIGPLAN notices, vol. 48, n° 4Publication : New York(NY) : Association for Computing Machinery, 2013Description : 1 vol. (XII-562 p.) : Fig. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[HOU 13] (1).
18. Congrès ASPLOS XXI : Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, April 2-6, 2016, Atlanta, Georgia, USA ; sponsored by ACM SIGARCH, ACM SIGOPS, ACM SIGPLAN, In co-operation with: ACM SIGBEDSet Level : , SIGPLAN notices, vol. 51, n° 4Publication : New York(NY) : Association for Computing Machinery, 2016Description : 1 vol. (XVII-804 p.) : Fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ATL 16] (1).
19.  Monographies, textes Assemblers, compilers, and program translation [] / Peter CalingaertPublication : London : Pitman, 1979Description : 1 vol. (XIV-270 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1004] (1).
20.  Monographies, textes Atelier Visual Basic 5.0. Microsoft [] / John Clark Craig et Jeff WebbPublication : Les Ulis : Microsoft Press, Paris : Eyrolles, 1997Description : XVII-724 p. ; 24 cm + 1 CD-ROMAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 4010] (1).
21. Congrès Automata, languages and programming [Texte imprimé] : 10th Colloquium, Barcelona, Spain, July 18-22, 1983 : the European Association for Theoretical Computer Science (EATCS) / ed. Josep DiazPublication : Berlin, New York, Paris : Springer, cop. 1983Description : 1 vol. (VIII-733 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2015] (1).
22.  Monographies, textes Categorical combinators, sequential algorithms and functional programming [] / P.-L. CurienPublication : London : Pitman, New York : John Wiley, 1986Description : 1 vol. (300 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3107] (1).
23.  Monographies, textes Categories, types, and structures [] : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe LongoPublication : Cambridge, Mass. : MIT Press, cop. 1991Description : 1 vol. (XI-306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-560] (1).
24.  Monographies, textes Computer structures : readings and examples / C. Gordon Bell,... and Allen Newell,.Publication : New York, St. Louis, San Francisco [etc.] : McGraw-Hill, 1971 cDescription : 1 vol. (XX-668 p.) : ill., tabl ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 102.477] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI1042] (1).
25.  Monographies, textes Conception et implantation de langages de programmation [] : Une introduction à la compilation / Daniel Thalmann, Bernard LevratPublication : Chicoutimi [Québec] : G. Morin, DL 1979Description : 1 vol. (iii-233 p.) : fig ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 114.418] (1).

Powered by Koha