|
|
|
|
| LEADER |
02176ctm a22005537a 4500 |
| 001 |
MUB01000151761 |
| 003 |
CZ BrMU |
| 005 |
20120207123122.0 |
| 008 |
001222s1997 xr ||||| |||||||||||eng|d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 100 |
1 |
|
|a Kučera, Antonín,
|d 1971-
|7 mub2012683133
|% UČO 2508
|4 dis
|
| 245 |
1 |
0 |
|a Decidability issues for processes with infinitely many states
|h [rukopis] /
|c Antonín Kučera.
|
| 260 |
|
|
|a Brno,
|c 1997.
|
| 300 |
|
|
|a viii, 119 s.
|
| 502 |
|
|
|a Dizertace--Masaryk University, Faculty of Informatics.
|
| 655 |
|
7 |
|a disertace
|7 fd132024
|2 czenas
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1745
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
| CAT |
|
|
|a CONV-65DOT
|b 02
|c 20041004
|l MUB01
|h 0853
|
| CAT |
|
|
|a CONV-6XX
|b 02
|c 20041126
|l MUB01
|h 0809
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1222
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2122
|
| CAT |
|
|
|a ABRAHAMOVA
|b 02
|c 20050405
|l MUB01
|h 0940
|
| CAT |
|
|
|a ABRAHAMOVA
|b 02
|c 20050405
|l MUB01
|h 0940
|
| CAT |
|
|
|a ABRAHAMOVA
|b 02
|c 20050405
|l MUB01
|h 0941
|
| CAT |
|
|
|a ABRAHAMOVA
|b 02
|c 20050405
|l MUB01
|h 0941
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2114
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0632
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1116
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
| CAT |
|
|
|c 20090622
|l MUB01
|h 0745
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2153
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1429
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0724
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20120126
|l MUB01
|h 1249
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20120207
|l MUB01
|h 1231
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20120207
|l MUB01
|h 1232
|
| CAT |
|
|
|a batch
|b 00
|c 20120323
|l MUB01
|h 2301
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1705
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20130822
|l MUB01
|h 1144
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0457
|
| CAT |
|
|
|a HANAV
|b 02
|c 20180503
|l MUB01
|h 1852
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 Diz. práce 1997
|5 42005D0392
|8 20040328
|f 72
|f Týdenní
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|d Diz. práce 1997
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 1
|
