Your search returned 10 results. Subscribe to this search

|
1.  Monographies, textes Analyse formelle d'algorithmes / R. Lesuisse,...Publication : Paris : Masson, 1984Description : 206 p ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2599] (1).
2.  Monographies, textes Debugging and performance tuning for parallel computing systems [] / Ann H. Hayes ... [et al.]Publication : Los Alamitos, Calif. : IEEE Computer Society Press, cop. 1996Description : 1 vol. (xi, 403 p.) : ill. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2096] (1).
3. Congrès Debugging techniques in large systems : Courant Computer Science Symposium 1 : June 29 - July 1, 1970 [Texte imprimé] / Edited by Randall Rustin,...Publication : Englewood Cliffs, N.J. : Prentice-Hall, 1971Description : 1 vol. (148 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0728] (1).
4.  Monographies, textes Intelligence artificielle [] : application à l'analyse de programmes / Harald Wertz,...Publication : Paris, New York, Barcelone [etc.] : Masson, 1985, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XI-218 p.) : graph., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 107.579] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI2659] (1).
5.  Monographies, textes Mathematical theory of computation [] / Zohar MannaPublication : New York : McGraw-Hill, 1974Description : 1 vol. (X-448 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAN] (1).
6. Congrès Programmation en mathématiques numériques [Texte imprimé] : Besançon, 7-14 Septembre 1966 / Colloques internationaux du Centre national de la recherche scientifique ; [Organisé par M. J. Kuntzmann,... et M. J. L. Rigal,...]Publication : Paris : Éditions du Centre national de la recherche scientifique, 1968Description : 1 vol. (391 p.) : Ill. ; 25 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 127] (1). Copies available for reference: Centre de recherche en informatique[EM AI CC0111] (1).
7. Robust and generic abstract domain for static program analyses : the polyhedral case / par Duong Nguyen Que ; sous la direction de François IrigoinPublication : 2010Description : 1 vol. (192 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 160.478 CCL TH 1295] (1).
8.  Monographies, textes Software testing techniques [] / Boris BeizerPublication : New York (N. Y.) : Van Nostrand Reinhold, Boston (Mass.) : International Thomson computer press, cop. 1990Description : 1 vol. (xxvi-550 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-736] (1).
9.  Monographies, textes Le test des logiciels [] / Spyros Xanthakis ; Pascal Régnier, Constantin KarapouliosPublication : Paris : Hermès, DL 2000Description : 1 vol. (329 p.) : ill. graph. tabl. ; 23 cmAvailability: No copies available Checked out (1).
10. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings ; Ranjit Jhala, David Schmidt (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2011Description : 1 vol. (XI-418 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[AUS 11] (1).

Powered by Koha