|
|
|
|
LEADER |
03114cam a22008057a 4500 |
001 |
MUB01000381060 |
003 |
CZ BrMU |
005 |
20241001204508.0 |
008 |
961113s1991 xxu||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2010-02-25
|
020 |
|
|
|a 0-8176-3594-7
|
040 |
|
|
|a BOD004
|b cze
|
072 |
|
7 |
|a 519.1/.8
|x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
|2 Konspekt
|9 13
|
080 |
|
|
|a 519.7
|2 MRF
|
080 |
|
|
|a 81'37
|2 MRF
|
080 |
|
|
|a 519
|2 MRF
|
080 |
|
|
|a 004.42.046
|2 MRF
|
080 |
|
|
|a 004.422.6
|2 MRF
|
080 |
|
|
|a (048.8)
|2 MRF
|
100 |
1 |
|
|a Streicher, Thomas
|4 aut
|
245 |
1 |
0 |
|a Semantics of type theory :
|b correctness, completeness and independence results /
|c Thomas Streicher.
|
260 |
|
|
|a Boston :
|b Birkhäuser Verlag,
|c 1991.
|
300 |
|
|
|a xii, 298 s.
|
490 |
1 |
|
|a Progress in theoretical computer science
|
650 |
0 |
7 |
|a matematická kybernetika
|7 ph122669
|2 czenas
|
650 |
0 |
7 |
|a sémantika
|7 ph117272
|2 czenas
|
650 |
0 |
7 |
|a funkcionální programování
|7 ph572639
|2 czenas
|
650 |
0 |
7 |
|a datové typy
|7 ph317222
|2 czenas
|
650 |
0 |
9 |
|a mathematical cybernetics
|2 eczenas
|
650 |
0 |
9 |
|a semantics
|2 eczenas
|
650 |
0 |
9 |
|a functional programming
|2 eczenas
|
650 |
0 |
9 |
|a data types
|2 eczenas
|
655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
655 |
|
9 |
|a monographs
|2 eczenas
|
830 |
|
0 |
|a Progress in theoretical computer science
|
CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1333
|
CAT |
|
|
|c 20050122
|l MUB01
|h 1300
|
CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2155
|
CAT |
|
|
|c 20070427
|l MUB01
|h 2145
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0726
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1810
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1825
|
CAT |
|
|
|c 20080602
|l MUB01
|h 1122
|
CAT |
|
|
|c 20080604
|l MUB01
|h 0958
|
CAT |
|
|
|c 20081212
|l MUB01
|h 0948
|
CAT |
|
|
|c 20081212
|l MUB01
|h 1058
|
CAT |
|
|
|a ZITTERBART
|b 02
|c 20090730
|l MUB01
|h 0807
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 0501
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091103
|l MUB01
|h 0023
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0045
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1724
|
CAT |
|
|
|a BATCH-UPD
|b 00
|c 20091219
|l MUB01
|h 0655
|
CAT |
|
|
|c 20100225
|l MUB01
|h 0914
|
CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 1011
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2231
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0245
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0025
|
CAT |
|
|
|c 20120610
|l MUB01
|h 1736
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0414
|
CAT |
|
|
|a VACOVAX
|b 02
|c 20140815
|l MUB01
|h 1545
|
CAT |
|
|
|c 20150403
|l MUB01
|h 2258
|
CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0942
|
CAT |
|
|
|c 20161008
|l MUB01
|h 2233
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0901
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1852
|
CAT |
|
|
|a DOLEZALOVX
|b 02
|c 20241001
|l MUB01
|h 2045
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2010-02-25
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 PRIF
|a Přírodovědecká fakulta
|2 PRFST
|b ÚK volný výběr
|3 519.7-STRE
|5 3145006084
|4 PČ: 1001-92, DPČ: 102-92, matematika
|8 20041229
|f 74
|f Měsíční
|q 20180727
|r 00000001
|
AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 519.7-STRE
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 1
|j PRFST
|