Erscheinungsjahr
Medientyp
Format
Lizenz
Sprache
-
Stochastic invariants for probabilistic termination ; ACM SIGPLAN Notices
Freier ZugriffBASE | 2017| -
SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery
TIBKAT | 1.1966-volume 53, number 9 (September 2018) ; damit Erscheinen eingestellt| -
Exploring Feature Interactions without Specifications: A Controlled Experiment
British Library Online Contents | 2018| -
Regenerate: A Language Generator for Extended Regular Expressions
British Library Online Contents | 2018| -
Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach (Short WIP Paper)
British Library Online Contents | 2018| -
SuperNeurons: Dynamic GPU Memory Management for Training Deep Neural Networks
British Library Online Contents | 2018| -
Reducing the Burden of Parallel Loop Schedulers for Many-Core Processors
British Library Online Contents | 2018| -
Model-Based Security Analysis of Feature-Oriented Software Product Lines
British Library Online Contents | 2018| -
Measuring Effectiveness of Sample-Based Product-Line Testing
British Library Online Contents | 2018|
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.