Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- architecture systeme 1 Treffer
- arquitectura sistema 1 Treffer
- automata estado finito 1 Treffer
- automata. abstract machines. turing machines 1 Treffer
- automate fini 1 Treffer
-
43 weitere Werte:
- automates. machines abstraites. machines de turing 1 Treffer
- automatic proving 1 Treffer
- automatique, recherche operationnelle 1 Treffer
- availability 1 Treffer
- circuit combinatoire 1 Treffer
- circuit integre 1 Treffer
- circuito combinatorio 1 Treffer
- circuito integrado 1 Treffer
- combinatory circuit 1 Treffer
- computer design 1 Treffer
- computer hardware 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer systems 1 Treffer
- concepcion circuito 1 Treffer
- concepcion ordenador 1 Treffer
- conception ordinateur 1 Treffer
- control theory, operational research 1 Treffer
- demonstration automatique 1 Treffer
- demostracion automatica 1 Treffer
- diseno circuito 1 Treffer
- disponibilidad 1 Treffer
- disponibilite 1 Treffer
- equivalence theorem 1 Treffer
- especificacion formal 1 Treffer
- finite automaton 1 Treffer
- formal specification 1 Treffer
- hardware 1 Treffer
- informatique theorique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- integrated circuit 1 Treffer
- material (informatica) 1 Treffer
- materiel informatique 1 Treffer
- materiel(informatique) 1 Treffer
- model checking 1 Treffer
- specification formelle 1 Treffer
- system architecture 1 Treffer
- systemes informatiques 1 Treffer
- teorema equivalencia 1 Treffer
- theoreme equivalence 1 Treffer
- theoretical computing 1 Treffer
- verificacion 1 Treffer
- verification 1 Treffer
- verification modele 1 Treffer
Publikation
Sprache
2 Treffer
-
In: SOFSEM 2001 : theory and practice of informatics (Piest'any, 24 November - 1 December 2001), 2001, S. 116-135KonferenzZugriff:
-
In: FMCAD'98 : formal methods in computer-aided design (Palo Alto CA, 4-6 November 1998), 1998, S. 387-402KonferenzZugriff: