Home Advanced Search

Advanced Search - Page 1

The Hitchhiker’s Guide to Logical Verification
  • PDF
  • English
  • Year: 2021
  • Author: Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg
C++ GUI programming with Qt 4
C++ GUI programming with Qt 4
  • PDF
  • English
  • Year: 2008;2013
  • Author: Blanchette, Jasmin;Summerfield, Mark
C++ GUI programming with Qt4
C++ GUI programming with Qt4
  • PDF
  • English
  • Year: 2007,2006
  • Author: Blanchette, Jasmin; Summerfield, Mark
C++ GUI programming with Qt 4
C++ GUI programming with Qt 4
  • PDF
  • English
  • Year: 2013
  • Author: Blanchette, Jasmin;Summerfield, Mark
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
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.)
Canadian Foreign Policy, 1966-1976: Selected Speeches and Documents
Canadian Foreign Policy, 1966-1976: Selected Speeches and Documents
  • PDF
  • English
  • Year: 1980
  • Author: Blanchette
Canadian Foreign Policy, 1955-1965: Selected Speeches and Documents
Canadian Foreign Policy, 1955-1965: Selected Speeches and Documents
  • PDF
  • English
  • Year: 1977
  • Author: Blanchette
Protestbewegungen und Stadtpolitik: Urbane Konflikte in Santiago de Chile und Buenos Aires
Protestbewegungen und Stadtpolitik: Urbane Konflikte in Santiago de Chile und Buenos Aires
  • PDF
  • German
  • Year: 2015
  • Author: Corinna Hölzl
Einführung in die Warenanalyse
Einführung in die Warenanalyse
  • PDF
  • German
  • Year: 1989
  • Author: Josef Hölzl
The Notebook of Dhutmose
The Notebook of Dhutmose
  • PDF
  • English
  • Year: 2018
  • Author: Regina Hölzl
search