Home Advanced Search

Advanced Search - Page 1

Gedächtnisschrift für Michael Gruson
  • PDF
  • German
  • Year: 2009
  • Author: Theodor Baums (editor); Stephan Hutter (editor)
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Dieter Hutter, Werner Stephan (auth.), Dieter Hutter, Werner Stephan (eds.)
Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann
Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann (auth.), Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann (eds.)
Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann (auth.), Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann (eds.)
Compendium Locorum Theologicorum
  • PDF
  • German
  • Year: 1961
  • Author: Leonhard Hutter (editor); Wolfgang Trillhaas (editor)
AETOS: Studies in Honour of Cyril Mango presented to him on April 14, 1998
  • PDF
  • English, German, French
  • Year: 1998
  • Author: Ihor Sevcenko (editor); Irmgard Hutter (editor)
Kierkegaard im Kontext des deutschen Idealismus
  • EPUB
  • German
  • Year: 2014
  • Author: Axel Hutter (editor); Anders Moe Rasmussen (editor)
Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Friedemann Mattern (auth.), Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (eds.)
search