Erscheinungsjahr
Medientyp
Format
Lizenz
Sprache
-
Case studies on automated verification with slope boundaries for block diagrams
British Library Online Contents | 2018| -
Using the local context for the definition and implementation of visual languages
British Library Online Contents | 2018| -
A scalable model based approach for data model evolution: Application to space missions data models
British Library Online Contents | 2018| -
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies
British Library Online Contents | 2018| -
FP-ABC: Fuzzy-Pareto dominance driven artificial bee colony algorithm for many-objective software module clustering
British Library Online Contents | 2018| -
Μ-DSU: A Micro-Language Based Approach to Dynamic Software Updating
British Library Online Contents | 2018| -
Design and implementation of DeepDSL: A DSL for deep learning
British Library Online Contents | 2018| -
FLANDM: a development framework of domain-specific languages for data mining democratisation
British Library Online Contents | 2018| -
On transparent value-sensitive run-time monitoring for information flow policies
British Library Online Contents | 2018| -
Achieving model quality through model validation, verification and exploration
British Library Online Contents | 2018| -
A change-aware per-file analysis to compile configurable systems with #ifdefs
British Library Online Contents | 2018| -
Coding Ants: Optimization of GPU code using ant colony optimization
British Library Online Contents | 2018| -
Concern-oriented language development (COLD): Fostering reuse in language engineering
British Library Online Contents | 2018| -
A two-phase software reliability modeling involving with software fault dependency and imperfect fault removal
British Library Online Contents | 2018| -
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements
British Library Online Contents | 2018| -
Personalized recommender systems for product-line configuration processes
British Library Online Contents | 2018| -
Supercombinator set acquired from context-free grammar samples
British Library Online Contents | 2018| -
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod
British Library Online Contents | 2018|
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.