Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
IoEduc - Bring Your Own Device to the Classroom
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Kernelizing the Hitting Set Problem in Linear Sequential and Constant Parallel Time
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Dynamic String Alignment
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Building Trust for Continuous Variable Quantum States
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Migratory Typing: Ten Years Later
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Avoiding Pitfalls when Using NVIDIA GPUs for Real-Time Tasks in Autonomous Systems
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Complete Bidirectional Typing for the Calculus of Inductive Constructions
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Supplementarity is Necessary for Quantum Diagram Reasoning
Freier ZugriffDataCite | 2016|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Formal Specification and Verification of Solidity Contracts with Events (Short Paper)
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Flow-Sensitive Type-Based Heap Cloning
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Incompressibility of H-Free Edge Modification Problems: Towards a Dichotomy
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Approximation in (Poly-) Logarithmic Space
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Massively Parallel Approximate Distance Sketches
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Distributional Property Testing in a Quantum World
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Multistage s-t Path: Confronting Similarity with Dissimilarity in Temporal Graphs
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Residual Nominal Automata
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The Complexity of Bounded Context Switching with Dynamic Thread Creation
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Book Embeddings of Nonplanar Graphs with Small Faces in Few Pages
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Descriptive Complexity on Non-Polish Spaces
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
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.