Your search returned 28 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.  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).
3. 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).
4. Congrès Automata, languages and programming [Texte imprimé] : 10th Colloquium, Barcelona, Spain, July 18-22, 1983 : the European Association for Theoretical Computer Science (EATCS) / ed. Josep DiazPublication : Berlin, New York, Paris : Springer, cop. 1983Description : 1 vol. (VIII-733 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2015] (1).
5. 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).
6.  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).
7. Articles COMMUNICATING SEQUENTIAL PROCESSES. / {C. Hoare}Publication : New York : ACM, 1978Description : P. 666 A 677 : RF 20 ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3563] (1).
8. Congrès COMPARAISON DES LANGAGES ADA ET CSP. / {R. Triolet}Publication : S.L. : [s.n.], 1981Description : 01 VOL.,X P. : 7 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-349] (1).
9. 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).
10. Congrès Contribution à l'étude du raisonnement temporel : intégration des informations qualitatives et quantitatives et propagation de contraintes / {H. Tolba}Publication : S.L. : [s.n.], 1992Description : 127 P., PR 4 ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1416] (1).
11. 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).
12. Congrès DISTRIBUTED COMPUTING SYSTEMS.Publication : S.L. : COMPUTER SOCIETY PRESS, 1981Description : 01 VOL.,535 P. : RF X ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1137] (1).
13. Congrès ETUDE COMPARATIVE DE CERTAINS CONCEPTS DU PARALLELISME. / {M. Ouerghi}Publication : S.L. : [s.n.], 1982Description : 01 VOL.,33 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1904] (1).
14. Congrès ETUDE DE L'APPLICATION DU MODELE CSP A LA DESCRIPTION DES PROTOCOLES DE COMMUNICATION. / {C. Roisin}Publication : S.L. : CNRS IMAG, 1983Description : 01 VOL.,71 P. : PR 6 ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2197] (1).
15. Congrès Formal description of programming concepts--II [Texte imprimé] : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 / edited by Dines BjørnerPublication : Amsterdam, New York : North-Holland Pub., New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983Description : 1 vol. (XII-455 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2078] (1).
16. Congrès Informatique théorique : séminaire d'informatique théorique, année 1984-1985 / @Séminaire d'Informatique ThéoriquePublication : Paris : LITP, 1985Description : 234 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3438] (1).
17. Congrès Intégration des paradigmes de programmation parallèle, fonctionnelle et impérative : fondements sémantiques / par Mourad DebbabiPublication : Orsay (FRA) : UNIV.PARIS 11, 1994Description : 202 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BNI:8741] (1).
18. Congrès MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS.Publication : Berlin, Heidelberg : Springer, 1990Description : 01 VOL.,445 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-107] (1).
19.  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).
20. Congrès Portable programs for parallel processors / {J. Boyle}Publication : PARIS : Larousse, 1987Description : 272 P., X RF ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1037] (1).
21. Congrès Proceedings of the 1998 International Conference on Software Engineering [Texte imprimé] : ICSE 98 : April 19-25, 1998, Kyoto, Japan / sponsored by Science Council of Japan ... [et al]Publication : Los Alimitos, California, IEEE Computer Society Press,, c1998Description : 1 vol. (XIV-521 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2427] (1).
22. Congrès Programming languages : a grand tour a collection of paperPublication : ROCKVILLE : Computer science press, 1985Description : 01 VOL.,757 P. : XRF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3009] (1).
23.  Monographies, textes Programming linguistics / David Gelernter, Suresh JagannathanPublication : Cambridge, Mass. : MIT Press, c1990Description : xx, 411 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-224] (1).
24. Articles The first World congress on formal methods in the development of computing systems (FM'99) [[Texte imprimé]] : special issue / guest editors' introduction: J.M. Wing and J. WoodcockPublication : New York : IEEE Computer society, 2000Description : P. 673-741 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOU 99] (1).
25.  Monographies, textes The origin of concurrent programming [] : from semaphores to remote procedure calls / edited by Per Brinch HansenPublication : New York : Springer, cop. 2002Description : X-534 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE] (1).

Powered by Koha