Erscheinungsjahr
Medientyp
Format
Lizenz
Sprache
-
Proof rules for the programming language Euclid
Springer Verlag | 2005|Schlagwörter: Abstraction Function -
\bf DCAS-Based Concurrent Deques
NationallizenzSpringer Verlag | 2002|Schlagwörter: Abstraction Function -
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions
Springer Verlag | 2007|Schlagwörter: Abstraction Function -
Combining Shape Analyses by Intersecting Abstractions
Springer Verlag | 2005|Schlagwörter: Abstraction Function -
Specification and Validation of Behavioural Protocols in the rCOS Modeler
Springer Verlag | 2010|Schlagwörter: Abstraction Function -
Combining Model Learning and Model Checking to Analyze TCP Implementations
Springer Verlag | 2016|Schlagwörter: Abstraction Function -
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
Springer Verlag | 2013|Schlagwörter: Abstraction Function -
RNA Secondary Structure Analysis Using Abstract Shapes
Wiley | 2014|Schlagwörter: shape abstraction function -
Discovering High-Level Performance Models for Ticket Resolution Processes
(Short Paper)Springer Verlag | 2013|Schlagwörter: Abstraction Function -
Towards Complete Reasoning about Axiomatic Specifications
Springer Verlag | 2011|Schlagwörter: Abstraction Function -
Subtyping for Distributed Object Stores
Freier ZugriffSpringer Verlag | 1997|Schlagwörter: Abstraction Function -
Using Disjoint Reachability for Parallelization
Freier ZugriffSpringer Verlag | 2011|Schlagwörter: Abstraction Function
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.