Home Advanced Search

Advanced Search - Page 1

Concrete Semantics with Isabelle/HOL
  • PDF
  • English
  • Year: 2017
  • Author: Tobias Nipkow, Gerwin Klein
Concrete Semantics: With Isabelle/HOL
  • PDF
  • English
  • Year: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
A Bug Hunter's Diary: A Guided Tour Through the Wilds of Software Security
  • AZW3
  • English
  • Year: 2011
  • Author: Klein, Tobias
A bug hunter's diary: a guided tour through the wilds of software security
  • EPUB
  • English
  • Year: 2011
  • Author: Klein, Tobias
A bug hunter's diary a guided tour through the wilds of software security
  • PDF
  • English
  • Year: 2011
  • Author: Klein, Tobias
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
i860. Mikroprozessor der Superklasse
  • DJVU
  • German
  • Year: 1991
  • Author: Rolf D. Klein, Tobias Thiel
Ditransitives in British English Dialects
  • EPUB
  • English
  • Year: 2014
  • Author: Johanna Gerwin
Ditransitives in British English Dialects
  • PDF
  • English
  • Year: 2014
  • Author: Johanna Gerwin
A study of the health knowledge, attitudes, status and practice of high school pupils
  • PDF
  • English
  • Author: Neher, Gerwin Charles
search