- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Interne Berichte ; 364
- Klassifikation
-
Mathematik
- Schlagwort
-
HOL
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
2007
- Urheber
-
Schneider, Klaus
Brandt, Jens
- URN
-
urn:nbn:de:hbz:386-kluedo-16063
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.12.2031, 06:20 MEZ
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
- Schneider, Klaus
- Brandt, Jens
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 2007
Ähnliche Objekte (12)
![Exploiting hierarchies in temporal logics, finite automata, arithmetics, and μ-calculus [my-calculus] for efficiently verifying reactive systems](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Exploiting hierarchies in temporal logics, finite automata, arithmetics, and μ-calculus [my-calculus] for efficiently verifying reactive systems
Rechnergestützte Signalgewinnung und -verarbeitung zur Auswertung der Hystereseschleife und des Barkhausenrauschens
Acyl-Silyl-Carbene und Acylsilene : Erzeugung und Reaktivität
Strukturaufklärung eines unbekannten Eicosa-Peptids aus menschlicher Samenflüssigkeit mittels einer Kombination von "Liquid-Secondary-Ion"-Massenspektrometrie und Edman-Abbau und Beiträge zur Isolierung und Charakterisierung von Polypeptiden aus Humansperma
Über den Wert der Fluoreszenzangiographie als Hilfe bei der Diagnostik intraocularer Tumoren
Das hereditäre und induzierte Fettsuchtsyndrom der Mäuse und seine Korrelation zu Adipositas und Mast
Wirkungen von Antiandrogenen und Antiöstrogenen auf die Aktivitäten zweier gonadal regulierter Enzymaktivitäten des Testosteron- und Progesteron-Stoffwechsels in der Rattenhypophyse
Der Einfluss von hormonalen Kontrazeptiva, Rauchen und Gravidität auf die Blutgerinnung und Thrombozytenaggregation
Arterielle Insulinspiegel in der frühen Phase nach intravenöser Glucoseapplikation beim stoffwechselgesunden Menschen
Nichtlineare Differntialgleichungssysteme als mathematische Modelle neurophysiologischer Vorgänge
Resonanz-Ionisations-Spektroskopie von Xenon
Klaus Schneider, Bürger zu Tübingen, verkauft an Joß Bemppel von Nürtingen, Chorherrn zu Herrenberg, Gülten aus einem Hof zu Altingen, die er vom Kloster Pfullingen gekauft hat, um 150 fl.
Exploiting hierarchies in temporal logics, finite automata, arithmetics, and μ-calculus [my-calculus] for efficiently verifying reactive systems
Rechnergestützte Signalgewinnung und -verarbeitung zur Auswertung der Hystereseschleife und des Barkhausenrauschens
Acyl-Silyl-Carbene und Acylsilene : Erzeugung und Reaktivität
Strukturaufklärung eines unbekannten Eicosa-Peptids aus menschlicher Samenflüssigkeit mittels einer Kombination von "Liquid-Secondary-Ion"-Massenspektrometrie und Edman-Abbau und Beiträge zur Isolierung und Charakterisierung von Polypeptiden aus Humansperma
Über den Wert der Fluoreszenzangiographie als Hilfe bei der Diagnostik intraocularer Tumoren
Das hereditäre und induzierte Fettsuchtsyndrom der Mäuse und seine Korrelation zu Adipositas und Mast
Wirkungen von Antiandrogenen und Antiöstrogenen auf die Aktivitäten zweier gonadal regulierter Enzymaktivitäten des Testosteron- und Progesteron-Stoffwechsels in der Rattenhypophyse
Der Einfluss von hormonalen Kontrazeptiva, Rauchen und Gravidität auf die Blutgerinnung und Thrombozytenaggregation
Arterielle Insulinspiegel in der frühen Phase nach intravenöser Glucoseapplikation beim stoffwechselgesunden Menschen
Nichtlineare Differntialgleichungssysteme als mathematische Modelle neurophysiologischer Vorgänge
Resonanz-Ionisations-Spektroskopie von Xenon
Klaus Schneider, Bürger zu Tübingen, verkauft an Joß Bemppel von Nürtingen, Chorherrn zu Herrenberg, Gülten aus einem Hof zu Altingen, die er vom Kloster Pfullingen gekauft hat, um 150 fl.
Exploiting hierarchies in temporal logics, finite automata, arithmetics, and μ-calculus [my-calculus] for efficiently verifying reactive systems
Rechnergestützte Signalgewinnung und -verarbeitung zur Auswertung der Hystereseschleife und des Barkhausenrauschens
Acyl-Silyl-Carbene und Acylsilene : Erzeugung und Reaktivität
Strukturaufklärung eines unbekannten Eicosa-Peptids aus menschlicher Samenflüssigkeit mittels einer Kombination von "Liquid-Secondary-Ion"-Massenspektrometrie und Edman-Abbau und Beiträge zur Isolierung und Charakterisierung von Polypeptiden aus Humansperma
Über den Wert der Fluoreszenzangiographie als Hilfe bei der Diagnostik intraocularer Tumoren
Das hereditäre und induzierte Fettsuchtsyndrom der Mäuse und seine Korrelation zu Adipositas und Mast
Wirkungen von Antiandrogenen und Antiöstrogenen auf die Aktivitäten zweier gonadal regulierter Enzymaktivitäten des Testosteron- und Progesteron-Stoffwechsels in der Rattenhypophyse
Der Einfluss von hormonalen Kontrazeptiva, Rauchen und Gravidität auf die Blutgerinnung und Thrombozytenaggregation
Arterielle Insulinspiegel in der frühen Phase nach intravenöser Glucoseapplikation beim stoffwechselgesunden Menschen
Nichtlineare Differntialgleichungssysteme als mathematische Modelle neurophysiologischer Vorgänge
Resonanz-Ionisations-Spektroskopie von Xenon