Home Advanced Search

Advanced Search - Page 1

Embedded Systems for Smart Appliances and Energy Management
  • PDF
  • English
  • Year: 2013
  • Author: Holger Hermanns, Holger Wiechmann (auth.), Christoph Grimm, Peter Neumann, Stefan Mahlknecht (eds.)
Interactive Markov Chains: And the Quest for Quantified Quality
  • PDF
  • English
  • Year: 2002
  • Author: Holger Hermanns (eds.)
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Wissensmanagement im Mittelstand: Grundlagen - Lösungen - Praxisbeispiele
  • PDF
  • German
  • Year: 2009
  • Author: Stefan Voigt, Holger Seidel (auth.), Kai Mertins, Holger Seidel (eds.)
Church as Politeia: The Political Self-Understanding of Christianity. Proceedings of a Becket Institute Conference at the University of Oxford, 28 September ¿1 October 2000
  • PDF
  • German
  • Year: 2004
  • Author: Christoph Stumpf / Holger Zaborowski (eds.)
Die Wissensmacher: Profile und Arbeitsfelder von Wissenschaftsredaktionen in Deutschland
  • PDF
  • German
  • Year: 2006
  • Author: Holger Wormer (auth.), Holger Wormer (eds.)
Nichtwestliches politisches Denken: Zwischen kultureller Differenz und Hybridisierung
  • PDF
  • German
  • Year: 2012
  • Author: Holger Zapf (auth.), Holger Zapf (eds.)
search