Your search returned 258 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 A discipline of programming [] / Edsger W. Dijkstra,...Publication :Englewood Cliffs N.J : Prentice-Hall, cop. 1976Description : 1 vol. (XVII-217 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1798] (1).
3.  Monographies, textes A theory of objects [] / Martín Abadi, Luca CardelliPublication :New York, Berlin, Paris [etc.] : Springer, cop. 1996Description : 1 vol. (XIII-396 p.) : ill., couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de Gestion Scientifique[BAH00131] (1).
4.  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).
5. Congrès ACM SIGPLAN ASIA-PEPM 2002 [Texte imprimé] : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : conference record : papers presented at the symposium, Aizu, Japan, September 12-14, 2002 / sponsored by ACM Special Interest Group on Programming Languages (SIGPLAN) ; supported by the University of AizuPublication :New York, N.Y. : ACM Press, cop. 2002Description : VI-150 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[AIZ 02] (1).
6.  Monographies, textes Algebraic approaches to program semantics [] / Ernest G. Manes, Michael A. ArbibPublication :New York : Springer-Verlag, c1986Description : 1 vol. (XIII-351 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3250] (1).
7.  Monographies, textes Algebraic theory of processes [] / Matthew HennessyPublication :Cambridge, Mass. : MIT Press, cop.1988Description : 1 vol. (ix-272 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6294] (2).
8.  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).
9.  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).
10. 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).
11. 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).
12.  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).
13.  Monographies, textes 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).
14. 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).
15.  Monographies, textes Approche fonctionnelle de la programmation [] / Guy Cousineau,... et Michel Mauny,...Publication :Paris : Ediscience international, 1995, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XIII-428 p.) : ill., couv. ill. en coul ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C03/N 3809] (1).
16.  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).
17. 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).
18. 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).
19. 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).
20. 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).
21. 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).
22. Congrès ASPLOS-XV [ [Texte imprimé]] : fifteenh International conference on architectural support for programming languages and operating systems, march 13-17, 2010, Pittsburgh, Pa, USA ; sponsored by: SIGARCH, SIGOPS, SIGPLANPublication :New York, NY : Association for Computing Machinery, 2010Description : 1 vol. (XII-409 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[PIT 10] (1).
23. Congrès ASPLOS-XVII [ [Texte imprimé]] : seventeenth International conference on Architectural support for programming languages and operating systems, march 3-7, 2012, London, England, UK ; sponsored by: SIGARCH, SIGOPS, SIGPLANSet Level : , SIGPLAN notices, vol. 47, n° 4Publication :New York, NY : Association for Computing Machinery, 2012Description : 1 vol. (XI-463 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 12] (1).
24. 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).
25. 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).

Powered by Koha