Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

PDF
English
Year: 2010
Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

PDF
English
Year: 1980
Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

PDF
English
Year: 2012
Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

PDF
English
Year: 2012
Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)

The Intuitive Warrior: Lessons from a Navy SEAL on Unleashing Your Hidden Potential

EPUB
English
Year: 2011
Author: Michael Jaco

Photoelectrochemical Hydrogen Production

PDF
English
Year: 2012
Author: Roel van de Krol, Michael Grätzel (auth.), Roel van de Krol, Michael Grätzel (eds.)

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

PDF
English
Year: 2012
Author: Alessandro Cimatti, Roberto Sebastiani

Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings

PDF
English
Year: 2017
Author: Cimatti, Alessandro; Sirjani, Marjan

Geschäftsprozeßoptimierung mit SAP® R/3: Modellierung, Steuerung und Management betriebswirtschaftlich-integrierter Geschäftsprozesse

PDF
German
Year: 1997
Author: Prof.Dr. rer. pol. Michael Rebstock (auth.), Paul Wenzel (eds.)

Scientific explanation

PDF
English
Year: 2013
Author: Erik Weber, Jeroen Van Bouwel, Leen De Vreese (auth.)