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.)
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.)
Computation Theory and Logic
  • DJVU
  • English
  • Year: 1987
  • Author: Klaus Ambos-Spies (auth.), Egon Börger (eds.)
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)
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.)