|
|
|
|
| LEADER |
02224nam a22005777a 4500 |
| 001 |
MUB01000529068 |
| 003 |
CZ BrMU |
| 005 |
20141029223237.0 |
| 008 |
071008s2007 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2014-12-05
|
| 020 |
|
|
|a 978-3-540-75220-2
|z 354075220X
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004.386
|2 MRF
|
| 080 |
|
|
|a 004.62
|2 MRF
|
| 080 |
|
|
|a (082)
|2 MRF
|
| 245 |
0 |
0 |
|a Formal methods and hybrid real-time systems :
|b essays in honour od Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /
|c edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2007.
|
| 300 |
|
|
|a xvi, 538 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 4700
|
| 650 |
0 |
7 |
|a hybridní počítače
|7 ph120958
|2 czenas
|
| 650 |
0 |
7 |
|a zpracování dat
|7 ph127675
|2 czenas
|
| 650 |
0 |
9 |
|a data processing
|2 eczenas
|
| 650 |
0 |
9 |
|a hybrid computers
|2 eczenas
|
| 700 |
1 |
|
|a Jones, C. B.
|q (Cliff B.),
|d 1944-
|7 xx0036575
|4 edt
|
| 700 |
1 |
|
|a Liu, Zhiming,
|d 1961-
|7 xx0033338
|4 edt
|
| 700 |
1 |
|
|a Woodcock, Jim,
|d 1956-
|7 xx0056179
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 4700
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20071008
|l MUB01
|h 1433
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0157
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1841
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2312
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0334
|
| CAT |
|
|
|a KOZOVAX
|b 02
|c 20110323
|l MUB01
|h 1131
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0107
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0926
|
| CAT |
|
|
|a PUTNOVAX
|b 02
|c 20140618
|l MUB01
|h 1305
|
| CAT |
|
|
|a HANAV
|b 02
|c 20141029
|l MUB01
|h 2232
|
| CAT |
|
|
|c 20141112
|l MUB01
|h 0950
|
| CAT |
|
|
|c 20141203
|l MUB01
|h 1636
|
| CAT |
|
|
|c 20141205
|l MUB01
|h 1146
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0244
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2303
|
| CAT |
|
|
|a PTICHAX
|b 02
|c 20180521
|l MUB01
|h 2102
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0927
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1916
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2014-12-05
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K867.07
|5 4200513496
|8 20071008
|f 74
|f Měsíční
|r 20071008
|
| AVA |
|
|
|a INF50
|b FI
|d K867.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 1
|
