Erscheinungsjahr
Medientyp
Fach
TIB-Lesesaalbestand
Meinten Sie: +person:(morsch, lutz)
1–10 von 25 Ergebnissen
Sortieren:
Sortieren:
Ihre Suche:
person:(Dorsch, Lutz)
-
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum
Freier ZugriffDataCite | 2019| -
Erstellung einer Dokumentationsrichtlinie für Berechnungen nach der DIN V 18599 sowie Anwendung dieser Richtlinie auf Beispielprojekte - unter Berücksichtigung der Prüfbarkeit von Energieausweisen nach der EU-Gebäuderichtlinie : [Endbericht] ; [mit Mitteln der Forschungsinitiative Zukunft Bau des Bundesinstitutes für Bau- Stadt- und Raumforschung gefördert] ; [Akz.: II 3-F20-12-1-024/SWD-10.8.18.7-12.31]
TIBKAT | 2014| -
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
Freier ZugriffArXiv | 2018|