Simulations and antichains for efficient handling of finite automata : monograph
Saved in:
Main Authors | , |
---|---|
Format | Book |
Language | English |
Published |
Brno :
Faculty of Information Technology, Brno University of Technology,
2010
|
Edition | Vyd. 1. |
Subjects |
Cover
Loading…
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | 59762 | ||
003 | CZ ZlUTB | ||
005 | 20190826003029.0 | ||
007 | ta | ||
008 | 110404s2010 xr a f 000 0 eng | ||
015 | |a cnb002160206 | ||
020 | |a 9788021442177 |q (brož.) | ||
040 | |a BOA001 |b cze |d ABA001 |d ZLD002 | ||
072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
080 | |a 519.713 |2 MRF | ||
080 | |a 004.94 |2 MRF | ||
080 | |a (048.8) |2 MRF | ||
100 | 1 | |a Holík, Lukáš |7 mzk2011632536 |4 aut | |
245 | 1 | 0 | |a Simulations and antichains for efficient handling of finite automata : |b monograph / |c Lukáš Holík, Tomáš Vojnar |
250 | |a Vyd. 1. | ||
260 | |a Brno : |b Faculty of Information Technology, Brno University of Technology, |c 2010 | ||
300 | |a ix, 135 s. : |b il. (některé barev.) ; |c 26 cm | ||
504 | |a Obsahuje bibliografii | ||
650 | 0 | 7 | |a počítačová simulace |7 ph124508 |2 czenas |
650 | 0 | 7 | |a konečný automat |7 ph210246 |2 czenas |
650 | 0 | 9 | |a computer simulation |2 eczenas |
650 | 0 | 9 | |a finite automaton |2 eczenas |
655 | 7 | |a monografie |7 fd132842 |2 czenas | |
655 | 9 | |a monographs |2 eczenas | |
700 | 1 | |a Vojnar, Tomáš, |d 1973- |7 mzk2008433892 |4 aut | |
910 | |a ZLD002 | ||
928 | 1 | |a Vysoké učení technické v Brně | |
928 | 9 | |a Fakulta informačních technologií, Vysoké učení technické v Brně | |
928 | 9 | |a Vysoké učení technické v Brně, Fakulta informačních technologií | |
992 | |a BK |b SK | ||
993 | |a 201105 |b 23 | ||
901 | |f 1. vyd. |o 20110330 | ||
998 | |a 002160206 | ||
999 | |c 59762 |d 59762 | ||
952 | |0 0 |1 0 |4 0 |6 004HOLÍKL |7 0 |8 BOOK |9 109264 |a UTBZL |b UTBZL |c 005 |d 2011-05-09 |o 004/HOLÍK,L. |p 420010137725 |r 2019-08-26 |v 199.00 |w 2019-08-26 |x N: dar; |y 01 |