|
|
|
|
| LEADER |
02174nam a22005537a 4500 |
| 001 |
MUB01000660194 |
| 003 |
CZ BrMU |
| 005 |
20250423103014.0 |
| 008 |
101116s2010 xxu||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2019-10-21
|
| 020 |
|
|
|a 978-1-4419-5997-3
|
| 040 |
|
|
|a BOD018
|b cze
|
| 072 |
|
7 |
|a 004.4/.6
|x Programování. Software
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.43
|2 MRF
|
| 080 |
|
|
|a 004.03
|2 MRF
|
| 080 |
|
|
|a 004.4/.6
|2 MRF
|
| 100 |
1 |
|
|a Ray, Sandip
|7 ntk20251259689
|4 aut
|
| 245 |
1 |
0 |
|a Scalable techniques for formal verification /
|c Sandip Ray
|
| 260 |
|
|
|a New York ;
|a Dordrecht :
|b Springer,
|c c2010
|
| 300 |
|
|
|a xiv, 243 s.
|
| 650 |
0 |
7 |
|a počítačové systémy
|7 ph115866
|2 czenas
|
| 650 |
0 |
7 |
|a programovací jazyky
|7 ph115890
|2 czenas
|
| 650 |
0 |
9 |
|a computer systems
|2 eczenas
|
| 650 |
0 |
9 |
|a programming languages
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20101116
|l MUB01
|h 0835
|
| CAT |
|
|
|a KOZOVA
|b 02
|c 20101213
|l MUB01
|h 1116
|
| CAT |
|
|
|a KOZOVA
|b 02
|c 20101215
|l MUB01
|h 1523
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0143
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 1354
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 2016
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130304
|l MUB01
|h 1146
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0612
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20151012
|l MUB01
|h 1025
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151226
|l MUB01
|h 0134
|
| CAT |
|
|
|a VESELA
|b 02
|c 20171011
|l MUB01
|h 1355
|
| CAT |
|
|
|a VESELA
|b 02
|c 20190528
|l MUB01
|h 1149
|
| CAT |
|
|
|c 20191021
|l MUB01
|h 1109
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0950
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1939
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1201
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20250423
|l MUB01
|h 1030
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20250423
|l MUB01
|h 1030
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2019-10-21
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 L398 - skříň
|5 4200518385
|8 20170906
|f 74
|f Měsíční
|g 2017-104
|r 20171011
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 L398
|5 4200516179
|8 20101116
|f 74
|f Měsíční
|g 2010-222
|r 20101213
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d L398 - skříň
|e available
|t K dispozici
|f 2
|g 0
|h N
|i 2
|j SKLAD
|
