Home Advanced Search

Advanced Search - Page 1

Introduction to Reliable and Secure Distributed Programming
  • PDF
  • English
  • Year: 2011
  • Author: Christian Cachin, 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.)
Turing à la plage
  • EPUB
  • French
  • Year: 2020
  • Author: Rachid Guerraoui; Lê Nguyên Hoang
Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Bernard Chazelle (auth.), Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki (eds.)
Distributed Systems for System Architects
  • PDF
  • English
  • Year: 2012
  • Author: Rodrigues, Luís;Veríssimo, Paulo
Die Rolle der Mittelschichten im Arabischen Frühling: Ein Überblick
  • PDF
  • German
  • Year: 2014
  • Author: Rachid Ouaissa (auth.)
Animals, Race, and Multiculturalism
  • EPUB
  • English
  • Year: 2017
  • Author: Luís Cordeiro-Rodrigues; Les Mitchell
Animals, Race, and Multiculturalism
  • PDF
  • English
  • Year: 2017
  • Author: Luís Cordeiro-Rodrigues, Les Mitchell (eds.)
African Ethics: A Guide to Key Ideas
  • PDF
  • English
  • Year: 2023
  • Author: Jonathan O. Chimakonam; Luís Cordeiro-Rodrigues (editors)
Lyapunov Exponents
  • PDF
  • English
  • Year: 2017
  • Author: Luís Barreira (auth.)