|
|
|
|
| LEADER |
02241nam a22005657a 4500 |
| 001 |
MUB01000511819 |
| 003 |
CZ BrMU |
| 005 |
20210305105419.0 |
| 008 |
070718s2007 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2014-04-16
|
| 020 |
|
|
|a 978-3-540-73146-7
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004
|2 MRF
|
| 111 |
2 |
|
|a Symposium Rewriting, Computation and Proof
|d (2007 :
|c Cachan, Francie)
|4 aut
|
| 245 |
1 |
0 |
|a Rewriting, computation and proof :
|b essays dedicated to Jean-Pierre Jouannaud on the ocassion of his 60th birthday /
|c edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2007
|
| 300 |
|
|
|a xvi, 272 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 4600
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
| 700 |
1 |
|
|a Comon, Hubert,
|d 1957-
|7 stk2007405897
|4 edt
|
| 700 |
1 |
|
|a Kirchner, Claude
|7 stk2007405898
|4 edt
|
| 700 |
1 |
|
|a Kirchner, Héléne
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 4600
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20070718
|l MUB01
|h 1047
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20070718
|l MUB01
|h 1049
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20070723
|l MUB01
|h 1128
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1813
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0152
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1836
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2308
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0331
|
| CAT |
|
|
|a HONIGOVAX
|b 02
|c 20110203
|l MUB01
|h 0903
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0103
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0909
|
| CAT |
|
|
|c 20140416
|l MUB01
|h 1203
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0236
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2250
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20160614
|l MUB01
|h 0604
|
| CAT |
|
|
|a PUTNOVA
|b 02
|c 20210305
|l MUB01
|h 1054
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0925
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1914
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1126
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2014-04-16
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K1157.07
|5 4200513277
|8 20070718
|f 74
|f Měsíční
|r 20070718
|
| AVA |
|
|
|a INF50
|b FI
|d K1157.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|
