Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- analyse flux donnee 1 Treffer
- construccion modular 1 Treffer
- construction modulaire 1 Treffer
- control vibracion 1 Treffer
- controle vibration 1 Treffer
-
45 weitere Werte:
- data flow 1 Treffer
- data flow analysis 1 Treffer
- data flow processing 1 Treffer
- data structure 1 Treffer
- enrejado 1 Treffer
- especificacion formal 1 Treffer
- estructura datos 1 Treffer
- etalon 1 Treffer
- existence of solution 1 Treffer
- existence solution 1 Treffer
- existencia de solucion 1 Treffer
- finite geometry 1 Treffer
- flot donnee 1 Treffer
- flujo datos 1 Treffer
- formal specification 1 Treffer
- formal verification 1 Treffer
- geometria finita 1 Treffer
- geometrie finie 1 Treffer
- implementacion 1 Treffer
- implementation 1 Treffer
- langage specialise 1 Treffer
- langage specification 1 Treffer
- lattice 1 Treffer
- lenguaje especializado 1 Treffer
- lenguaje especificacion 1 Treffer
- marco 1 Treffer
- modular construction 1 Treffer
- norma 1 Treffer
- norme 1 Treffer
- operational semantics 1 Treffer
- preuve programme 1 Treffer
- program proof 1 Treffer
- prueba programa 1 Treffer
- semantica operacional 1 Treffer
- semantique operationnelle 1 Treffer
- special purpose language 1 Treffer
- specification formelle 1 Treffer
- specification language 1 Treffer
- standard 1 Treffer
- standards 1 Treffer
- structure donnee 1 Treffer
- traitement flux donnee 1 Treffer
- treillis 1 Treffer
- verification formelle 1 Treffer
- vibration control 1 Treffer
2 Treffer
-
In: Programming languages and systems (Barcelona, 29 March - 2 April 2004), 2004, S. 370-384KonferenzZugriff:
-
In: Programming languages and systems (Barcelona, 29 March - 2 April 2004), 2004, S. 385-400KonferenzZugriff: