Home Advanced Search

Advanced Search - Page 1

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
  • DJVU
  • English
  • Year: 2012
  • Author: Thomas A. Henzinger (auth.), Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson (eds.)
Objektorientierter Softwareentwurf: Integration mit UML
  • PDF
  • German
  • Year: 2001
  • Author: Dr. Ruth Breu (auth.)
Security Engineering for Service-Oriented Architectures
  • PDF
  • English
  • Year: 2009
  • Author: Michael Hafner, Ruth Breu (auth.)
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.)
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.)
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)
search