Your search returned 256 results. Subscribe to this search

|
1. Congrès 14th International conference Software & systems engineering and their applications (ICSSEA'2001) = 14èmes Journées internationales Génie logiciel et ingénierie de systèmes et leurs applications : december 4-6, 2001, Conservatoire national des Arts et métiers, Paris, France : proceedingsPublication : Paris : [s.n.], 2001Description : 3 vol., pagination multiple : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 01(1)] (3).
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.  Monographies, textes 200 % TOEIC : TOEIC listening & reading, préparation complète, enrichi par le e-learning / [sous la direction d']Achille Pinson ; [Mick Byrne, Michele Dickinson]Publication : Paris : Ellipses, copyright 2018Description : 1 vol. (703 p.) : ill., couv. ill. en coul. ; 29 cmAvailability: Copies available for loan: Bib. Paris[420 PIN d] (1).
4. Congrès 2003 International Conference on Supercomputing [Texte imprimé] : June 23-26, 2003, San Francisco, California, USA : conference proceedings / sponsored by ACM SIGARCH ; additional support by Intel Corporation and Florida State UniversityPublication : New York, NY : Association for Computing Machinery, cop. 2003Description : X-370 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 03] (1).
5. Congrès 2004 International Conference on Supercomputing [Texte imprimé] : June 26-July 1, 2004, Saint-Malo, France : conference proceedings / sponsored by ACM SIGARCH ; additional support from IRISA and ENS LyonPublication : New York, NY : ACM Press, cop. 2004Description : 1 vol. (X-350 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAI 04] (1).
6. 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).
7.  Monographies, textes A data-dependant skeleton estimate and a scale-sensitive dimension for classification / Márta Horváth, Gábor Lugosi, Márta Horváth, Gábor LugosiPublication : Barcelona : Universitat Pompeu Fabra, 1996Description : 16 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 166 (199)] (1).
8. Articles A study on testing techniques for concrete-like materials under compressive impact loading / Han Zhao [ [Texte imprimé]]Publication : ENSMP, 1998Description : P. 293-299 : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 146.741 CCL.5730] (1).
9. Congrès Accurate analysis of array references / {D. Maydan}Publication : S.L. : [s.n.], 1992Description : 134 P., 55 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1057] (1).
10. 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).
11. Congrès Advanced compiler optimizations for sparse computationsPublication : S.L. : [s.n.], 1992Description : 22 P., 20 RF ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1289] (1).
12.  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).
13. Ressources électroniques Alexis [Ressource électronique] : the Encomium TOEIC test preparation systemPublication : Cincinnati, OH : Encomium publications, 1996-2000Description : 1 disque optique numérique (Cédérom) : son., coul. ; 12 cmAvailability: Copies available for reference: Sophia Antipolis[EMS Biblio/N 4675] (1).
14.  Monographies, textes / Anna Cuxart Jardí, Manuel Martí Recober, Ferran Ferrer JuliàAlgunos factores que inciden en el rendimiento y en la evaluación de los aluminos en las PAAU, Anna Cuxart Jardí, Manuel Martí Recober, Ferran Ferrer JuliàPublication : Barcelona : Universitat Pompeu Fabra, 1998Description : 28 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 166 (255)] (1).
15. Mémoires, thèses professionnelles Amélioration d'une procédure de screening biologique [ [Texte imprimé]] : choix d'un système basé sur l'automatisation / Laure Helme-GuizonPublication : Paris : ENSMP, 1993Description : 83 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.760 CCL.5560] (2).
16. Congrès An empirical evaluation of dependence analysis in parallel program comprehension / {D. Monk}Publication : Houston : Rice university, 1995Description : 164 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1784] (1).
17.  Monographies, textes / Jean-Claude Fernandez, Claude Jard, Thierry Jéron, [et al.]An experiment in automatic generation of tests suites for protocols with verification technology = Une expérience de génération automatique de suites de tests pour les protocoles à l'aide de la technologie de la vérification, Jean-Claude Fernandez, Claude Jard, Thierry Jéron, [et al.]Publication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1996Description : 20 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2923)] (1).
18. Articles An introduction to image analysis / François Grillon [ [Texte imprimé]]Publication : ENSMP, 1999Description : P. 78-90 : Ill.Availability: Copies available for loan: Bib. Paris[EMP 147.511 CCL.5757] (1).
19. Congrès Analysis of Standard and new Algorithms for the Integer and linear Constraint Satisfaction Problem / {J. Sogno}Publication : S.L. : [s.n.], 1992Description : 50 P., PR 2 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1158] (1).
20. Congrès APPLICATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE AU DIAGNOSTIC DE DEFAUTS DES CIRCUITS IMPRIMES. / {E. Barrielle}Publication : PARIS : ENST, 1985Description : 01 VOL.,130 P. : PR 8 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3270] (1).
21. Congrès ASE 2002 : 17th IEEE International conference on automated software engineering : proceedings : 23-27 september 2002, Edinburgh, UKPublication : Los Alamitos (CA) : IEEE Computer society, 2002Description : XIII-320 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EDI 02] (1).
22. Congrès Automated software engineering / {J. Kepler, P. GrÈunbacher, Y. Ledru}Publication : Sophia-Antipolis : ERCIM EEIG, 2004Description : P. 12-52 : Ill. en coul. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[04 BNI: 10152] (1).
23. 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).
24. Congrès Automatic parallelization [ [Texte imprimé]] : An overview of fundamental compiler techniques / Samuel P. MidkiffPublication : Wisconsin : Morgan & Claypool publishers, cop. 2012Description : 1 vol. (XII-157 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[MID] (1). Checked out (1).
25.  Monographies, textes Automatic parallelization for a class of regular computations / G.M. Megson, X. ChenPublication : Singapore, River Edge, NJ, London : World scientific, 1997Description : XX-251 p. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2093] (1).

Powered by Koha