Home Advanced Search

Advanced Search - Page 1

Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
  • PDF
  • English
  • Year: 2018
  • Author: Peter Müller, Ina Schaefer
Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Ina Schaefer, Ioannis Stamelos (eds.)
Software Engineering and Formal Methods
  • PDF
  • English
  • Year: 2018
  • Author: Einar Broch Johnsen, Ina Schaefer
American political rhetoric essential speeches and writings on founding principles and contemporary controversies
  • EPUB
  • English
  • Year: 2010
  • Author: Peter Augustine Lawler;Schaefer
American Political Rhetoric
  • PDF
  • English
  • Year: 2001
  • Author: Peter Lawler, Robert Schaefer
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Handbook of Dynamics and Probability
  • PDF
  • English
  • Year: 2021
  • Author: Peter Müller
Coding Theory
  • PDF
  • English
  • Year: 2014
  • Author: Peter Müller
Einführung in die Zahlentheorie
  • PDF
  • German
  • Year: 2012
  • Author: Peter Müller
search