Home Advanced Search

Advanced Search - Page 1

Java and the Java Virtual Machine: Definition, Verification, Validation
  • PDF
  • English
  • Year: 2001
  • Author: Robert F. Stärk, Joachim Schmid, Egon Börger
Java and the Java Virtual Machine: Definition, Verification, Validation
  • PDF
  • English
  • Year: 2001
  • Author: Prof. Dr. Robert F. Stärk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon Börger (auth.)
Abstract state machines A method for high level system design and analysis
  • PDF
  • English
  • Year: 2003
  • Author: Egon Börger, Robert Stärk
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.)
Modeling Companion for Software Practitioners
  • PDF
  • English
  • Year: 2018
  • Author: Egon Börger, Alexander Raschke
The classical decision problem
  • DJVU
  • English
  • Year: 1997
  • Author: Grädel, Erich; Gurevich, Yuri; Börger, Egon
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.)
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.)
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.)
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.)
search