Your search returned 186 results. Subscribe to this search

|
26.  Monographies, textes Axiomatisations et types pour des processus probabilistes et mobiles / par Yuxin Deng ; sous la direction de Davide SangiorgiPublication :2005Description : 1 vol. ( 168 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.272 CCL.TH.1133] (1). Copies available for reference: Bib. Paris[EMP 153.273 CCL.TH.1133] (1), Sophia Antipolis[EMS T-CMA-059] (1).
27. Thèses BOUCLE DE TRANSMISSION DE DONNEES POUR UN ENSEMBLE MULTIPROCESSEURS REPARTI DANS LE DOMAINE DE L'INSTRUMENTATION. / {O. Abdel monsef}Publication :s.l. : [s.n.], 1981Description : 01 VOL.,132 P. : RF 51 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1520] (1).
28. Congrès CCS 2004 [Texte imprimé] : Proceedings of the 11th ACM Conference on Computer and Communications Security : Washington, DC, USA, Oct. 25-29, 2004 / Ed. by Birgit Pfitzmann & Peng Liu ; Sponsored by ACM SIGSAC, ...Publication :New York : Association for Computing Machinery, cop. 2004Description : X-366 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAS 04] (1).
29.  Monographies, textes Client/server programming with Java and CORBA [] / Robert Orfali, Dan HarkeyPublication :New York : J. Wiley & Sons, c1998Description : 1 vol. (XXXVI-1022 p.) : ill. ; 23 cm + 1 computer laser optical disc (4 3/4 in.)Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2446] (1).
30.  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).
31. Congrès COM and DCOM: microsoft's vision for distributed objects / Roger SessionsPublication :New York : John Wiley, 1998Description : XX-492 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2445] (1).
32.  Monographies, textes / {M. Raynal}La Communication et le temps dans les réseaux et les systèmes répartisPublication :Paris : Eyrolles, 1991Description : XXIV-230 p. : Ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.736] (1).
33. Congrès Comparaison de protocoles de communications pour plates-formes reparties a objets = Protocol comparison of distributed object platforms / Traverson B., Zakaria M.Publication :Clamart (FRA) : EDF, 1998Description : 13 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[98-BNI 7723] (1).
34. Congrès Computer aided verification [Texte imprimé] : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings / Ahmed Bouajjani, Oded Maler (eds.)Publication :Berlin, New York : Springer, cop. 2009Description : 1 vol. (XV-722 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 09] (1).
35. Congrès CONTROL FLOW AND DATA FLOW : CONCEPTS OF DISTRIBUTED PROGRAMMING.Publication :Berlin, Heidelberg : Springer, 1986Description : 01 VOL.,533 P. : X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3739] (1).
36.  Monographies, textes / {J. Lions}Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués, Contrôlabilité exacte, 1Publication :Masson, Paris, 1988Description : 537 p. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.539 (1)] (1).
37.  Monographies, textes / {J. Lions}Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués, Perturbations, 2Publication :Masson, Paris, 1988Description : 273 p. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.539 (2)] (1).
38.  Monographies, textes CORBA fundamentals and programming [] / written and edited by Jon SiegelPublication :New York : Wiley, cop. 1996Description : 1 vol. (xxvi, 693 p.) : ill. ; 24 cm + 1 disquette 3 pouces 1/2Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2388] (1).
39. Congrès Corba secutityPublication :S.L. : [s.n.], 1995Description : 308 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1948] (1).
40. Congrès CorbaScript - CorbaWeb / {P. Merle} : propositions pour l'accès à des objets et services distribuésPublication :Lille : [s.n.], 1997Description : 214 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2086] (1).
41. Congrès Creating JavaBeans : components for distributed applications / Mark WatsonPublication :San Mateo (CA) : Morgan Kaufmann publishers, 1998Description : XVII-237 p. : Ill. ; 24 cm + 1 CD-ROM en pochetteAvailability: Copies available for loan: Centre de recherche en informatique[WAT] (1).
42.  Monographies, textes Critical issues for the development of distribued real-time computing systems / {G. Le lann} = Questions essentielles pour le développement des systèmes informatiques répartis temps réelPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1990Description : 19 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1274)] (1).
43. Congrès CSCW'92 : sharing perspectives : proceedings / of the conference on computer-supported cooperative work, October 31 to November 4, 1992, Toronto, Canada ; sp. by ACM SIGCHI and SIGOIS ; John Turner and Robert Kraut edsPublication :New York : ACM, 1992Description : XI-403 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1027] (1).
44. Congrès CSCW 98 [Texte imprimé] : Computer Supported Cooperative Work : proceedings : ACM 1998 conference on computer supported cooperative work, Seattle, Washington, november 14-18, 1998 / sponsored by the ACM's Special Interest Group on Computer-Human Interaction (ACM SIGCHI) and the Special Interest Group on Supporting Group Work (ACM SIGGROUP)Publication :New York : ACM, cop.1998Description : XII-434 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SEA 98] (2).
45.  Monographies, textes Deriving trace checkers for distributed systems = Generation de verificateurs de traces pour les systemes distribues / Claude Jard and Omar Drissi-KaitouniPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 17 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3541] (1).
46. Congrès DESIGN (THE) AND BUILDING OF ENCHERE,A DESTRIBUTED ELECTRONIC MARKETING SYSTEM. / {J. Banatre, G. Lapalme, M. Banatre}Publication :ROCQUENCOURT : INRIA, 1984Description : 01 VOL.,38 P. : 16 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2960] (1).
47.  Monographies, textes Detecting diamond necklaces in labeled dags (A problem from distributed debugging) / Michel Hurfin, Michel RaynalPublication :[S.l.], 03-1996Description : 13 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (2838)] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-2024] (1).
48. Congrès DETECTION (LA\001) DE PROPRIETES STABLES DANS LES APPLICATIONS DISTRIBUEES. / {J. Helary, N. Plouzeau, C. Jard, M. Raynal}Publication :ROCQUENCOURT : INRIA, 1987Description : 01 VOL.,31 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3543] (1).
49. Congrès Digest of papers : intellectual leverage / Compcon spring 90, February 26-March 2, 1990, Thirty-third IEEE Computer International Conference, San FranciscoPublication :Los Alamitos, Calif. : IEEE Computer Society Press, c1990Description : 644 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-193] (1).
50.  Monographies, textes Distance learning technology and applications / Dan MinoliPublication :Boston : Artech House, 1996Description : xx, 352 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1984] (1).

Powered by Koha