Your search returned 230 results. Subscribe to this search

|
201.  Monographies, textes / {P. Kopff}Le Système de développement Ada (Alsys) pour LYNX-OS = The Ada development system for LYNX-OSPublication :Clamart : EDF-DER, 1993Description : 20 p ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155B (93NJ00059)] (1).
202. Thèses SYSTEME MULTIMICROPROCESSEUR POUR LA COMMANDE AUTOMATIQUE. / {Z. Olaiwan}Publication :s.l. : [s.n.], 1979 Description : 01 VOL.,128 P. ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1362] (1).
203. Congrès SYSTEMES REACTIFS ET PROGRAMMATION SYNCHRONE. / {G. Berry, G. Gonthier, P. Couronne}Publication :ROCQUENCOURT : INRIA, 1986Description : 01 VOL.,13 P. : 18 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3194] (1).
204.  Monographies, textes Systèmes temps réel [] / Jean-Paul Perez,...Publication :Paris : Bordas : Dunod, DL 1990, 86-Ligugé : Impr. AubinDescription : 1 vol. (243 p.) : ill., couv. ill. en coul. ; 26 cmAvailability: Copies available for loan: Bib. Paris[005.4 PER s] (1).
205.  Monographies, textes Systèmes temps réel en ADA [] : une approche virtuelle et asynchrone / Loïc BriandPublication :Paris : Masson, 1991Description : 1 vol. (XV-383 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.601] (1).
206.  Monographies, textes Systolic convolution of arithmetic functions / Patrice Quinton, Yves RobertPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 27 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5127] (1).
207. Thèses TACHES DISTRIBUEES PERIODIQUES POUR DES SYSTEMES TEMPS-REEL / MARIO JUACABA TEIXEIRAPublication :[S.l.] : [s.n.], 1985Description : PAGINATION MULT. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2907] (1).
208.  Monographies, textes Techniques de réduction de la consommation dans les systèmes embarqués temps-réel / Frédéric Parain, Michel Banâtre, Gilbert Cabillic [et al.]Publication :[S.l.], 05-2000Availability: Copies available for reference: Centre de recherche en informatique[2000 BNI: 8545] (1).
209.  Monographies, textes Techniques de synchronisation pour les applications parallèles [] / G. Padiou, A. SayahPublication :Toulouse : Cepadues, DL 1990Description : 1 vol. (199 p.) ; 24 cmAvailability: Copies available for reference: Centre de Morphologie Mathématique[L-02/91/MM] (1).
210.  Monographies, textes Le temps réel en milieu industriel [] / Alain Dorseuil,... Pascal Pillot,...Publication :Paris : Dunod : Bordas, DL 1991, Paris : Impr. Gauthier-VillarsDescription : 1 vol. (296 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.339] (1).
211. 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).
212. 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).
213. Congrès The proceedings of the Thirty-second SIGCSE Technical Symposium on Computer Science Education / sponsored by the Association for Computing Machinery Special Interest Group on Computer Science Education (SIGCSE) ; symposium chair, Henry Walker ; program co-chairs, Renée McCauley, Judith Gersting ; proceedings, Ingrid RussellPublication :New York, N.Y. : Association of Computing Machinery, c2001Description : xxvii, 456 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHA 01] (1).
214.  Monographies, textes The RCS handbook [] : tools for real-time control systems software development / Veysel Gazi ... [et al.]Publication :New York : Wiley & Sons, cop. 2001Description : XIV-284 p. : ill. ; 25 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C/N 5482] (1).
215.  Monographies, textes The use of computers in business organizations [] : [decision, acquisition, implementation] / Frederic G. WithingtonPublication :Reading (Mass.) [etc.] : Addison-Wesley, cop. 1966Description : 1 vol. (viii-245 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0179] (1).
216. Congrès Théorie et techniques de l'informatique : logiciel et matériel : actes / du Congrès organisé par l'AFCET [Association française pour la cybernétique économique et technique] à Gif-sur- Yvette... 13-15 novembre 1978 ; [publié par la Société des électriciens, électroniciens et des radioélectroniciens]Publication :Suresnes : Éditions Hommes et techniques, 1978, 14-Bayeux : Impr. bayeusaineDescription : 2 vol. (495-495 p.) : ill ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0810] (1).
217. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)Publication :Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
218.  Monographies, textes Tools for correct DSP synchronization / Alain Kerihuel, Roderick McConnell, Frédéric RaimbaultPublication :[S.l.], 04-1993Description : 13 p.Availability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 9112] (1).
219. Articles / Cristina Gomila, Fernand MeyerTracking of video objects for videophony applications, Cristina Gomila, Fernand MeyerPublication :ENSMP, 1999Description : P. 97-100 : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.104 CCL.5801] (1).
220. Congrès TRANSFORMATIONS DU GRAPHE DES PROGRAMMES SIGNAL. / {O. Maffeis, P. Le guernic, B. Cheron}Publication :ROCQUENCOURT : INRIA, 1992Description : 01 VOL.,77 P. : 16 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-686] (1).
221.  Monographies, textes UML for real [] : design of embedded real-time systems / edited by Luciano Lavagno, Grant Martin, Bran SelicPublication :Boston : Kluwer Academic Publishers, 2003Description : XIII-370 p. : ill. ; 25 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C/N 5190] (1).
222. Congrès UP TO DATE REPORT OF THE TECHNICAL COMITTEE ON REAL TIME OPERATING SYSTEMS.Publication :S.L. : [s.n.], 1982Description : 01 VOL.,117 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1944] (1).
223.  Monographies, textes Utilisation d'ESTEREL dans un contexte asynchrone : une application robotique / Eve Coste-ManièrePublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, [1989]Description : 60 p. : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1139)] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI6626] (1).
224. Congrès Utilisation de SynDEx pour le traitement d'images temps-réel : theme 4, simulation et optimisation de systemes complexes, projet Sosso / Caroline Aiglon, Christophe Lavarenne, Yves Sorel, Annie VicardPublication :Rocquencourt : INRIA, 1996Description : 79 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1996 BNI:8419] (1).
225. Congrès UTILISATION DES ORDINATEURS A DISTANCE EN TEMPS REEL ET EN TEMPS PARTAGE.Publication :Dunod, Paris, 1967Description : 01 VOL.,299 P. : PR 1 ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0113] (1).

Powered by Koha