Your search returned 12 results. Subscribe to this search

|
1. 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).
2.  Monographies, textes / {F. Jurain}AUTOMATISATION DE LA RECEPTION DES NOUVELLES VERSIONS D'UN PROGICIEL.Publication :FONTAINEBLEAU : ENSMP, 1985Description : 01 VOL.,49 P. ; 30 CMAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3916(030)] (1), Bib. Paris[EMP 136.623 CCL.5383] (1).
3.  Monographies, textes Fiabilité des systèmes logiques / [réd... par] M. DorleansPublication :S.l : [s.n.], 1974Description : 130 p. multigr. : fig. ; 29,5 cmAvailability: Copies available for loan: Bib. Paris[EMP C 75 (12)] (1).
4.  Monographies, textes Handbook of software engineering [] / edited by C.R. Vick, C.V. RamamoorthyPublication :New York : Van Nostrand Reinhold Co., c1984Description : 1 vol. (XXXIII-683 p.) : ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2901] (1).
5.  Monographies, textes Informatique industrielle, IV, Commande numérique, téléinformatique, sécurité, sûreté, fiabilité [] / Henri NussbaumerPublication :Lausanne : Presses polytechniques romandes, cop. 1987Description : 1 vol. (471 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.021 (3)] (1).
6. Congrès INTERNATIONAL CONFERENCE ON PARALLEL PROCESSINGPublication :NEW-YORK : IEEE, 1982Description : 01 VOL.,380 P. : RF X ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1732] (1).
7. Congrès PDP'98 : proceedings / of the sixth Euromicro workshop on..., January 21-23, 1998, Madrid, Spain ; sp. by Department of Electronics, University of York ; Universidad Complutense, MadridPublication :Los Alamitos, CA, Brussels, Tokyo : IEEE computer society press, 1998Description : XIII-520 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2404] (1).
8. Congrès Proceedings of the 23rd International Conference on Software Engineering [Texte imprimé] : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada / IEEE Computer SocietyPublication :Los Alamitos Calif. : IEEE Computer Society, 2001Description : XXIX-844 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (2).
9. 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 reference: Centre de recherche en informatique[EM AI CC0111] (1), Sophia Antipolis[EMS 110-C03/N 127] (1).
10.  Monographies, textes Représentation des connaissances et traitements fiabilistes : Présentation du langage FIGARO et des outils associés = Knowledge modelling and reliability processing : Presentation of the FIGARO language and associated tools / Bouissou M. [et al.] ; EDF, Electricité de France, Direction des Etudes et recherches, Service Réacteurs nucléaires et échangeurs, Département Etudes de sûreté et de fiabilitéPublication :Clamart : EDF-DER, cop. 1992Description : 11 p ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155D (92NB00028)] (1).
11.  Monographies, textes Software engineering [] : design, reliability, and management / Martin L. ShoomanPublication :New York : McGraw-Hill, cop.1983Description : 1 vol. (xx, 683 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2024] (1).
12.  Monographies, textes Validation de données et diagnostic [] / José Ragot...[et al.]Publication :Paris : Hermés, 1990Description : 1 vol. (431 p.) : ill. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 114.204] (1).

Powered by Koha