Home Advanced Search

Advanced Search - Page 1

Applied Information Security: A Hands-on Approach
  • PDF
  • English
  • Year: 2011
  • Author: David Basin, Patrick Schaller, Michael Schläpfer (auth.)
Applied Information Security: A Hands-on Approach
  • PDF
  • English
  • Year: 2011
  • Author: David Basin, Patrick Schaller, Michael Schläpfer (auth.)
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)
New Trends in Optimal Filtering and Control for Polynomial and Time-Delay Systems
  • PDF
  • English
  • Year: 2008
  • Author: Michael Basin (auth.)
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
The American Occupation of Japan: The Orgins of the Cold War in Asia
  • EPUB
  • English
  • Year: 1987
  • Author: Michael Schaller
The U. S. Crusade In China, 1938-1945
  • PDF
  • English
  • Year: 1982
  • Author: Michael Schaller
search