- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2025
- Schlagwort
-
Zuverlässigkeit
Formale Methode
Systementwicklung
Quanteninformatik
Systementwurf
Quantencomputer
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT-Bibliothek
- (wann)
-
2025
- Urheber
-
Klamroth, Jonas
- Beteiligte Personen und Organisationen
-
Beckert, Bernhard
Soudjani, Sadegh
- DOI
-
10.5445/IR/1000179819
- URN
-
urn:nbn:de:101:1-2503120358570.497957325243
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Klamroth, Jonas
- Beckert, Bernhard
- Soudjani, Sadegh
- KIT-Bibliothek
Entstanden
- 2025
Ähnliche Objekte (12)
Translation methods for non-classical logics : an overview
Theory, models, and numerical methods for classical and non-classical transport
Statistical methods in quantum optics, 2.. Non-classical fields
Proof reconstruction in classical and non-classical logics
Shock discontinuities: from classical to non-classical shocks
Classical vs non-classical logics : the universality of classical logic
Non-classical aspects in proof complexity
Natural deduction for non-classical logics
A framework for non-classical logics
Prenucleation Clusters and Non-classical Nucleation
New Horizons of Non-Classical Crystallization
Liquid Precursors in Non-Classical Crystallization
Translation methods for non-classical logics : an overview
Theory, models, and numerical methods for classical and non-classical transport
Statistical methods in quantum optics, 2.. Non-classical fields
Proof reconstruction in classical and non-classical logics
Shock discontinuities: from classical to non-classical shocks
Classical vs non-classical logics : the universality of classical logic
Non-classical aspects in proof complexity
Natural deduction for non-classical logics
A framework for non-classical logics
Prenucleation Clusters and Non-classical Nucleation
New Horizons of Non-Classical Crystallization
Liquid Precursors in Non-Classical Crystallization
Translation methods for non-classical logics : an overview
Theory, models, and numerical methods for classical and non-classical transport
Statistical methods in quantum optics, 2.. Non-classical fields
Proof reconstruction in classical and non-classical logics
Shock discontinuities: from classical to non-classical shocks
Classical vs non-classical logics : the universality of classical logic
Non-classical aspects in proof complexity
Natural deduction for non-classical logics
A framework for non-classical logics
Prenucleation Clusters and Non-classical Nucleation
New Horizons of Non-Classical Crystallization