Erscheinungsjahr
Medientyp
Datenquelle
Fach
TIB-Lesesaalbestand
1–18 von 18 Ergebnissen
Sortieren:
Sortieren:
-
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
Springer Verlag | 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|
- ««
- «
- 1
- »»
Treffer pro Seite