- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783862475452
386247545X
- Maße
-
24 cm
- Umfang
-
viii, 214, XIX Seiten
- Sprache
-
Deutsch
- Anmerkungen
-
Illustrationen
Alberts-Ludwig-Universität Freiburg im Breisgau, Dissertation, 2015
- Erschienen in
-
Design, test and verification of embedded systems ; Vol. 08
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Schaltwerk
Unvollständigkeit
Blackbox
Model Checking
Temporale Logik
Binäres Entscheidungsdiagramm
Erfüllbarkeitsproblem
Bounded Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
Uelvesbüll
- (wer)
-
Der Andere Verlag
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:28 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
- Nopper, Tobias Johannes
- Der Andere Verlag GmbH
- Der Andere Verlag
Entstanden
- 2015
Ähnliche Objekte (12)
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Verifikation unvollständiger Schaltkreise
Die Prinzipien der Jährlichkeit und Vorherigkeit im kommunalen Haushaltsrecht NW
Untersuchungen zu Grenzflächenwechselwirkungen zwischen reaktiven Polymerschmelzen und aminofunktionalisierten Siliziumoxidoberflächen
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
Die Problematik der Zuordnung von Schuldzinsen im Einkommensteuerrecht
Advanced CMOS-based stress sensing
Field effect transistor based CMOS stress sensors
Untersuchungen zum Nachweis nicht-thermischer Wirkungen hochfrequenter elektromagnetischer Felder an Gliazellen
Analyse- und Syntheseverfahren zur automatischen Harmonisierung von Gesang
Dialog als Instrument der Friedenserziehung : Diskussion der pädagogisch-didaktischen Eignung verschiedener Dialogkonzeptionen im Hinblick auf einen schulischen Beitrag zur Schaffung einer Kultur des Friedens
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Verifikation unvollständiger Schaltkreise
Die Prinzipien der Jährlichkeit und Vorherigkeit im kommunalen Haushaltsrecht NW
Untersuchungen zu Grenzflächenwechselwirkungen zwischen reaktiven Polymerschmelzen und aminofunktionalisierten Siliziumoxidoberflächen
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
Die Problematik der Zuordnung von Schuldzinsen im Einkommensteuerrecht
Advanced CMOS-based stress sensing
Field effect transistor based CMOS stress sensors
Untersuchungen zum Nachweis nicht-thermischer Wirkungen hochfrequenter elektromagnetischer Felder an Gliazellen
Analyse- und Syntheseverfahren zur automatischen Harmonisierung von Gesang
Dialog als Instrument der Friedenserziehung : Diskussion der pädagogisch-didaktischen Eignung verschiedener Dialogkonzeptionen im Hinblick auf einen schulischen Beitrag zur Schaffung einer Kultur des Friedens
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Verifikation unvollständiger Schaltkreise
Die Prinzipien der Jährlichkeit und Vorherigkeit im kommunalen Haushaltsrecht NW
Untersuchungen zu Grenzflächenwechselwirkungen zwischen reaktiven Polymerschmelzen und aminofunktionalisierten Siliziumoxidoberflächen
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
Die Problematik der Zuordnung von Schuldzinsen im Einkommensteuerrecht
Advanced CMOS-based stress sensing
Field effect transistor based CMOS stress sensors
Untersuchungen zum Nachweis nicht-thermischer Wirkungen hochfrequenter elektromagnetischer Felder an Gliazellen
Analyse- und Syntheseverfahren zur automatischen Harmonisierung von Gesang