Suchergebnisse - Modeling non-deterministic quantum programs for model checking

Bücher & mehr

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 235 für Suche: 'Modeling non-deterministic quantum programs for model checking', Suchdauer: 0,33s

Modeling non-deterministic quantum programs for model checking

Kierner, Kaleb (Verfasser)

Aachen : Universitätsbibliothek der RWTH Aachen, 2025

E-Book

Model checking

Clarke, Edmund M.

Cambridge, MA [u.a.] : MIT Press, 1999

Buch

Principles of model checking

Baier, Christel

Cambridge [u.a.] : MIT Press, 2008

Buch

Model checking of software for microcontrollers

Schlich, Bastian

Aachen : RWTH, 2008

E-Book

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Pasareanu, Corina S (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Bosnacki, Dragan (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Berlin [u.a.] : Springer, 2001

Buch

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

van der Pol, Jaco (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Jones, Neil (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Havelund, Klaus (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Logozzo, Francesco (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Godefroid, Patrick (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Simulating the physical world : hierarchical modeling from quantum mechanics to fluid dynamics

Berendsen, Herman Johan Christiaan

Cambridge [u.a.] : Cambridge Univ. Press, 2007

Buch

Dynamic modeling for business management : an introduction

McGarvey, Bernard

New York [u.a.] : Springer, 2004

Buch

Quantum information processing

Leuchs, Gerd (Herausgeber)

Weinheim : Wiley-VCH, 2003

Buch

Tutorial on neural systems modeling

Anastasio, Thomas J.

Sunderland, Mass. : Sinauer, 2010

Buch

Building Information Modeling : Technology Foundations and Industry Practice

Borrmann, André (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

E-Book

Principles and practice of structural equation modeling

Kline, Rex B.

3. ed.

New York, NY [u.a.] : Guilford Press, 2011

Buch

How to design programs : an introduction to programming and computing

Felleisen, Matthias

Cambridge, Mass. [u.a.] : MIT Press, 2001

Buch

Modeling and verification of real-time systems : formalisms and software tools

Merz, Stephan (Herausgeber)

London : ISTE, 2008

Buch

Mehr Treffer in Bücher & mehr

Das Gesuchte nicht gefunden? Kaufvorschlag / Onleihe / Fernleihe

Artikel & mehr

Wird geladen...