Your search returned 227 results. Subscribe to this search

|
1. Congrès 14èmes Rencontres francophones du parallélisme : 8ème Symposium en architectures nouvelles de machines : Journée ASF des jeunes chercheurs en systeme d'exploitation (RenPar'14 - SympA'8 - ASF) : Hammamet - Tunisie 10-13 avril 2002 / edité par Moahmed Jemni, Aher Mahjoub, Denis Trystram...(et al.)Publication :Tunis : [s.n.], 2002Description : 492 p. : Ill. ; 22 cmAvailability: Copies available for reference: Centre de recherche en informatique[HAM 02] (1).
2. Congrès 1998 International conference on parallel architectures and compilation techniques : Paris, France, october 12-18, 1998 : proceedingsPublication :Los Alamitos (CA) : IEEE Computer society, 1998Description : XIII-455 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR-98] (1).
3. Congrès 2002 IEEE International conference on cluster computing (Cluster 2002) : proceedings : 23-26 september 2002, Chicago, Illinois / ed. by Bill Gropp, Rob Pennington, Dan Reed...(et al.)Publication :Los Alamitos (CA) : IEEE Computer society, 2002Description : XV-501 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHI 02] (1).
4. Congrès 2nd International workshop on automated program analysis, testing, and verification (WAPATV) : ICSE 2001 workshop 4 / Nigel Tracey, John Penix, Willem C. VisserPublication :1515, Broadway N.Y. 10036, New York : ACM, 2001Description : Pagination aléatoire : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
5. Congrès 9th International workshop on program comprehension (IWPC 2001) : proceedings : 12-13 may 2001, Toronto, CanadaPublication :Los Alamitos (CA) : IEEE Computer society, 2001Description : XI-325 p. : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
6. Congrès ACM Sigplan 2005 : OOPSLA'05 conference proceedings. 20th Annual ACM conference on Object-oriented programming, systems, languages, and applications, OOPSLA'05 San Diego ; ed.: ACMPublication :New York : ACM SIGPLAN, 2005Description : 1 vol. ( XIII-546 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 05] (1).
7. Articles Adaptative optimization in the Jalapeno JVM / {P. Sweeney, M. Arnold, D. Grove, S. Fink, M. Hind}Publication :New York : ACM, 2000Description : P. 47-65 : Ill. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIN 00] (1).
8. Congrès Algorithms in Java, Fundamentals ; data structures ; sorting ; searching, Parts 1-4 / Robert SedgewickPublication :Boston : Addison-Wesley, 2003Description : XIX-737 p. : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[SED(1)] (1).
9. Congrès Algorithms in Java, Graph algorithms, Part 5 / Robert SedgewickPublication :Boston : Addison-Wesley, 2004Description : XVII-497 p. : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[SED(2)] (1).
10. Thèses Analyse d'échappement [Microforme] : applications à ML et JAVA TM / Bruno BlanchetPublication :Grenoble : ANRT [diff.], 2000Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[2000 BLA] (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. Congrès Annual ACM Conference (OOPSLA 2008) : OOPSLA'08 conference proceedings. 23rd Annual ACM conference on Object-oriented programming, systems, languages, and applications. October 19-23, 2008 Nashville, Tennessee ; ed.: ACMPublication :New York : ACM SIGPLAN, 2008Description : 1 vol. ( XIV-634 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NAS 08] (1). Checked out (1).
13. Articles Applications of extended static checking [[Texte imprimé]] / {M. Leino}Publication :Berlin, Heidelberg : Springer, 2001Description : P. 185-193 ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 01] (1).
14.  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).
15. 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).
16. Articles Automatic translation of Fortran to JVM bytecode [[Texte imprimé]] / {K. Seymour, J. Dongarra}Publication :New York : ACM Press, 2001Description : P. 126-133 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAL 01] (1).
17. Articles Automatically exploiting implicit parallelism in JAVA [[Texte imprimé]] / {A. Bik, D. Gannon}Publication :New York : J. Wiley, 1997Description : p. 579-619 : Ill. ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2276] (1).
18. Congrès Beautiful Code ; edited by: Andy Oram, Greg WilsonPublication :Beijing, Cambridge, Farnham, Köln, Sebastopol, Taipei, Tokyo : O'Reilly, 2007Description : 1 vol. (XXI-593 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[ORA] (1).
19. Articles Benchmarking Java against C and fortran for scientific applications [[Texte imprimé]] / {J. Bull, L. Pottage, L. Smith, R. Freeman}Publication :New York : ACM, 2001Description : P. 97-105 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAL 01] (1).
20. Congrès CASES. Compiler and architecture support for embedded systems : the second International workshop on compiler and architecture support for embedded systems (CASES'99), october 1-3, 1999, Washington, DC USAPublication :Washington : [s.n.], 1999Description : 220 p. : Ill. ; 29 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAS 99] (1).
21. Articles Cetus [[Texte imprimé]] : an extensible compiler infrastructure for source-to-source transformation / {T. Johnson, S. Lee, R. Eigenmann}Publication :Berlin, Heidelberg : Springer, 2004Description : P. 539-553 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[COL 03] (1).
22.  Monographies, textes Client/server programming with Java and CORBA [Texte imprimé] / Robert Orfali, Dan HarkeyPublication :New York : J. Wiley & Sons, c1998Description : 1 vol. (XXXVI-1022 p.) : ill. ; 23 cm + 1 computer laser optical disc (4 3/4 in.)Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2446] (1).
23. Congrès Colloque GEMSTIC'03 : "l'industrie du logiciel - outils et méthodologies" - 3 avril 2003, Ecole des mines de ParisPublication :Paris : ENSMP, 2003Description : Pagination multiple : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 03] (1).
24. Congrès COM and DCOM: microsoft's vision for distributed objects / Roger SessionsPublication :New York : John Wiley, 1998Description : XX-492 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2445] (1).
25. Congrès Compiler construction [Texte imprimé] : 11th International Conference, CC 2002 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : Proceedings / R. Nigel Horspool (ed.)Publication :Berlin, New York : Springer, cop. 2002Description : XI-341 p. : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).

Powered by Koha

//]]>