Home Advanced Search

Advanced Search - Page 1

Temporal Logic and State Systems
  • PDF
  • English
  • Year: 2008
  • Author: Fred Kroger, Stephan Merz
Modeling and Verification of Real-time Systems
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Stephan Merz
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Jasmin Christian Blanchette, Stephan Merz (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Music for Geeks and Nerds
  • EPUB
  • English
  • Year: 2012
  • Author: Pedro Kroger
Chemistry of Imperfect Crystals
  • PDF
  • English
  • Year: 1964
  • Author: Kroger F.A.
Nishapur: Glass of the Early Islamic Period
  • PDF
  • English
  • Year: 1995
  • Author: Jens Kroger
Music for geeks and nerds
  • PDF
  • English
  • Year: 2012
  • Author: Pedro Kroger
Lektureschlussel: Johann Wolfgang Goethe - Faust I
  • PDF
  • German
  • Year: 2001
  • Author: Wolfgang Kroger
search