Your search returned 230 results. Subscribe to this search

|
1.  Monographies, textes / Gérérd BerryA hardware implementation of pure Esterel, Gérérd BerryPublication :Sophia-Antipolis : ENSMP, 1991Description : 39 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.910 CCL.5534] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-541] (2).
2. 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).
3. Congrès ACM SIGCOMM '97 conference [Texte imprimé] : applications, technologies, architectures, and protocols for computer communication, Palais des Festivals,Cannes, France, 14 to18 September 1997Set Level : , Computer communication review, vol. 27, n° 4, October 1997Publication :New York : Association for Computing Machinery, cop. 1997Description : 1 vol. (VIII-311 p.) : ill., graph., couv. ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI17810] (1).
4. 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).
5. 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).
6. 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).
7. 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).
8. Congrès Actes de la Convention informatique : fascicule 3 / 1977, ParisPublication :Paris : Convention informatique, 1977Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI0722] (1).
9. Congrès Actes Renpar'8 : Edition spéciale présentation des activités du GDR-PRC Parallélisme, réseaux et systemesPublication :Bordeaux : [s.n.], 1996Description : 223 p., X RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1861] (1).
10. Congrès Actors systems for real-time computation / by Henry Givens Baker, Jr.Publication :Cambridge (MA) : MIT, 1978Description : 145 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2919] (1).
11.  Monographies, textes Aide au placement d'applications de traitement du signal sur machines parallèles multi-SPDM. Rencontre de la parallélisation automatique et de la programmation par contraintes / Nicolas Museux ; sous la direction de François IrigoinPublication :2001Description : 1 vol. (208 f.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.200 CCL.TH.1022] (1). Copies available for reference: Bib. Paris[EMP 149.693 CCL.TH.1022] (1), Centre de recherche en informatique[01 MUS] (1).
12.  Monographies, textes AIDE (L') A LA DECISION POUR L'UTILISATEUR FINAL / {H. Freitas} : OU ET COMMENT INTERVENIR?.Publication :GRENOBLE : CERAG, 1992Description : 01 VOL.,27 P. : RF 65 ; 30 CMAvailability: Copies available for loan: Bib. Paris[EMP C 144 (92-01)] (1).
13.  Monographies, textes Aitras : A real time expert system for signal understandingPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1992Description : 9 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1590)] (1).
14.  Monographies, textes An embedded software primer [] / David E. SimonPublication :Reading (Mass.), Harlow, Bonn [etc.] : Addison Wesley Longman, 1999Description : 1 vol. (xix-424 p.) ; 24 cm.+1 CD-ROMAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C03/N 5070] (1).
15. Congrès AN OLD-FASHIONED RECIPE FOR REAL TIME. / {M. Abadi, L. Lamport}Publication :s.l. : [s.n.], 1992Description : 01 VOL.,67 P. : 18 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-987] (1).
16. Thèses Analyse en composantes principales d'une image couleur / Ignacio Andrés Ocadiz LunaPublication :Grenoble, 1985Description : 1 vol. (X-127 p.) ; 30 cmAvailability: Copies available for reference: Centre de Morphologie Mathématique[L-10/87/MM] (1).
17. Congrès ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES. 2,SOFTWARE TRACK.Publication :WASHINGTON : IEEE, 1988Description : 01 VOL.,822 P. : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6277] (1).
18.  Monographies, textes Applications for and improvements to on-line coal quality monitors / J. Wykes, G. Croque, C. Gascoigne : mine infrastructure and management, J. Wykes, G. Croque, C. GascoignePublication :Luxembourg : European commission, 1997Description : 121 p. : Ill./Ill. en coul. ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 316(479)] (1).
19. Congrès ARCHITECTURE (UNE) MODULAIRE ET SES APPLICATIONS. SM 90.Publication :Paris : Eyrolles, 1985Description : 01 VOL.,1005 P. : X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2985] (2).
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. Congrès CFSE'2 : 2ième conference française sur les systèmes d'exploitation, Paris, Cité des sciences et de l'industrie de la Villette, 24-26 avril 2001 / Bertil Folliot et Pierre SensPublication :Amiens : [s.n.], 2001Description : VI-142 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 01] (1).
22.  Monographies, textes CMU computer science, a 25th anniversary commemorative / Richard F. Rashid, Éd.Publication :Reading, MA, London, Amsterdam : Addison-Wesley, 1991, Reading, MA, Amsterdam, Singapore : Addison-Wesley, 1991Description : XXVII-519 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-397] (1).
23. Articles Code analysis of safety-critical and real-time software using ASIS [[Texte imprimé]] / {W. Colket}Publication :New York : ACM, 1999Description : P. 67-76 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI18923] (1).
24. Congrès COLLOGUE C3.Publication :Angoulême : A. Arnold, 1985Description : 01 VOL.,272 P. : ? ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3123] (1).
25.  Monographies, textes / C. André, A. Dessouche, J.M. TanziCombining special purpose and general purpose languages in real-time programming, C. André, A. Dessouche, J.M. TanziPublication :ENSMP, 1998Description : Non paginé : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.230 CCL.5742] (1).

Powered by Koha