Your search returned 48 results. Subscribe to this search

|
1. Articles A COMPARATIVE STUDY OF CONCURRENT PROGRAMMING LANGUAGES. [[Texte imprimé]] / {P. Stotts}Publication : New York : ACM, 1982Description : P. 50. A 61 : 28 CM ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5793] (1).
2. Articles A PARALLEL-PROGRAMMING PROCESS MODEL. / {B. Beck} [[Texte imprimé]]Publication : New York : IEEE, 1989Description : P. 63 A 72 : 7 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12155] (1).
3. Congrès Algèbre de processus et synchronisation [[Texte imprimé]] / {G. Boudol, D. Austry}Publication : Rocquencourt : INRIA, 1983Description : 1 VOL. (63 P.) : RF 10 ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1881] (1).
4.  Monographies, textes Algorithmes distribues synchrones et systemes repartis asyncrones : concepts, mises en oeuvre et experimentations / Michel Adam, Philippe Ingels, Michel RaynalPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988Description : 26 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3946] (1).
5. Congrès ALGORITHMIQUE DU PARALLELISME LE PROBLEME DE L'EXCLUSION MUTUELLE. / {M. Raynal}Publication : Dunod, Paris, 1984Description : 01 VOL.,172 P. : PR 6 ; 24 CMAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 2670] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI2681] (1).
6.  Monographies, textes An introduction to operating systems / Harvey M. Deitel,...Publication : Reading, Mass., Menlo Park, Calif., London : Addison-Wesley Pub. Co., cop.1984Description : 1 vol. (xxviii, 673 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2256] (1).
7. Thèses Application des langages infinitaires à l'étude du langage C.S.P. de C.A.R. HOARE [Texte imprimé] / Hugues FauconnierPublication : [S.l.] : [s.n.], 1982Description : 1 vol. (235 p.) : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1492] (1).
8.  Monographies, textes / {M. Griffiths, M. Vayssade}ARCHITECTURE DES SYSTEMES D'EXPLOITATION.Publication : Hermes, PARIS, 1988Description : 01 VOL.,505 P. ; 23 CMAvailability: Copies available for loan: Bib. Paris[EMP 108.481] (1). Copies available for reference: Bib. Evry[EMC 2972] (1), Centre de recherche en informatique[EM AI CI3928] (1).
9.  Monographies, textes AUTO : un systéme de vérification de processus paralléles et communicants : A verification system for parallel and communicating processes / Valérie Lecompte, Eric Madelaine, Didier VergaminiPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 20 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3553] (1).
10.  Monographies, textes Communicating sequential processes / C.A.R. HoarePublication : Englewood Cliffs, N.J. : Prentice/Hall International, c1985Description : viii, 256 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3140] (1).
11. Congrès CONCEPTION ET REALISATION D'UN SYSTEME TEMPS REEL REPARTI POUR LA COMMANDE DECENTRALISEE DE PROCEDE. / {R. Griesner}Publication : S.L. : [s.n.], 1980Description : 01 VOL.,222 P. : RF 39 ; 20 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0953] (1).
12. Articles CONCEPTS AND NOTATIONS FOR CONCURRENT PROGRAMMING. [[Texte imprimé]] / {G. Andrews}Publication : New York : ACM, 1983Description : P. 3 A 43 : PR 4 ; 26 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6267] (1).
13.  Monographies, textes Concurrent programming [] : principles and practice / Gregory R. AndrewsPublication : Redwood City Calif. [etc.] : The Benjamin/Cummings, cop. 1991Description : 1 vol. (xvii-637 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-428] (1).
14.  Monographies, textes Concurrent programming and numerical applications / Jocelyne ErhelPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1986Description : 30 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3167] (1).
15. Congrès CONCURRENT PROGRAMMING ILLUSTRATED WITH EXAMPLES IN PORTAL,MODULA-2 AND ADA. / {A. Schiper}Publication : OXFORD : NORTH OXFORD ACADEMIC, 1989Description : 01 VOL.,234 P. : PR 2 ; 25 CMAvailability: Copies available for loan: Centre de recherche en informatique[SCH] (1).
16. Congrès CONCURRENT READING AND WRITING OF CLOCKS. / {L. Lamport}Publication : PALO-ALTO : DIGITAL, 1988Description : 01 VOL.,10 P. : 2 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6531] (1).
17. Congrès Contention in shared memory algorithms / {C. Dwork}Publication : S.L. : [s.n.], 1993Description : 31 P., 41 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1282] (1).
18. Thèses CONTRIBUTION A L'ETUDE DE LA COOPERATION ENTRE PROCESSUS DANS LES LANGAGES ET LES SYSTEMES INFORMATIQUES / MICHEL RAYNALPublication : [S.l.] : [s.n.], 1981Description : 210 P. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1409] (1).
19. Congrès CONTROLE DU PARALLELISME ET DE LA REPARTITION.Publication : s.l. : s.n., 1980Description : 01 VOL.,127 P. : PR 6 ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1408] (1).
20. Congrès CRAY computer systems, CRAY-2 multitasking programmer's manualPublication : S.L. : [s.n.], 1986Description : 01 VOL.,149 P. : 31 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3405] (1).
21. Congrès DESIGN (THE) OF OPERATING SYSTEMS FOR SMALL COMPUTER SYSTEMS. / {S. Kaisler}Publication : NEW-YORK : John Wiley, 1983Description : 01 VOL.,683 P. : PR 40 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2055] (1).
22. 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).
23.  Monographies, textes Distributed synchronization of parallel programs : why and how ? / Patrice Quinton, Jean-pierre VerjusPublication : [S.l. : sn], 04-1986Description : 17 p.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI3193] (1).
24. Articles ESSENTIAL ISSUES IN MULTIPROCESSOR SYSTEMS. [[Texte imprimé]] / {D. Gajski}Publication : New York : IEEE, 1985Description : P. 9 A 27 : 50 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7834] (1).
25. Thèses Expression des communications entre processus d'un programme parallèle par des types abstraits [Texte imprimé] / Jacques Julliand ; sous la direction de Guy René PerrinPublication : Besançon : [S.n], [1981]Description : 1 vol. (201 p.) : ill ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1360] (1).

Powered by Koha