Your search returned 40 results. Subscribe to this search

|
1.  Monographies, textes A simple taxonomy for distributed mutual exclusion algorithms / Michel RaynalPublication : [S.l.], 11-1990Description : 6 p.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-273] (2).
2. Congrès ALGORITHME (UN) D'EXCLUSION MUTUELLE POUR UNE STRUCTURE LOGIQUE EN ANNEAU. / {M. Raynal}Publication : ROCQUENCOURT : INRIA, 1984Description : 01 VOL.,12 P. : RF 12 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2651] (1).
3.  Monographies, textes Algorithmes distribués et protocoles [] / par Michel RaynalPublication : Paris : Eyrolles, 1985Description : 1 vol. (XVI-141 p : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2881] (1).
4. 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).
5.  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).
6. Congrès Compiler construction [ [Texte imprimé]] : 17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings ; Laurie Hendren (Ed.)Publication : Berlin, New York : Springer, 2008Description : 1 vol. (XII-306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BUD 08] (1).
7. Congrès Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)Publication : Berlin, London : Springer, c1998Description : ix, 552 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
8. Articles Computing abstractions of infinite state systems compositionally and automatically [[Texte imprimé]] / S. Bensalem, Y. Lakhnech and S. OwrePublication : Berlin, Heidelberg : Springer, 1998Description : P. 319-331 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
9. 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).
10.  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).
11. 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).
12. Thèses DE L'EVALUATION DU PARALLELISME ET DE LA SYNCHRONISATION / BRIGITTE PLATEAUPublication : [S.l.] : [s.n.], 1984Description : 176 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2910] (1).
13.  Monographies, textes Dérivation d'algorithmes distribués d'arbitrage / Jean-Pierre Verjus, René ThoravalPublication : [S.l. : sn], 05-1985Description : 32 p.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI2863] (1).
14. Congrès DERIVATION D'ALGORITHMES DISTRIBUES D'ARBITRAGE / {J. Verjus, R. Thoraval}Publication : ROCQUENCOURT : INRIA, 1985Description : 01 VOL.,28 P. : PR 2 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2938] (1).
15. Congrès ETUDE COMPORTEMENTALE D'ALGORITHMES DISTRIBUES DE CONTROLE. / {M. Bui}Publication : ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,174 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6336] (1).
16. Articles EXCLUSION MUTUELLE ET ORDONNANCEMENT PAR PRIORITE. [[Texte imprimé]] / {C. Kaiser}Publication : Paris : Dunod, 1982Description : P. 59 A 68 : RF 20 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5442] (1).
17. Congrès FAST (A) MUTUAL EXCLUSION ALGORITHM. / {L. Lamport}Publication : PALO-ALTO : DIGITAL, 1986Description : 01 VOL.,17 P. : 9 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6493] (1).
18. Congrès INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING.3,ALGORITHMS AND APPLICATIONS = ICPP'90.Publication : UNIVERSITY-PARK : PENN STATE PRESS, 1990Description : 01 VOL.,409 P. : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-164] (1).
19. Articles Lamport on mutual exclusion [[Texte imprimé]] : 27 years of planting seeds / {J. Anderson}Publication : New York : ACM Press, 2001Description : P. 3-12 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 01] (1).
20.  Monographies, textes Operating system elements : a user perspective / Peter CalingaertPublication : Englewood Cliffs, N.J. : Prentice-Hall, c1982Description : xv, 240 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1426] (1).
21. Congrès PARALLEL PROGRAM DESIGN A FOUNDATION. / {J. Misra, K. Chandy}Publication : READING : Addison-Wesley, 1988Description : 01 VOL.,544 P. : PR 10 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6269] (1).
22.  Monographies, textes Parallel programming : a bibliography / D.H. Bell ... [et al.]Publication : Chichester, New York : Wiley Heyden on behalf of the British Computer Society, c1983Description : vii, 68 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2128] (1).
23. Congrès PLDI'08 : proceedings of the 2008 ACM SIGPLAN conference on programming language design and implementation [ [Texte imprimé]]Publication : New York : Association for computing machinery, 2008Description : 1 vol. (XII-383 p.) : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TUC 08] (1).
24. Congrès PLDI'09 : proceedings of the 2009 ACM SIGPLAN conference on programming language design and implementation [ [Texte imprimé]]Publication : New York : Association for computing machinery, 2009Description : 1 vol. (X-427 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[DUB 09] (2).
25. Congrès PODC 2002 [Texte imprimé] : Proceedings of the Twenty-first Annual ACM Symposium on Principles of Distributed Computing : Monterey, California, USA, July 21-24, 2002 / sponsored by ACM Special Interest Group on Algorithms & Computational Theory and ACM Special Interest Group on Operating SystemsPublication : New York : Association for Computing Machinery, cop. 2002Description : IX-298 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 02] (1).

Powered by Koha