Simulations and antichains for efficient handling of finite automata : monograph

Saved in:
Bibliographic Details
Main Authors Holík, Lukáš (Author), Vojnar, Tomáš, 1973- (Author)
Format Book
LanguageEnglish
Published Brno : Faculty of Information Technology, Brno University of Technology, 2010
EditionVyd. 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