Erscheinungsjahr
Medientyp
Datenquelle
Fach
Format
Lizenz
-
Types, abstraction and parametric polymorphism in higher-order logic
TIBKAT | 2016|Schlagwörter: Stufe n -
A second order cone programming approach for semi-supervised learning
Tema Archiv | 2013|Schlagwörter: Erste Stufe, zweite Stufe -
Stability Analysis Model of a Quadruped Walking Machine at Walking up a Step
Tema Archiv | 2013|Schlagwörter: Stufe -
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
TIBKAT | 2018|Schlagwörter: Stufe n -
Complexity and expressivity of dependence logic extensions
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014|Schlagwörter: Stufe 1 -
Edge preserving adaptive anisotropic diffusion filter approach for the suppression of impulse noise in images
Tema Archiv | 2014|Schlagwörter: Erste Stufe, zweite Stufe -
A study on siro, solo, compact, and conventional ring-spun yarns. Part III: modeling fiber migration using modular adaptive neuro-fuzzy inference system
Tema Archiv | 2013|Schlagwörter: Erste Stufe, zweite Stufe -
Comparison between gas puffing and supersonic molecular beam injection in plasma density feedback experiments in EAST
Tema Archiv | 2013|Schlagwörter: Erste Stufe -
A two-stage autocorrelation method for frequency estimation of sinusoidal signal
Tema Archiv | 2014|Schlagwörter: Erste Stufe -
Langtang Himal : Flora und Vegetation als Klimazeiger und -zeugen im Himalaya ; a prodromus of the vegetation ecology of the Himalayas
TIBKAT | 1990|Schlagwörter: Alpine Stufe, Subalpine Stufe -
Satisfiability and model checking in team based logics
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014|Schlagwörter: Stufe 2
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.