|
|
|
|
LEADER |
02328nam a22006137a 4500 |
001 |
MUB01000542037 |
003 |
CZ BrMU |
005 |
20211017001539.0 |
008 |
080222s2008 gw ||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2017-05-09
|
020 |
|
|
|a 978-3-540-77964-3
|z 3540779647
|
040 |
|
|
|a BOD018
|b cze
|
080 |
|
|
|a 004.3
|2 MRF
|
080 |
|
|
|a 004.4
|2 MRF
|
080 |
|
|
|a (062.534)
|2 MRF
|
111 |
2 |
|
|a International Haifa Verification Conference
|n (3. :
|d 2007 :
|c Haifa, Izrael)
|4 aut
|
245 |
1 |
0 |
|a Hardware and Software: Verification and Testing :
|b third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings /
|c edited by Karen Yorav
|
260 |
|
|
|a Berlin :
|b Springer,
|c c2008
|
300 |
|
|
|a xii, 266 s.
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v 4899
|
650 |
0 |
7 |
|a hardware
|7 ph114652
|2 czenas
|
650 |
0 |
7 |
|a software
|7 ph125823
|2 czenas
|
650 |
0 |
9 |
|a computer hardware
|2 eczenas
|
650 |
0 |
9 |
|a hardware
|2 eczenas
|
650 |
0 |
9 |
|a software
|2 eczenas
|
655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
700 |
1 |
|
|a Yorav, Karen
|4 edt
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 4899
|
CAT |
|
|
|a KREKOVA
|b 02
|c 20080222
|l MUB01
|h 0832
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0206
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1849
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2317
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0340
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0111
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0949
|
CAT |
|
|
|c 20140127
|l MUB01
|h 1842
|
CAT |
|
|
|c 20150404
|l MUB01
|h 0305
|
CAT |
|
|
|a FUKSOVAX
|b 02
|c 20150610
|l MUB01
|h 1451
|
CAT |
|
|
|c 20150703
|l MUB01
|h 1038
|
CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2321
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20161114
|l MUB01
|h 0650
|
CAT |
|
|
|c 20170509
|l MUB01
|h 0932
|
CAT |
|
|
|a FUKSOVAX
|b 02
|c 20201017
|l MUB01
|h 1259
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0930
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1919
|
CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1134
|
CAT |
|
|
|a HANAV
|b 02
|c 20211017
|l MUB01
|h 0015
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2017-05-09
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K1020.07
|5 4200513951
|8 20080222
|f 74
|f Měsíční
|r 20080222
|
AVA |
|
|
|a INF50
|b FI
|d K1020.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|