Erscheinungsjahr
Fach
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Theorie
Suche ohne Synonyme: keywords:("Theorie")
Verwendete Synonyme:
- theories
- theory
-
Are Artworks More Like People Than Artifacts? Individual Concepts and Their Extensions
Wiley | 2014|Schlagwörter: Lay theories -
On Modelling User Observations in the UTP
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Voting Choice Computer Simulation Model
Wiley | 2016|Schlagwörter: mass communication theories, voting behaviour theories -
Hybridizing machine learning with metaheuristics for preventing convergence failures in mechanical models based on compression field theories
Elsevier | 2022|Schlagwörter: Compression field theories -
Towards a Pomset Semantics for a Shared-Variable Parallel Language
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Propagation based local search for bit-precise reasoning
Freier ZugriffOnline Contents | 2017|Schlagwörter: Satisfiability modulo theories -
On solving quantified bit-vector constraints using invertibility conditions
Online Contents | 2021|Schlagwörter: Satisfiability modulo theories -
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
Online Contents | 2007|Schlagwörter: Rewrite theories -
Is an online mindset intervention effective in vocational education?
Taylor & Francis Verlag | 2020|Schlagwörter: incremental theories of intelligence -
Probabilistic Choice, Reversibility, Loops, and Miracles
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Programmable Verifiers in Imperative Programming
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
UTP and Sustainability (Invited Talk)
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Unifying Theories in Isabelle/HOL
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Unifying Theories of Confidentiality
British Library Conference Proceedings | 2010|Schlagwörter: Unifying theories -
Solving quantified linear arithmetic by counterexample-guided instantiation
Online Contents | 2017|Schlagwörter: Satisfiability modulo theories -
Experimental analysis and theoretical studies by density functional theory of aminopropyl-modified ordered mesoporous carbon
Elsevier | 2015|Schlagwörter: Density functional theories -
Quantifying Cellular Pluripotency and Pathway Robustness Through Forman-Ricci Curvature
TIBKAT | 2022|Schlagwörter: Nichtlineare Theorie
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.