Home Advanced Search

Advanced Search - Page 1

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)
Formal Methods: State of the Art and New Directions
  • PDF
  • English
  • Year: 2010
  • Author: Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (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.)
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.)
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.)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
search