|
|
|
|
LEADER |
02316cam a22005777a 4500 |
001 |
MUB01000505777 |
003 |
CZ BrMU |
005 |
20140401154341.0 |
008 |
070611s2007 gw ||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2014-04-10
|
020 |
|
|
|a 978-3-540-72732-3
|z 3540727329
|
040 |
|
|
|a BOD018
|b cze
|d BOD114
|
080 |
|
|
|a 004
|2 MRF
|
111 |
2 |
|
|a LFCS 2007
|c (New York, New York)
|7 stk2007420968
|4 aut
|
245 |
1 |
0 |
|a Logical foundations of computer science :
|b international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
|c edited by Sergei N. Artemov, Anil Nerode
|
260 |
|
|
|a Berlin :
|b Springer,
|c c2007
|
300 |
|
|
|a xi, 511 s.
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v 4514
|
650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
650 |
0 |
9 |
|a computer science
|2 eczenas
|
700 |
1 |
|
|a Artemov, S. N.
|7 stk2007428582
|4 edt
|
700 |
1 |
|
|a Nerode, Anil,
|d 1932-
|7 kup20010000069809
|4 edt
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 4514
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070611
|l MUB01
|h 1520
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070611
|l MUB01
|h 1520
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070611
|l MUB01
|h 1521
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070611
|l MUB01
|h 1521
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070611
|l MUB01
|h 1521
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070611
|l MUB01
|h 1526
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0636
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1813
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0149
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1832
|
CAT |
|
|
|a KOZOVA
|b 02
|c 20100920
|l MUB01
|h 1218
|
CAT |
|
|
|a KOZOVA
|b 02
|c 20101101
|l MUB01
|h 1159
|
CAT |
|
|
|a KOZOVAX
|b 02
|c 20101101
|l MUB01
|h 1603
|
CAT |
|
|
|a POSPEL
|b 02
|c 20110316
|l MUB01
|h 1200
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0101
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0858
|
CAT |
|
|
|a HANAV
|b 02
|c 20140401
|l MUB01
|h 1543
|
CAT |
|
|
|c 20140410
|l MUB01
|h 1146
|
CAT |
|
|
|c 20150404
|l MUB01
|h 0231
|
CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2242
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0924
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1913
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2014-04-10
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K1141.07
|5 4200513209
|8 20070611
|f 74
|f Měsíční
|r 20070611
|
AVA |
|
|
|a INF50
|b FI
|d K1141.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|