Home Advanced Search

Advanced Search - Page 1

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
The classical decision problem
  • DJVU
  • English
  • Year: 1997
  • Author: Grädel, Erich; Gurevich, Yuri; Börger, Egon
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.)
ECOOP 2004 – Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Jonathan Aldrich, Craig Chambers (auth.), Martin Odersky (eds.)
ECOOP 2004 – Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Jonathan Aldrich, Craig Chambers (auth.), Martin Odersky (eds.)
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)
Modeling Companion for Software Practitioners
  • PDF
  • English
  • Year: 2018
  • Author: Egon Börger, Alexander Raschke
Semantics of Programming Languages and Model Theory
  • DJVU
  • English
  • Year: 1993
  • Author: Manfred Droste, Yuri Gurevich
Conceptualizing Cultural Hybridization: A Transdisciplinary Approach
  • PDF
  • English
  • Year: 2012
  • Author: Philipp W. Stockhammer (auth.), Philipp Wolfgang Stockhammer (eds.)
Evolutionary Multi-Criterion Optimization: Second International Conference, EMO 2003, Faro, Portugal, April 8–11, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Richard Balling (auth.), Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Lothar Thiele, Kalyanmoy Deb (eds.)
search