Home Advanced Search

Advanced Search - Page 1

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)
Distributed Computing: 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Michael Merritt, Gadi Taubenfeld (auth.), Faith Ellen Fich (eds.)
Distributed Computing: 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marcos K. Aguilera, Michel Raynal (auth.), Nancy A. Lynch, Alexander A. Shvartsman (eds.)
Distributed Computing: 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marcos K. Aguilera, Michel Raynal (auth.), Nancy A. Lynch, Alexander A. Shvartsman (eds.)
Principles of Distributed Systems: 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro (eds.)
Distributed Computing: 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Yehuda Afek, Haim Kaplan, Boris Korenfeld, Adam Morrison, Robert E. Tarjan (auth.), Marcos K. Aguilera (eds.)
Distributed Computing and Networking: 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Hagit Attiya (auth.), Marcos K. Aguilera, Haifeng Yu, Nitin H. Vaidya, Vikram Srinivasan, Romit Roy Choudhury (eds.)
Distributed Computing and Networking: 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Hagit Attiya (auth.), Marcos K. Aguilera, Haifeng Yu, Nitin H. Vaidya, Vikram Srinivasan, Romit Roy Choudhury (eds.)
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)
search