Home Advanced Search

Advanced Search - Page 1

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.)
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: 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.)
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
  • PDF
  • German
  • Year: 1986
  • Author: Egon Börger (auth.), Dieter Rödding (eds.)
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
  • PDF
  • German
  • Year: 1985
  • Author: Egon Börger (auth.), Dieter Rödding (eds.)
S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger (auth.), Christian Stary (eds.)
Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Egon Börger (auth.), Branislav Rovan (eds.)
Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
  • PDF
  • German
  • Year: 1992
  • Author: Egon Börger (auth.)
Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Egon Börger (auth.), Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (eds.)
search