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.)
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
The American Occupation of Japan: The Origins of the Cold War in Asia
  • PDF
  • English
  • Year: 1985
  • Author: Michael Schaller
Reckoning with Reagan: America and Its President in the 1980s
  • PDF
  • English
  • Year: 1992
  • Author: Michael Schaller
American Horizons: U.S. History in a Global Context
  • PDF
  • English
  • Author: Michael Schaller
search