Home Advanced Search

Advanced Search - Page 1

Hebrew Gothic: History and the Poetics of Persecution
  • PDF
  • Hebrew, English
  • Year: 2019
  • Author: Karen Grumberg
Place and Ideology in Contemporary Hebrew Literature
  • PDF
  • English
  • Year: 2012
  • Author: Karen Grumberg
A Mercadoria Mais Preciosa
  • EPUB
  • Portuguese
  • Author: Jean-Claude Grumberg
25 Years of Model Checking History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Grumberg, Orna.;Veith, Helmut
Formal Logical Methods for System Security and Correctness
  • PDF
  • English
  • Year: 2008
  • Author: Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Orna Grumberg, Michael Huth (eds.)
Jean-Claude Grumberg: Three Plays
  • PDF
  • English
  • Year: 2014
  • Author: Jean-Claude Grumberg; Seth L. Wolitz
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: F. Erich Marschner (auth.), Orna Grumberg (eds.)
Model checking
  • DJVU
  • English
  • Year: 1999
  • Author: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)
search