Your search returned 3 results. Subscribe to this search

|
1. Congrès Computer aided verification [Texte imprimé] : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings / Ahmed Bouajjani, Oded Maler (eds.)Publication :Berlin, New York : Springer, cop. 2009Description : 1 vol. (XV-722 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 09] (1).
2. Congrès Euro-Par 2002 parallel processing [Texte imprimé] : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings / Burkhard Monien, Rainer Feldmann (eds.)Publication :Berlin, Heidelberg, New York : Springer, cop. 2002Description : XXIX-993 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAD 02] (1).
3. Congrès Semantics of concurrent computation [Texte imprimé] : proceedings of the international symposium, Évian, France, July 2-4, 1979 / ed. by Gilles KahnPublication :Berlin, New York : Springer-Verlag, 1979Description : VI-368 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EVI 79] (1).

Powered by Koha