Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- analisis automatico 1 Treffer
- analisis programa 1 Treffer
- analyse automatique 1 Treffer
- analyse programme 1 Treffer
- architecture basee modele 1 Treffer
-
45 weitere Werte:
- architecture logiciel 1 Treffer
- arquitectura basada modelo 1 Treffer
- automatic analysis 1 Treffer
- boarded computer 1 Treffer
- calculador embarque 1 Treffer
- calculateur embarque 1 Treffer
- calidad vida 1 Treffer
- captador medida 1 Treffer
- capteur mesure 1 Treffer
- cleaning 1 Treffer
- deploiement 1 Treffer
- desarrollo logicial 1 Treffer
- despliegue 1 Treffer
- developpement logiciel 1 Treffer
- estructura producto 1 Treffer
- formal verification 1 Treffer
- incertidumbre 1 Treffer
- incertitude 1 Treffer
- ingenierie systeme 1 Treffer
- langage synchrone 1 Treffer
- legacy software 1 Treffer
- lenguaje sincronico 1 Treffer
- limpieza 1 Treffer
- logicial herencia 1 Treffer
- logiciel patrimonial 1 Treffer
- marche 1 Treffer
- markets 1 Treffer
- mathematics 1 Treffer
- mathematiques 1 Treffer
- measurement sensor 1 Treffer
- mercado 1 Treffer
- model driven architecture 1 Treffer
- modeling 1 Treffer
- modelisation 1 Treffer
- modelizacion 1 Treffer
- nettoyage 1 Treffer
- paquete programa 1 Treffer
- product structure 1 Treffer
- progiciel 1 Treffer
- program analysis 1 Treffer
- program verification 1 Treffer
- qualite vie 1 Treffer
- quality of life 1 Treffer
- reconnaissance parole 1 Treffer
- reconocimiento voz 1 Treffer
Publikation
- lecture notes in computer science 2 Treffer
- automated technology for verification and analysis (third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings) 1 Treffer
- software product lines (9th international conference, splc 2005, rennes, france, september 26-29, 2005, proceedings) 1 Treffer
Sprache
2 Treffer
-
In: Automated technology for verification and analysis (Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, S. 429-443KonferenzZugriff:
-
In: Software product lines (9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005, S. 45-56KonferenzZugriff: