Home Advanced Search

Advanced Search - Page 1

Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing
  • PDF
  • English
  • Year: 1999
  • Author: Jean-Pierre Briot, Rachid Guerraoui (auth.), Julian A. Padget (eds.)
ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare, He Jifeng (auth.), Rachid Guerraoui (eds.)
Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
  • PDF
  • English
  • Year: 1996
  • Author: Hiroki Konaka, Takashi Tomokiyo (auth.), Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.)
Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Hiroki Konaka, Takashi Tomokiyo (auth.), Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (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.)
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.)
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.)