Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automata 2 Treffer
- automate 2 Treffer
- automaton 2 Treffer
- logiciel 2 Treffer
- software 2 Treffer
-
38 weitere Werte:
- algebra proceso 1 Treffer
- algebre processus 1 Treffer
- analyse atteignabilite 1 Treffer
- automata. abstract machines. turing machines 1 Treffer
- automate temporise 1 Treffer
- automates. machines abstraites. machines de turing 1 Treffer
- computer systems performance. reliability 1 Treffer
- concurrency 1 Treffer
- espace etat 1 Treffer
- espacio estado 1 Treffer
- evaluacion prestacion 1 Treffer
- evaluation performance 1 Treffer
- genie logiciel 1 Treffer
- infinite system 1 Treffer
- informatique theorique 1 Treffer
- mise a jour 1 Treffer
- model checking 1 Treffer
- paralelismo 1 Treffer
- parallelism 1 Treffer
- parallelisme 1 Treffer
- performance evaluation 1 Treffer
- performances des systemes informatiques. fiabilite 1 Treffer
- polynomial time 1 Treffer
- process algebra 1 Treffer
- puesta al dia 1 Treffer
- reachability analysis 1 Treffer
- simultaneidad informatica 1 Treffer
- simultaneite informatique 1 Treffer
- sistema infinito 1 Treffer
- software engineering 1 Treffer
- state space 1 Treffer
- systeme infini 1 Treffer
- temps polynomial 1 Treffer
- theoretical computing 1 Treffer
- tiempo polinomial 1 Treffer
- timed automata 1 Treffer
- updating 1 Treffer
- verification modele 1 Treffer
Sprache
3 Treffer
-
In: MOVEP '2k : modélisation et vérification des processus parallèles (Nantes, 19-23 juin 2000), 2000, S. 184-188KonferenzZugriff:
-
In: MOVEP '2k : modélisation et vérification des processus parallèles (Nantes, 19-23 juin 2000), 2000, S. 156-160KonferenzZugriff:
-
In: MOVEP '2k : modélisation et vérification des processus parallèles (Nantes, 19-23 juin 2000), 2000, S. 224-227KonferenzZugriff: