Your search returned 57 results. Subscribe to this search

|
1. Congrès 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015) : Proceedings of the 2015 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : San Francisco, CA, USA, February 7-11, 2015 / Association for Computing MachinerySet Level : , SIGPLAN notices, 50, n° 8, August 2015Publication : New York, N.Y. : ACM Press, 2015Description : 1 vol. (XII-290 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 15] (1).
2. Congrès 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016) : Proceedings : Barcelona, Spain, March 12-16, 2016 / Rafael Asenjo, Tim Harris / Association for Computing MachinerySet Level : , SIGPLAN notices, 51, n° 8, August 2016Publication : New York, N.Y. : ACM Press, 2015Description : 1 vol. (XVI-414 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[BAR 16] (1).
3.  Monographies, textes A calculus of communicating systems [] / Robin MilnerPublication : Berlin, New York : Springer-Verlag, cop. 1980Description : 1 vol. (VI-171 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1163] (1).
4. 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).
5. Articles A SURVEY OF SYNCHRONIZATION METHODS FOR PARALLEL COMPUTERS. [[Texte imprimé]] / {A. Dinning}Publication : New York : IEEE, 1989Description : P. 66 A 77 : 15 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12235] (1).
6. 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).
7. 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).
8.  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).
9. 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).
10. Congrès Architectural support for programming languages and operating systemsPublication : 1515, Broadway N.Y. 10036, New York : ACM, 1989Description : 01 VOL.,313 P. : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-593] (4).
11. Congrès Architectural support for programming languages and operating systemsPublication : New York : ACM, 1515, Broadway N.Y. 10036, 1991Description : 01 VOL.,334 P. : X RF ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI17489] (1).
12. Congrès ARCHITECTURE DES MACHINES ET SYSTEMES INFORMATIQUES.Publication : s.l. : s.n., 1979Description : 01 VOL.,132 P. : RF X ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0916] (1).
13. Congrès ASPLOS-IV proceedings : Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Santa Clara, California, April 8-11, 1991 / sponsored by ACM in cooperation with the IEEE Computer SocietyPublication : New York, N.Y. : Association for Computing Machinery, Baltimore, MD : Copies from ACM Order Dept., c1991Description : xi, 320 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI13462] (1).
14.  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).
15. Congrès CEDAR FORTRAN PROGRAMMER"S HANDBOOK. / {M. Guzzi}Publication : S.L. : [s.n.], 1987Description : 01 VOL.,43 P. : 12 RF ; 27 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3616] (1).
16. Congrès 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).
17.  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).
18. Congrès Computer aided verification [ [Texte imprimé]] : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings ; Thomas Ball, Robert B. Jones (eds.)Publication : Berlin, New York : Springer, 2006Description : 1 vol. (XV-564 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SEA 06] (1).
19. Thèses CONCEPTION, REALISATION ET CERTIFICATION D'UN GLANEUR DE CELLULES CONCURRENT / DAMIEN DOLIGEZ ; SOUS LA DIRECTION DE J.-J. LEVYPublication : [S.l.] : [s.n.], 1995Description : 194 P.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1881] (1).
20. 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).
21.  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).
22.  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).
23. 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).
24. Congrès CONTRIBUTION A L'ETUDE DU PARALLELISME. / {M. Ouerghi}Publication : S.L. : [s.n.], 1981Description : 01 VOL.,83 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1674] (1).
25. 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).

Powered by Koha