|
|
|
|
| LEADER |
03369cam a22008177a 4500 |
| 001 |
MUB01000157549 |
| 003 |
CZ BrMU |
| 005 |
20250519153329.0 |
| 008 |
990621s1998 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 020 |
|
|
|a 3-540-64356-7
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 072 |
|
7 |
|a 004.4/.6
|x Programování. Software
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.421
|2 MRF
|
| 080 |
|
|
|a 543.06
|2 MRF
|
| 080 |
|
|
|a (062.534)
|2 MRF
|
| 080 |
|
|
|a 004.42
|2 MRF
|
| 080 |
|
|
|a 004.62
|2 MRF
|
| 111 |
2 |
|
|a TACAS (konference)
|n (4. :
|d 1998 :
|c Lisabon, Portugalsko)
|7 mub2016912037
|4 aut
|
| 245 |
1 |
0 |
|a Tools and algorithms for the construction and analysis of systems :
|b 4th International Conference, TACAS '98, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 : Lisbon, Portugal, March 28-April 4, 1998 : proceedings /
|c edited by Bernhard Steffen
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c1998
|
| 300 |
|
|
|a xiii, 455 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 1384
|
| 650 |
0 |
7 |
|a algoritmy (programování)
|7 ph131788
|2 czenas
|
| 650 |
0 |
7 |
|a analytické metody
|7 ph174607
|2 czenas
|
| 650 |
0 |
7 |
|a programování
|7 ph115891
|2 czenas
|
| 650 |
0 |
7 |
|a analýza dat
|7 ph301326
|2 czenas
|
| 650 |
0 |
9 |
|a programming
|2 eczenas
|
| 650 |
0 |
9 |
|a data analysis
|2 eczenas
|
| 650 |
0 |
9 |
|a analytical methods
|2 eczenas
|
| 650 |
0 |
9 |
|a computer algorithms
|2 eczenas
|
| 655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
| 655 |
|
9 |
|a proceedings of conferences
|2 eczenas
|
| 700 |
1 |
|
|a Steffen, Bernhard,
|d 1958-
|7 xx0018680
|4 edt
|
| 711 |
2 |
|
|a ETAPS (konference)
|n (1. :
|d 1998 :
|c Lisabon, Portugalsko)
|4 aut
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 1384
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1748
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1223
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2123
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2115
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0634
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1117
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
| CAT |
|
|
|a HANAV
|b 02
|c 20090621
|l MUB01
|h 2150
|
| CAT |
|
|
|a HANAV
|b 02
|c 20090621
|l MUB01
|h 2219
|
| CAT |
|
|
|c 20090622
|l MUB01
|h 0750
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2156
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1433
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2115
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0131
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20120904
|l MUB01
|h 0943
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1713
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20140523
|l MUB01
|h 1059
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 1952
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0503
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1230
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20160413
|l MUB01
|h 1154
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20160427
|l MUB01
|h 1200
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20160428
|l MUB01
|h 1252
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161017
|l MUB01
|h 0655
|
| CAT |
|
|
|a HANAV
|b 02
|c 20211108
|l MUB01
|h 2209
|
| CAT |
|
|
|a HANAV
|b 02
|c 20211108
|l MUB01
|h 2216
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20230602
|l MUB01
|h 1144
|
| CAT |
|
|
|a VESELAX
|b 02
|c 20250519
|l MUB01
|h 1533
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 K59.98
|5 4200505269
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d K59.98
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j SKLAD
|
