|
|
|
|
| LEADER |
02245cam a22005657a 4500 |
| 001 |
MUB01000476135 |
| 003 |
CZ BrMU |
| 005 |
20211014233130.0 |
| 008 |
061020s2005 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2012-06-18
|
| 020 |
|
|
|a 3-540-27882-6
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 080 |
|
|
|a 004.42
|2 MRF
|
| 111 |
2 |
|
|a International Symposium of Formal Methods Europe
|n (13. :
|d 2005 :
|c Newcastle upon Tyne, Anglie)
|7 xx0039029
|4 aut
|
| 245 |
1 |
0 |
|a FM 2005 : formal methods :
|b International Symposium on Formal Methods Europe : Newcastle, UK, July 18-22, 2005 : proceedings /
|c edited by John Fitzgerald ... [et al.]
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2005
|
| 300 |
|
|
|a xiv, 558 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 3582
|
| 650 |
0 |
7 |
|a programování
|7 ph115891
|2 czenas
|
| 650 |
0 |
9 |
|a programming
|2 eczenas
|
| 700 |
1 |
|
|a Fitzgerald, John,
|d 1965-
|7 xx0039027
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 3582
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20061020
|l MUB01
|h 0927
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2159
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0636
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1812
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1827
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20090306
|l MUB01
|h 0813
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0133
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1815
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2254
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0320
|
| CAT |
|
|
|a VASICEKX
|b 02
|c 20110801
|l MUB01
|h 0949
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0052
|
| CAT |
|
|
|c 20120618
|l MUB01
|h 1048
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0807
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0139
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2203
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1234
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161116
|l MUB01
|h 0659
|
| CAT |
|
|
|a HANAV
|b 02
|c 20170729
|l MUB01
|h 2241
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20201017
|l MUB01
|h 2220
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0919
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1908
|
| CAT |
|
|
|a HANAV
|b 02
|c 20211014
|l MUB01
|h 1703
|
| CAT |
|
|
|a HANAV
|b 02
|c 20211014
|l MUB01
|h 2331
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2012-06-18
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K268.05
|5 4200511025
|8 20061020
|f 74
|f Měsíční
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|d K268.05
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|
