Home Advanced Search

Advanced Search - Page 1

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.)
Introduction to Reliable and Secure Distributed Programming
  • PDF
  • English
  • Year: 2011
  • Author: Christian Cachin, Rachid Guerraoui, Luís Rodrigues (auth.)
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Ahmed Bouajjani, Hugues Fauconnier (eds.)
Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Oded Maler, Ádám Halász, Thao Dang, Carla Piazza (eds.)
Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu (auth.), Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.)
Turing à la plage
  • EPUB
  • French
  • Year: 2020
  • Author: Rachid Guerraoui; Lê Nguyên Hoang
Die Rolle der Mittelschichten im Arabischen Frühling: Ein Überblick
  • PDF
  • German
  • Year: 2014
  • Author: Rachid Ouaissa (auth.)
Pediatric Sports Medicine for the Practitioner: From Physiologic Principles to Clinical Applications
  • PDF
  • English
  • Year: 1983
  • Author: Oded Bar-Or (auth.)
Sustainable Transport Development, Innovation and Technology: Proceedings of the 2016 TranSopot Conference
  • PDF
  • English
  • Year: 2017
  • Author: Michał Suchanek (eds.)
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Rachid Echahed, Mark Minas (eds.)
search