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.)
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.)
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.)
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.)
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
MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dieter Hutter (auth.), Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos Alberto Reyes Garciá (eds.)
Innovationsgesellschaft heute: Perspektiven, Felder und Fälle
  • PDF
  • German
  • Year: 2016
  • Author: Werner Rammert, Arnold Windeler, Hubert Knoblauch, Michael Hutter (eds.)
Gedächtnisschrift für Michael Gruson
  • PDF
  • German
  • Year: 2009
  • Author: Theodor Baums (editor); Stephan Hutter (editor)
Gesundheitsförderung für kleine Unternehmen: Fakten und Praxistipps aus der Lebensstilforschung
  • PDF
  • German
  • Year: 2016
  • Author: Dieter Melchart, Stephan Gronwald (auth.)
Constructive Side-Channel Analysis and Secure Design: Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Hutter, Mario Kirschbaum, Thomas Plos, Jörn-Marc Schmidt, Stefan Mangard (auth.), Werner Schindler, Sorin A. Huss (eds.)
search