Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- desarrollo logicial 4 Treffer
- developpement logiciel 4 Treffer
- software development 4 Treffer
- concurrency 2 Treffer
- formal method 2 Treffer
-
45 weitere Werte:
- inteligencia artificial 2 Treffer
- methode formelle 2 Treffer
- metodo formal 2 Treffer
- model-based reasoning 2 Treffer
- multiagent system 2 Treffer
- raisonnement base sur modele 2 Treffer
- simultaneidad informatica 2 Treffer
- simultaneite informatique 2 Treffer
- sistema multiagente 2 Treffer
- systeme multiagent 2 Treffer
- abstraccion 1 Treffer
- abstract interpretation 1 Treffer
- abstraction 1 Treffer
- acquisition connaissances 1 Treffer
- adquisicion de conocimientos 1 Treffer
- aide diagnostic 1 Treffer
- apprentissage et systemes adaptatifs 1 Treffer
- architecture logiciel 1 Treffer
- aspect dynamique 1 Treffer
- aspect oriented 1 Treffer
- aspecto dinamico 1 Treffer
- automata 1 Treffer
- automate 1 Treffer
- automatique, recherche operationnelle 1 Treffer
- automaton 1 Treffer
- ayuda diagnostica 1 Treffer
- complex system 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- computer vision 1 Treffer
- control theory, operational research 1 Treffer
- correo electronico 1 Treffer
- coste 1 Treffer
- costs 1 Treffer
- courriel 1 Treffer
- cout 1 Treffer
- debogage 1 Treffer
- debugging 1 Treffer
- debugging program 1 Treffer
- deploiement 1 Treffer
- design process 1 Treffer
- despliegue 1 Treffer
- diagnostic aid 1 Treffer
- dynamic aspect 1 Treffer
- dynamical system 1 Treffer
- ejecucion programa 1 Treffer
Publikation
- lecture notes in computer science 5 Treffer
- 0spw/prosim 2006 1 Treffer
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- foundations of intelligent systems (maebashi city, 28-31 october 2003) 1 Treffer
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
-
3 weitere Werte:
- intelligent problem solving : methodologies and approaches (new orleans la, 19-22 june 2000) 1 Treffer
- software process change (international software process workshop and international workshop on software process simulation and modeling) 1 Treffer
- transactions on aspect-oriented software development ii 1 Treffer
Sprache
6 Treffer
-
In: Foundations of intelligent systems (Maebashi City, 28-31 October 2003), 2003, S. 628-632KonferenzZugriff:
-
In: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 9-25KonferenzZugriff:
-
In: Intelligent problem solving : methodologies and approaches (New orleans LA, 19-22 June 2000), 2000, S. 174-183KonferenzZugriff:
-
In: Software process change (international software process workshop and international workshop on software process simulation and modeling), 2006, S. 72-79KonferenzZugriff:
-
In: IFM 2004 : integrated formal methods (Canterbury, 4-7 April 2004), 2004, S. 128-147KonferenzZugriff:
-
In: Transactions on aspect-oriented software development II; (2006) S. 182-226BuchZugriff: