Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
Explanation of the Model Checker Verification Results
Freier ZugriffTIBKAT | 2023|Beteiligte: Vogel, Thomas -
CS&P 2021: Concurrency, Specification and Programming 2021 : proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021) : Berlin, Germany, September 27-28, 2021
Freier ZugriffTIBKAT | 2021|Beteiligte: Vogel, Thomas -
Abschlussbericht des Verbundvorhabens Safe.Spec - Qualitätssicherung von Verhaltensanforderungen : Projekt im Rahmen des BMBF KMU-Innovationsoffensive IKT "Softwaresysteme und Wissenstechnologien" : Laufzeit des Vorhabens: 01. Februar 2017-31. Januar 2019, Berichtszeitraum: 01. Februar 2017-31. Januar 2019
Freier ZugriffTIBKAT | 2019| -
Grundlagen zur Überprüfung und Bemessung von Steinschlagschutzgalerien : Forschungsprojekt AGB 2011/014 auf Antrag der Arbeitsgruppe Brückenforschung (AGB)
Freier ZugriffTIBKAT | 2019|Beteiligte: Vogel, Thomas -
Fatigue performance of orthogonally reinforced concrete slabs
TIBKAT | 2018|Beteiligte: Vogel, Thomas -
Der Erste Weltkrieg 1914 - 1918 : der deutsche Aufmarsch in ein kriegerisches Jahrhundert
TIBKAT | 2014|Beteiligte: Vogel, Thomas
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.