Home Advanced Search

Advanced Search - Page 1

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2012
  • Author: Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)
Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2015
  • Author: Bertrand Meyer, Martin Nordio (eds.)
Agile!: The Good, the Hype and the Ugly
  • PDF
  • English
  • Year: 2014
  • Author: Bertrand Meyer (auth.)
Handbook of model checking
  • PDF
  • English
  • Year: 2018
  • Author: Bloem, Roderick; Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut et al. (eds.)
Bioceramics in Joint Arthroplasty: 8th BIOLOX® Symposium Berlin, March 28–29, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: I. C. Clarke, M. Manaka, T. Shishido, H. Oonishi, G. A. Gustafson, M. Boehler (auth.), Hartmut Zippel, Martin Dietrich (eds.)
Population Dynamics and Projection Methods
  • PDF
  • English
  • Year: 2011
  • Author: Philip Rees (auth.), John Stillwell, Martin Clarke (eds.)
Signalverarbeitung: Analoge und digitale Signale, Systeme und Filter
  • PDF
  • German
  • Year: 2017
  • Author: Martin Meyer (auth.)
Signalverarbeitung: Analoge und digitale Signale, Systeme und Filter
  • PDF
  • German
  • Year: 2009
  • Author: Martin Meyer (auth.)
Signalverarbeitung: Analoge und digitale Signale, Systeme und Filter
  • PDF
  • German
  • Year: 2011
  • Author: Martin Meyer (auth.)
Eiffel : The Language
  • PDF
  • English
  • Author: Bertrand Meyer
search