|
|
1.
|
|
/ 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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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 loan: Sophia Antipolis[EMS 110-C03/N 5070]
(1).
|
|
|
15.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
/ 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).
|
