Home Advanced Search

Advanced Search - Page 1

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

PDF
English
Year: 2001
Author: Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (eds.)

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

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

PDF
English
Year: 2013
Author: Jakob Ruess, John Lygeros (auth.), Ashutosh Gupta, Thomas A. Henzinger (eds.)

Völkerstrafrechtspolitik: Praxis des Völkerstrafrechts

PDF
German
Year: 2014
Author: Prof. Dr. Christoph Safferling, Dr. Stefan Kirsch (auth.), Christoph Safferling, Stefan Kirsch (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.)

Strategien der Selektion und Sozialisation von Führungsnachwuchs

PDF
German
Year: 1995
Author: Alexander Kirsch (auth.)

Handbook of model checking

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

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

Endocrine Autoimmunity and Associated Conditions

PDF
English
Year: 1998
Author: Y. M. Kong (auth.), A. P. Weetman (eds.)

Immunology of Endocrine Diseases

PDF
English
Year: 1986
Author: Y. M. Kong (auth.), Alan M. McGregor (eds.)