|
|
|
|
| LEADER |
01633cam a22004217a 4500 |
| 001 |
MUB01000463494 |
| 003 |
CZ BrMU |
| 005 |
20120323145722.0 |
| 008 |
060713s2005 xxu||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2012-04-10
|
| 020 |
|
|
|a 1-85233-895-4
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 080 |
|
|
|a 004
|2 MRF
|
| 100 |
1 |
|
|a Bowman, Howard
|4 aut
|
| 245 |
1 |
0 |
|a Concurrency theory :
|b calculi an automata for modelling untimed and timed concurrent systems /
|c Howard Bowman, Rodolfo Gomez.
|
| 260 |
|
|
|a New York, NY :
|b Springer,
|c 2005.
|
| 300 |
|
|
|a xxiv, 435 s.
|
| 700 |
1 |
|
|a Gomez, Rodolfo
|4 aut
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20060713
|l MUB01
|h 1101
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20060814
|l MUB01
|h 1003
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2157
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080213
|l MUB01
|h 0600
|
| CAT |
|
|
|a HANAV
|b 02
|c 20080407
|l MUB01
|h 2218
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1812
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1826
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0126
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1806
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 1103
|
| CAT |
|
|
|a HANAV
|b 02
|c 20120323
|l MUB01
|h 1457
|
| CAT |
|
|
|c 20120410
|l MUB01
|h 1612
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0746
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0113
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 1119
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2012-04-10
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 R522
|5 4200512160
|8 20060713
|f 74
|f Měsíční
|g 2006-91
|r 20060814
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 R522
|5 4200512161
|8 20060713
|f 77
|f Dlouhodobá
|g 2006-91
|r 20060814
|
| AVA |
|
|
|a INF50
|b FI
|d R522
|e available
|t K dispozici
|f 2
|g 1
|h N
|i 0
|k 0
|
