Erscheinungsjahr
Medientyp
Format
Lizenz
Sprache
-
Generic Combination of Heap and Value Analyses in Abstract Interpretation
British Library Online Contents | 2014| -
Generic Combination of Heap and Value Analyses in Abstract Interpretation
British Library Conference Proceedings | 2014| -
Static Type Analysis of Pattern Matching by Abstract Interpretation
British Library Online Contents | 2010| -
Static Type Analysis of Pattern Matching by Abstract Interpretation
British Library Conference Proceedings | 2010| -
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
British Library Conference Proceedings | 2008| -
Naval Ship-to-Shore High Temperature Superconducting Power Transmission Cable Feasibility
Online Contents | 2011| -
Robotik in Industrie und Forschung – ein Überblick über die Robotiklandschaft in Österreich
British Library Online Contents | 2015| -
Deep Learning Methods for Space Situational Awareness in Mega-Constellations Satellite-Based Internet of Things Networks
Freier ZugriffBASE | 2023|Beteiligte: Ferrara, P. -
Static analysis for discovering IoT vulnerabilities
Freier ZugriffBASE | 2021|Beteiligte: Ferrara, P. -
A suite of abstract domains for static analysis of string values
British Library Online Contents | 2015| -
Automatic Inference of Heap Properties Exploiting Value Domains
British Library Conference Proceedings | 2015|
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.