Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- desarrollo logicial 2 Treffer
- developpement logiciel 2 Treffer
- information use 2 Treffer
- java language 2 Treffer
- langage java 2 Treffer
-
45 weitere Werte:
- lenguaje java 2 Treffer
- model checking 2 Treffer
- software development 2 Treffer
- uso informacion 2 Treffer
- utilisation information 2 Treffer
- verificacion modelo 2 Treffer
- verification modele 2 Treffer
- abstract interpretation 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- algorithm analysis 1 Treffer
- analisis algoritmo 1 Treffer
- analisis estatica 1 Treffer
- analisis programa 1 Treffer
- analyse algorithme 1 Treffer
- analyse atteignabilite 1 Treffer
- analyse programme 1 Treffer
- analyse statique 1 Treffer
- antememoire 1 Treffer
- antememoria 1 Treffer
- automata 1 Treffer
- automate 1 Treffer
- automatic programming 1 Treffer
- automaton 1 Treffer
- busca dato 1 Treffer
- cache memory 1 Treffer
- checking program 1 Treffer
- clasificacion jerarquizada 1 Treffer
- classification hierarchique 1 Treffer
- code generation 1 Treffer
- compilador 1 Treffer
- compilateur 1 Treffer
- compiler 1 Treffer
- componente logicial 1 Treffer
- composant logiciel 1 Treffer
- concurrency 1 Treffer
- concurrent program 1 Treffer
- constraint satisfaction 1 Treffer
- data mining 1 Treffer
- deadlock 1 Treffer
- demonstration theoreme 1 Treffer
- demostracion teorema 1 Treffer
- error handling 1 Treffer
- especificacion formal 1 Treffer
- especificacion programa 1 Treffer
Publikation
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 2 Treffer
- generative programming and component engineering (4th international conference, gpce 2005, tallinn, estonia, september 29 - october 1, 2005, proceedings) 1 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 1 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 1 Treffer
Sprache
5 Treffer
-
In: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 461-476KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 130-145KonferenzZugriff:
-
In: Generative programming and component engineering (4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, S. 309-326KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 449-461KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 82-97KonferenzZugriff: