Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- modal logic 4 Treffer
- temporal logic 4 Treffer
- transition system 4 Treffer
- compositional verification 3 Treffer
- concurrent program 3 Treffer
-
42 weitere Werte:
- model checking 3 Treffer
- bisimulation equivalence 2 Treffer
- computer science 2 Treffer
- query language 2 Treffer
- applied sciences 1 Treffer
- computation 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science; control theory; systems 1 Treffer
- control program 1 Treffer
- divergence (statistics) 1 Treffer
- estado transitorio 1 Treffer
- etat transition 1 Treffer
- exact sciences and technology 1 Treffer
- hardware and architecture 1 Treffer
- high-level verification 1 Treffer
- information systems 1 Treffer
- informatique 1 Treffer
- informatique theorique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- langage interrogation 1 Treffer
- lenguaje interrogacion 1 Treffer
- logica modal 1 Treffer
- logica temporal 1 Treffer
- logique modale 1 Treffer
- logique temporelle 1 Treffer
- proceso 1 Treffer
- process 1 Treffer
- processus 1 Treffer
- programa competidor 1 Treffer
- programa mando 1 Treffer
- programme commande 1 Treffer
- programme concurrent 1 Treffer
- programming theory 1 Treffer
- sciences appliquees 1 Treffer
- sciences exactes et technologie 1 Treffer
- sistema 1 Treffer
- system 1 Treffer
- systeme 1 Treffer
- theoretical computer science 1 Treffer
- theoretical computing 1 Treffer
- theorie programmation 1 Treffer
- transition state 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Systems and computers in Japan, Jg. 25 (1994), Heft 1, S. 1-16Online academicJournalZugriff:
-
In: Systems and Computers in Japan, Jg. 25 (1994), S. 1-16Online unknownZugriff: