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.)

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

PDF
English
Year: 2010
Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

Software-Engineering: Objektorientierte Techniken, Methoden und Prozesse in der Praxis

PDF
German
Year: 2005
Author: Ruth Breu (editor); Thomas Matzner (editor); Friederike Nickl (editor); Oliver Wiegert (editor)

Top Incomes: A Global Perspective

PDF
English
Year: 2010
Author: A. B. Atkinson, Thomas Piketty

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends

PDF
English
Year: 2005
Author: Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross (auth.), Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper (eds.)

Handbook of model checking

PDF
English
Year: 2018
Author: Bloem, Roderick; Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut et al. (eds.)

Modelling Foundations and Applications. 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings

PDF
English
Year: 2011
Author: Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige (eds.)

Attachment Behavior

PDF
English
Year: 1977
Author: Robert B. Cairns (auth.), Thomas Alloway, Patricia Pliner, Lester Krames (eds.)

Gentrification: Theorie und Forschungsergebnisse

PDF
German
Year: 1996
Author: Jürgen Friedrichs, Robert Kecskes (auth.), Jürgen Friedrichs, Robert Kecskes (eds.)

Mastering Primary Music

PDF
English
Year: 2018
Author: Ruth Atkinson