Erscheinungsjahr
Medientyp
Datenquelle
Sprache
Synonyme wurden verwendet für: Modell
Suche ohne Synonyme: keywords:(abstraktes Modell)
Verwendete Synonyme:
- model
- models
- models and modelmaking
-
REFINER: Towards Formal Verification of Model Transformations
Tema Archiv | 2014|Schlagwörter: formales Modell, abstraktes Modell -
Structure and selection in an autocatalytic binary polymer model
Tema Archiv | 2014|Schlagwörter: abstraktes Modell -
Formal model-driven engineering of critical information systems
Tema Archiv | 2015|Schlagwörter: formales Modell, abstraktes Modell -
Ueber abstrakte Modelle technischer Systeme und deren Strukturen
Tema Archiv | 1977|Schlagwörter: MATHEMATISCHES MODELL, ABSTRAKTES MODELL -
Table-top scene analysis using knowledge-supervised MCMC
Tema Archiv | 2015|Schlagwörter: abstraktes Modell -
Process model management using description logics
Tema Archiv | 2012|Schlagwörter: abstraktes Modell -
Detecting kernel-level rootkits through binary analysis
Tema Archiv | 2004|Schlagwörter: abstraktes Modell -
A View Oriented Approach to Modeling Web Navigation
Tema Archiv | 2013|Schlagwörter: abstraktes Modell -
Automatic Property Generation for the Formal Verification of Bus Bridges
Tema Archiv | 2011|Schlagwörter: abstraktes Modell -
An abstract channel specification and an algorithm implementing it using Java sockets
Tema Archiv | 2008|Schlagwörter: abstraktes Modell -
Modeling the adaptive visual system: a survey of principled approaches
Tema Archiv | 2003|Schlagwörter: biophysikalisches Modell, abstraktes Modell -
Cellular automata: from a theoretical parallel computational model to its application to complex systems
Tema Archiv | 2001|Schlagwörter: abstraktes Modell -
Abstrakte Interaktionsmodelle für die Integration in bestehende Benutzerschnittstellen
Freier ZugriffDataCite | 2016|Schlagwörter: UI-Modell, Abstraktes Interaktionsmodell -
Software model checking: extracting verification models from source code
Tema Archiv | 2001|Schlagwörter: Software-Modell, abstraktes Modell -
'Was tut man, wenn man simuliert?' Versuch einer Begriffsbestimmung
Tema Archiv | 1985|Schlagwörter: MODELL, MATHEMATISCHES MODELL, REALES MODELL, ABSTRAKTES MODELL -
The specification, design, and implementation of an abstract processor
Tema Archiv | 1986|Schlagwörter: THEORETISCHES MODELL, ABSTRAKTES BETRIEBSMITTEL -
Fully abstract models of programming languages
Tema Archiv | 1988|Schlagwörter: THEORETISCHES MODELL, MATHEMATISCHES MODELL, ABSTRAKTES MODELL -
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge
Tema Archiv | 2012|Schlagwörter: abstraktes Modell
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.