Your search returned 7 results. Subscribe to this search

|
1.  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).
2. Articles Analysis of multithreaded programs [[Texte imprimé]] / Martin RinardPublication : Berlin, Heidelberg : Springer, 2001Description : P. 1-19 ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 01] (1).
3. 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).
4. 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).
5. Congrès Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings / Zhiyuan Li ... [et al.], (eds.)Publication : Berlin, Paris, Heidelberg : Springer, c1998Description : xii, 428 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIN-97] (1).
6. Congrès Languages and compilers for parallel computing [ [Texte imprimé]] : 24rd international workshop, LCPC 2011, Fort Collins, CO, USA, Septmber 8-10, 2011 : revised selected papers ; Sanjay Rajopadhye, Michelle Mills Strout (eds.)Publication : Berlin : Springer, cop. 2013Description : 1 vol. (X-298 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[FOR 11] (1).
7. Congrès Static analysis [Texte imprimé] : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto FilePublication : New York : Springer Verlag, cop. 1999Description : 1 vol. (VIII-356 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 99] (1).

Powered by Koha