- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Konstanz, Univ., Diss., 2009
- Klassifikation
-
Informatik
- Schlagwort
-
Model Checking ; Heuristik ; Gegenbeispiel ; Visualisierung ; Suchverfahren
- Urheber
-
Aljazzar, Husain
- URN
-
urn:nbn:de:bsz:352-opus-91885
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:48 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Aljazzar, Husain
Ähnliche Objekte (12)
DNA polymerase activity on solid support : from diagnostics to directed enzyme evolution
Current technologies for RNA-directed liquid diagnostics
Directed model checking for timed automata
Directed chaos in magnetic billiard systems
Multiscale model diagnostics
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Laser diagnostics applied to practical combustion and flow systems
A highly scalable system for genome based computational microbial diagnostics
A highly scalable system for genome based computational microbial diagnostics
Combining smart model diagnostics and effective data collection for snow catchments
Directed evolutionary algorithms
DNA polymerase activity on solid support : from diagnostics to directed enzyme evolution
Current technologies for RNA-directed liquid diagnostics
Directed model checking for timed automata
Directed chaos in magnetic billiard systems
Multiscale model diagnostics
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Laser diagnostics applied to practical combustion and flow systems
A highly scalable system for genome based computational microbial diagnostics
A highly scalable system for genome based computational microbial diagnostics
Combining smart model diagnostics and effective data collection for snow catchments
Directed evolutionary algorithms
DNA polymerase activity on solid support : from diagnostics to directed enzyme evolution
Current technologies for RNA-directed liquid diagnostics
Directed model checking for timed automata
Directed chaos in magnetic billiard systems
Multiscale model diagnostics
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Laser diagnostics applied to practical combustion and flow systems
A highly scalable system for genome based computational microbial diagnostics
A highly scalable system for genome based computational microbial diagnostics
Combining smart model diagnostics and effective data collection for snow catchments