Home Advanced Search

Advanced Search - Page 1

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, 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.)
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (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.)
search