Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- composition 3 Treffer
- engineering 3 Treffer
- formal verification 3 Treffer
- industrial arts 3 Treffer
- mde 3 Treffer
-
32 weitere Werte:
- mof 3 Treffer
- proof assistant 3 Treffer
- technology 3 Treffer
- applied sciences 1 Treffer
- arquitectura 1 Treffer
- automatic proving 1 Treffer
- computer science 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- conception 1 Treffer
- construccion 1 Treffer
- construction 1 Treffer
- demonstration automatique 1 Treffer
- demostracion automatica 1 Treffer
- diseno 1 Treffer
- exact sciences and technology 1 Treffer
- graphical interface 1 Treffer
- informatique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- interface graphique 1 Treffer
- interfaz grafica 1 Treffer
- logiciel 1 Treffer
- man machine relation 1 Treffer
- multiprocessing 1 Treffer
- multitraitement 1 Treffer
- multitratamiento 1 Treffer
- relacion hombre maquina 1 Treffer
- relation homme machine 1 Treffer
- sciences appliquees 1 Treffer
- sciences exactes et technologie 1 Treffer
- software 1 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Formal Aspects of Computing, Jg. 28 (2016-05-01), Heft 3, S. 409-440Online academicJournalZugriff:
-
In: Formal aspects of computing, Jg. 11 (1999), Heft 3, S. 225-243Online academicJournalZugriff: