|
|
|
|
| LEADER |
02220nam a22005657a 4500 |
| 001 |
MUB01000152528 |
| 003 |
CZ BrMU |
| 005 |
20211006000601.0 |
| 008 |
031002s2003 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 020 |
|
|
|a 3-540-40828-2
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004
|% FI
|
| 080 |
|
|
|a 082.2
|% FI
|
| 111 |
2 |
|
|a International Symposium of Formal Methods Europe
|n (12. :
|d 2003 :
|c Pisa, Itálie)
|4 aut
|
| 245 |
1 |
0 |
|a FME 2003 :
|b Formal methods : International Symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings /
|c edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2003
|
| 300 |
|
|
|a xvii, 942 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 2805
|
| 700 |
1 |
|
|a Araki, Keijiro,
|d 1954-
|7 xx0014759
|4 edt
|
| 700 |
1 |
|
|a Gnesi, Stefania,
|d 1954-
|7 xx0013781
|4 edt
|
| 700 |
1 |
|
|a Mandrioli, Dino,
|d 1949-
|7 xx0013838
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 2805
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1748
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1222
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2122
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2114
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0633
|
| 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 0746
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2154
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1430
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2113
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0129
|
| CAT |
|
|
|a KOZOVAX
|b 02
|c 20110526
|l MUB01
|h 1243
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1706
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 1947
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0458
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1229
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161115
|l MUB01
|h 0735
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20201017
|l MUB01
|h 2037
|
| CAT |
|
|
|a HANAV
|b 02
|c 20211006
|l MUB01
|h 0006
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K316.03
|5 4200509098
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|d K316.03
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 1
|
