Home Advanced Search

Advanced Search - Page 1

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (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.)
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.)
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.)
Computation Theory and Logic
  • DJVU
  • English
  • Year: 1987
  • Author: Klaus Ambos-Spies (auth.), Egon Börger (eds.)
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Michael D. Ernst (auth.), Gordon Fraser, Angelo Gargantini (eds.)
search