- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2024
- Keyword
-
Funktionale Programmierung
Funktionale Programmiersprache
Programmanalyse
Model Checking
Statische Analyse
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2025
- Creator
-
Graf, Sebastian
- Contributor
-
Snelting, Gregor
Brachthäuser, Jonathan I.
- DOI
-
10.5445/IR/1000177868
- URN
-
urn:nbn:de:101:1-2501150358313.418756503815
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Graf, Sebastian
- Snelting, Gregor
- Brachthäuser, Jonathan I.
- KIT-Bibliothek
Time of origin
- 2025
Other Objects (12)
Geometrische Interpretation neuronaler Netze
Interpretation von Dopplerproben-Messungen in schnellen kritischen Nullenergieanlagen
Auswertung und Interpretation von bodengebundenen Absorptionsmessungen im infraroten Spektralbereich mit MIPAS-LM
Das flugzeuggetragene Fernerkundungsexperiment MIPAS-FT: Auswertung und Interpretation der arktischen Meßkampagnen 1991/92 und 1992/93
Calculation of NMR Parameters in a Modern Relativistic Density Functional Framework: Theory, Implementation, and Application
Kontextsensitive Erkennung und Interpretation fahrrelevanter statischer Verkehrselemente
Modellbasierter Ansatz zur probabilistischen Interpretation von Fahrsituationen
Holistic Temporal Situation Interpretation for Traffic Participant Prediction
Photochemical Design of Polymer Functional Nanodiamonds
Functional Nanocoatings Inspired by Natural Polyphenols
Functional Microstructures via Direct Laser Writing
Vollautomatische Segmentierung und Interpretation des arteriellen Blutgefäßbaums in CTA-Daten
Geometrische Interpretation neuronaler Netze
Interpretation von Dopplerproben-Messungen in schnellen kritischen Nullenergieanlagen
Auswertung und Interpretation von bodengebundenen Absorptionsmessungen im infraroten Spektralbereich mit MIPAS-LM
Das flugzeuggetragene Fernerkundungsexperiment MIPAS-FT: Auswertung und Interpretation der arktischen Meßkampagnen 1991/92 und 1992/93
Calculation of NMR Parameters in a Modern Relativistic Density Functional Framework: Theory, Implementation, and Application
Kontextsensitive Erkennung und Interpretation fahrrelevanter statischer Verkehrselemente
Modellbasierter Ansatz zur probabilistischen Interpretation von Fahrsituationen
Holistic Temporal Situation Interpretation for Traffic Participant Prediction
Photochemical Design of Polymer Functional Nanodiamonds
Functional Nanocoatings Inspired by Natural Polyphenols
Functional Microstructures via Direct Laser Writing
Vollautomatische Segmentierung und Interpretation des arteriellen Blutgefäßbaums in CTA-Daten
Geometrische Interpretation neuronaler Netze
Interpretation von Dopplerproben-Messungen in schnellen kritischen Nullenergieanlagen
Auswertung und Interpretation von bodengebundenen Absorptionsmessungen im infraroten Spektralbereich mit MIPAS-LM
Das flugzeuggetragene Fernerkundungsexperiment MIPAS-FT: Auswertung und Interpretation der arktischen Meßkampagnen 1991/92 und 1992/93
Calculation of NMR Parameters in a Modern Relativistic Density Functional Framework: Theory, Implementation, and Application
Kontextsensitive Erkennung und Interpretation fahrrelevanter statischer Verkehrselemente
Modellbasierter Ansatz zur probabilistischen Interpretation von Fahrsituationen
Holistic Temporal Situation Interpretation for Traffic Participant Prediction
Photochemical Design of Polymer Functional Nanodiamonds
Functional Nanocoatings Inspired by Natural Polyphenols
Functional Microstructures via Direct Laser Writing