Showing
1 - 2
results of
2
Skip to content
Catalog K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
ISBN/ISSN
Find
Advanced Search
Author
Vojnar, Tomáš, 1973-
Showing
1 - 2
results of
2
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Loading…
Simulations and antichains for efficient handling of finite automata : monograph
by
Holík, Lukáš
,
Vojnar, Tomáš, 1973
-
Year of Publication
2010
Call Number
Loading…
Book
Loading…
Save to List
Saved in:
2
Loading…
Verification of asynchronous and parametrized hardware designs : monograph
by
Smrčka, Aleš, 1980-
,
Vojnar, Tomáš, 1973
-
Year of Publication
2010
Call Number
Loading…
Book
Loading…
Save to List
Saved in:
RSS Feed
Email Search
Search History
Related Subjects
computer hardware
computer simulation
computer systems
finite automaton
hardware
konečný automat
modeling and simulation
modelování a simulace
počítačová simulace
počítačové systémy
