Home Advanced Search

Advanced Search - Page 1

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.)
25 Years of Model Checking History, Achievements, Perspectives
25 Years of Model Checking History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Grumberg, Orna.;Veith, Helmut
Don't Say I Do!: Why Women Should Stay Single
  • EPUB
  • English
  • Year: 2012
  • Author: Orna
Place and Ideology in Contemporary Hebrew Literature
Place and Ideology in Contemporary Hebrew Literature
  • PDF
  • English
  • Year: 2012
  • Author: Karen Grumberg
Hebrew Gothic: History and the Poetics of Persecution
Hebrew Gothic: History and the Poetics of Persecution
  • PDF
  • Hebrew, English
  • Year: 2019
  • Author: Karen Grumberg
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition
  • PDF
  • English
  • Year: 2004
  • Author: Michael Huth, Mark Ryan
Secure Communicating Systems: Design, Analysis, and Implementation
Secure Communicating Systems: Design, Analysis, and Implementation
  • DJVU
  • English
  • Year: 2001
  • Author: Michael R. A. Huth
Dependable software systems engineering
Dependable software systems engineering
  • PDF
  • English
  • Year: 2016
  • Author: Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)
Cyber Terror: How It Happens And What We Can Do
  • PDF
  • English
  • Year: 2017
  • Author: Orna Gadish
Cyber Terror: How It Happens And What We Can Do
  • EPUB
  • English
  • Year: 2017
  • Author: Orna Gadish
search