Erscheinungsjahr
Medientyp
Datenquelle
Fach
Format
Sprache
TIB-Lesesaalbestand
21–40 von 25.745 Ergebnissen
Sortieren:
Sortieren:
-
Special issue on model-driven engineering of multi-agent systems in theory and practice
Online Contents | 2017| -
Synthesizing test scenarios in UML activity diagram using a bio-inspired approach
Online Contents | 2017| -
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Online Contents | 2015| -
An Approach to Build XML-based Domain Specific Languages Solutions for Client-Side Web Applications
Online Contents | 2017| -
A DSL for modeling application-specific functionalities of business applications
Online Contents | 2015|