Erscheinungsjahr
Format
Lizenz
Sprache
-
What we Teach Software Engineers in the University: Do we take engineering seriously?
Online Contents | 1997| -
Towards Consistent Specifications of Product Families
Springer Verlag | 2008|Beteiligte: Maibaum, Tom -
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge
British Library Conference Proceedings | 2016| -
Toward Product Lines of Mathematical Models for Software Model Management
British Library Conference Proceedings | 2018| -
The Semantics of Cardinality-Based Feature Models via Formal Languages
British Library Conference Proceedings | 2015| -
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
Freier ZugriffSpringer Verlag | 2004| -
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
Springer Verlag | 2012|
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.