Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
Comparing Distributional and Mirror Translation Similarities for Extracting Synonyms
British Library Online Contents | 2011| -
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs
British Library Online Contents | 2010|Beteiligte: Muller, P. -
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups
British Library Online Contents | 2010| -
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
British Library Online Contents | 2010| -
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report
British Library Online Contents | 2012|Beteiligte: Muller, P. -
Collaborative Verification and Testing with Explicit Assumptions
British Library Online Contents | 2012| -
Abstract Read Permissions: Fractional Permissions without the Fractions
British Library Online Contents | 2013| -
Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)
British Library Online Contents | 2013| -
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
British Library Online Contents | 2013| -
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution)
British Library Online Contents | 2012| -
Structure, photophysics, and photooxidation of crowded diethynyltetracenes
British Library Online Contents | 2012| -
Big Metamodels Are Evil: Package Unmerge - A Technique for Downsizing Metamodels
British Library Online Contents | 2013| -
Diagnostisches Vorgehen bei Patienten mit Glykogenose Typ II (Morbus Pompe)
British Library Online Contents | 2001|
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.