Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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.)
Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Lorenz M. Hilty (auth.), Dieter Hutter, Markus Ullmann (eds.)
Gedächnisschrift für Michael Gruson
  • PDF
  • German
  • Year: 2009
  • Author: Theodor Baums, Stephan Hutter
Das Refinanzierungsregister: Eine Untersuchung mit besonderer Berücksichtigung der Refinanzierungssurrogation, der insolvenzrechtlichen Aspekte und der Fragen von Refinanzierungstransaktionen mit Auslandsbezug
  • PDF
  • German
  • Year: 2016
  • Author: Werner, Stephan
Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Werner Aßmann (auth.), Dieter Hammer (eds.)
search