Your search returned 162 results. Subscribe to this search

|
26. 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).
27.  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).
28. Congrès AUTOMATIC GENERATION OF SYNCHRONIZATION INSTRUCTIONS FOR PARALLEL PROCESSORS. / {S. Midkiff}Publication : S.L. : [s.n.], 1986Description : 01 VOL.,96 P. : PR 2 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3398] (1).
29. Congrès BACS: Basel Algorithm Classification Scheme / {H. Burkhart}Publication : S.L. : [s.n.], 1993Description : 60 P., 24 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1215] (1).
30. 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).
31. Congrès CEDAR SYNCHRONIZATION PROCESSOR INSTRUCTION SET REFERENCE. / {D. Pointer, G. Jaxon}Publication : S.L. : [s.n.], 1990Description : 01 VOL.,79 P. : 7 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-032] (1).
32. 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).
33.  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).
34. Congrès Compilation techniques for explicitly parallel programs / by Jaejin LeePublication : Urbana (IL) : UNIV. ILLINOIS, 1999Description : XII-153 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1999 LEE] (1).
35. Congrès COMPILER ALGORITHMS FOR EVENT VARIABLE SYNCHRONIZATION. / {Z. Li}Publication : S.L. : [s.n.], 1991Description : 01 VOL.,10 P. : PR 1 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-266] (1).
36. Congrès Compiler Analysis to Implement Point-To-Point Synchronization in Parallel Programs / {J. Nguyen}Publication : S.L. : [s.n.], 1993Description : 178 P., PR 10 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1223] (1).
37. 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).
38. Congrès COMPILER TECHNIQUES FOR DATA SYNCHRONIZATION IN NESTED PARALLEL LOOPS. / {P. Tang, C. Zhu, P. Yew}Publication : S.L. : [s.n.], 1990Description : 01 VOL.,9 P. : 20 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-265] (1).
39. 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).
40. 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).
41. 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).
42. 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).
43.  Monographies, textes Concurrent EUCLID, the UNIX system, and TUNIS / R.C. HoltPublication : Reading, MA, London, Amsterdam : Addison-Wesley, 1983Description : [XII-]323 p. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1844] (1).
44.  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).
45.  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).
46. 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).
47. 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).
48. Congrès Conference proceedings of the 1997 International Conference on Supercomputing : Vienna, Austria, July 7-11, 1997 / sponsored by the Association for Computing Machinery, Special Interest Group on Computer Architecure (SIGARCH)Publication : New York, N.Y. : Association for Computing Machinery, c1997Description : xiii, 347 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[VIE 97] (1).
49. 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).
50. Contribution à l'algorithmique parallèle et distribuée [Texte imprimé] : application à l'optimisation combinatoire / Ivan LavalléePublication : [S.l.] : [s.n.], 1986Description : 1 vol (314 p.) : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3442] (1).

Powered by Koha