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.)
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Friedemann Mattern (auth.), Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (eds.)
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Dieter Hutter, Werner Stephan (auth.), Dieter Hutter, Werner Stephan (eds.)
Future Internet – FIS 2008: First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Michael L. Brodie (auth.), John Domingue, Dieter Fensel, Paolo Traverso (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.)
Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)
The Kaleidoscope of Science: The Israel Colloquium: Studies in History, Philosophy, and Sociology of Science Volume 1
  • PDF
  • English
  • Year: 1985
  • Author: Stephan Körner (auth.), Edna Ullmann-Margalit (eds.)
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.)
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.)
search