Home Advanced Search

Advanced Search - Page 1

Distributed Computing: 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal (auth.), Rachid Guerraoui (eds.)
Networked Systems: First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Armando Castañeda, Michel Raynal (auth.), Vincent Gramoli, Rachid Guerraoui (eds.)
Object-Based Distributed Programming: ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Peter Wegner (auth.), Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
Object-Based Distributed Programming: ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Peter Wegner (auth.), Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
LATIN 2002: Theoretical Informatics: 5th Latin American Symposium Cancun, Mexico, April 3–6, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Jennifer Chayes (auth.), Sergio Rajsbaum (eds.)
Introduction to Reliable Distributed Programming
  • PDF
  • English
  • Year: 2006
  • Author: Rachid Guerraoui, Luís Rodrigues (auth.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)