Your search returned 20 results. Subscribe to this search

|
1. Congrès A Logical view of composition / {M. Abadi, G. Plotkin}Publication : s.l. : [s.n.], 1992 Description : 01 VOL.,35 P. : 28 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-872] (1).
2. Congrès ACM Transactions on design automation of electronic systems : Volume 1, number 1-4, 1996, Volume 2, number 1-4, 1997, volume 3, numbers 1-4, 1998 / Jason Cong and Bryan Preas, directorsPublication : ACM, New York, 1515, Broadway N.Y. 10036, 1999Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI:8370] (1).
3. Congrès ACM Transactions on design automation of electronic systems : Volume 1-4, 1996-1999 / editor in chief, Mary Jane IrwinPublication : 1515, Broadway N.Y. 10036 : ACM, New York, 2000Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9085] (1).
4. Congrès ACM Transactions on design automation of electronic systems : Volume 1-5, 1996-2000 / editor in chief, Mary Jane IrwinPublication : 1515, Broadway N.Y. 10036 : ACM, New York, 2001Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9086] (1).
5. Ressources électroniques ACM Transactions on design automation of electronic systems : Volumes 1-6: 1996-2001 / editor in chief: Mary Jane IrwinPublication : 1515, Broadway N.Y. 10036 : ACM, New York, 2002Description : 1 CD-ROMAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9919] (1).
6. Congrès Design tools for the 90's : Fifteenth Euromicro Symposium on Microprocessing and Microprogramming (EUROMICRO 89) Cologne, September 4-8, 1989 / edited by Lorenzo Mezzalira and Stephen WinterPublication : Amsterdam, New York : North-Holland, New York, NY, U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989Description : xx, 851 p. : ill. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12241] (1).
7. Congrès Evaluation qualitative et quantitative de logiciels distribués temps réel / {A. Benzekri}Publication : Toulouse : Université Paul Sabatier, 1998Description : pagination aléatoire ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2381] (1).
8.  Monographies, textes Génie logiciel [] : les méthodes : SADT, SA, E-A, SA-RT, SREM, SYS-P-O, OOD, HOOD... / Patrick Jaulent,...Publication : Paris : A. Colin, 1990Description : 1 vol. (288 p.) : ill., couv. ill. en coul ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-325] (1).
9. Congrès GENIE LOGICIEL: LE SECOND SOUFFLE?.Publication : RENNES : BIGRE, 1983Description : 674 PP. : RF X ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1938] (2).
10. Congrès INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN.Publication : WASHINGTON : IEEE, 1989Description : P. 1 A 293 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12153] (1).
11. Congrès NOTERE'97 : actes / du premier colloque international sur les nouvelles technologies de la repartition, Pau, France, 4-6 novembre 1997 ; sous la dir. de Omar RafiqPublication : Pau : Ed. TASC, 1997Description : 381 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2333] (1).
12. Congrès Proceedings 2002 [Texte imprimé] : Design Automation Conference : 39th DAC : Ernest N. Morial Convention Center, New Orleans, LA, June 10-14, 2002 / sponsored by ACM ... [et al.]Publication : New York, NY : Association for Computing Machinery, cop. 2002Description : XXXVI-919 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 02] (1).
13. Congrès Proceedings of the 4th International workshop on parallel and distributed real-time systems : april 15-16, 1996, Honolulu, HawaiiPublication : Los Alamitos (CA) : IEEE Computer society press, 1996Description : XII-262 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[HON 96] (1).
14. Congrès Proceedings of the joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9) : ESEC/FSE 2001, Vienna, Austria, September 10-14, 2001 / edited by Volker Gruhn ; organized by the Oesterreichische Computer Gesellschaft ; in cooperation with ACM Sigplan ; sponsored by TU Wien, CEPIS-Council of European Professional Informatics Societies, SigsoftPublication : New York, NY : ACM Press, c2001Description : ix, 330 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[VIE 01] (1).
15. Revues : n° spéciaux Software for critical systems [[Texte imprimé]]Publication : New York : ACM, 1991Description : 1 vol.(P. 1 A 157) ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI300-660] (1).
16. Congrès SPECIFICATION ET VALIDATION DE L'ARCHITECTURE LOGIQUE GLOBALE DES APPLICATIONS TEMPS-REEL REPARTIES. / {J. Lonchamp}Publication : S.L. : [s.n.], 1982Description : 01 VOL.,51 P. : PR 3 ; 0 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1833] (1).
17. Congrès Specification of real-time and hybrid systems in FOCUS / Olaf Müller, Peter ScholzPublication : München (DEU) : Technische Universität München, 1996Description : 19 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1996 BNI: 8924] (1).
18. Congrès SPECIFICATIONS SYSTEME D UN CIRCUIT VLSI CONTROLEUR D'ACCES POUR LES RESEAUX LOCAUX TEMPS REEL. / {G. Votsis}Publication : ROCQUENCOURT : INRIA, 1986Description : 01 VOL.,180 P. : PR 4 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3369] (1).
19. Congrès Temps réel et sûreté de fonctionnement dans les applications de la défensePublication : S.L. : [s.n.], 1994Description : 110 P., X RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1477] (1).
20. Articles The first World congress on formal methods in the development of computing systems (FM'99) [[Texte imprimé]] : special issue / guest editors' introduction: J.M. Wing and J. WoodcockPublication : New York : IEEE Computer society, 2000Description : P. 673-741 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOU 99] (1).

Powered by Koha