Erscheinungsjahr
Medientyp
Datenquelle
Fach
- ‹ Alle Fächer
- Informatik (119)
- Physik (29)
- Technik (25)
- Elektrotechnik (23)
- Mathematik (21)
- Wirtschaftswissenschaften (17)
- Maschinenbau, Energietechnik (9)
- Chemie (5)
- Medizintechnik (4)
- Biowissenschaften, Biologie (3)
- Verkehrstechnik, Verkehrswesen (3)
- Literaturwissenschaften (2)
- Architektur (1)
- Bautechnik (1)
- Sprachwissenschaften (1)
Synonyme wurden verwendet für: Stufe
Suche ohne Synonyme: keywords:(Stufe)
Verwendete Synonyme:
- treppenstufe
-
A second order cone programming approach for semi-supervised learning
Tema Archiv | 2013|Schlagwörter: Erste Stufe, zweite 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 -
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 -
Satisfiability and model checking in team based logics
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014|Schlagwörter: Stufe 2 -
Vorausschauende Steuerung von aktiven Prothesenfüßen
Tema Archiv | 2010|Schlagwörter: Treppenstufe -
A methodology for the characterization of flow conductivity through the identification of communities in samples of fractured rocks
Tema Archiv | 2014|Schlagwörter: Erste Stufe -
Complexity of Constraint Satisfaction Problems for Unions of Theories
Freier ZugriffTIBKAT | 2021|Schlagwörter: Stufe 1 -
Complexity of constraint satisfaction problems for unions of theories
TIBKAT | 2021|Schlagwörter: Stufe 1 -
A Resolution-Based Calculus For Temporal Logics
Freier ZugriffBASE | 2004|Schlagwörter: Prädikatenlogik / Stufe 1 -
An effective approach to multi-item capacitated dynamic lot-sizing problems
Tema Archiv | 2012|Schlagwörter: zweite Stufe -
A Resolution-Based Calculus For Temporal Logics
DataCite | 1995|Schlagwörter: Temporale Logik ; Prädikatenlogik / Stufe 1 -
Preferred direction of build for rapid prototyping processes
Tema Archiv | 1994|Schlagwörter: Treppenstufe -
First-order calculi and proof procedures for automated deduction
TIBKAT | 1993|Schlagwörter: Stufe 1
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.