Erscheinungsjahr
Medientyp
Datenquelle
Fach
TIB-Lesesaalbestand
1–19 von 19 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| -
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
British Library Conference Proceedings | 2018| -
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Freier ZugriffArXiv | 2018| -
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Springer Verlag | 2018| -
Complete DNA sequence of the ecdysterone-controlled gene 1-18C of Chironomus tentans
Freier ZugriffOxford University Press | 1986|
- ««
- «
- 1
- »»
Treffer pro Seite