|
|
|
|
| LEADER |
03482nam a22008057a 4500 |
| 001 |
MUB01000349248 |
| 003 |
CZ BrMU |
| 005 |
20250123101927.0 |
| 008 |
990105s1998 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2010-01-21
|
| 020 |
|
|
|a 0-521-62277-8
|q (hardback)
|z 9780521622776
|
| 020 |
|
|
|a 0-521-06292-6
|q (paperback)
|z 9780521062923
|
| 040 |
|
|
|a BOD004
|b cze
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a (048.8:082)
|2 MRF
|
| 100 |
1 |
|
|a Amadio, Roberto M.
|7 stk2008461565
|4 aut
|
| 245 |
1 |
0 |
|a Domains and lambda-calculi /
|c Roberto M. Amadio, Pierre-Louis Curien
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 1998
|
| 300 |
|
|
|a xvi, 484 s.
|
| 490 |
1 |
|
|a Cambridge tracts in theoretical computer science ;
|v 46
|
| 650 |
0 |
7 |
|a lambda kalkul
|2 CZ-BrMU
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 655 |
|
7 |
|a kolektivní monografie
|7 fd501537
|2 czenas
|
| 655 |
|
9 |
|a collective monographs
|2 eczenas
|
| 700 |
1 |
|
|a Curien, Pierre-Louis,
|d 1953-
|7 stk2008461566
|4 aut
|
| 830 |
|
0 |
|a Cambridge tracts in theoretical computer science ;
|v 46
|
| CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1328
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1254
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2151
|
| CAT |
|
|
|a JANA
|b 02
|c 20060324
|l MUB01
|h 1122
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2141
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0713
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1809
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1824
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1122
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0957
|
| CAT |
|
|
|a JANA
|b 02
|c 20080901
|l MUB01
|h 1306
|
| CAT |
|
|
|a JANA
|b 02
|c 20080901
|l MUB01
|h 1317
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 0438
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 2357
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0028
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1703
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20091219
|l MUB01
|h 0639
|
| CAT |
|
|
|c 20100121
|l MUB01
|h 1046
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0950
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2224
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0231
|
| CAT |
|
|
|a DRIMLOVA
|b 02
|c 20101103
|l MUB01
|h 1046
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20101120
|l MUB01
|h 0023
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0013
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 1715
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0257
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 2236
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0908
|
| CAT |
|
|
|c 20161008
|l MUB01
|h 2233
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0856
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1847
|
| CAT |
|
|
|a JANA
|b 02
|c 20230724
|l MUB01
|h 2004
|
| CAT |
|
|
|a NEMCOVAX
|b 02
|c 20230724
|l MUB01
|h 2021
|
| CAT |
|
|
|a DRIMLOVAX
|b 02
|c 20250123
|l MUB01
|h 1019
|
| CAT |
|
|
|c 20250324
|l MUB01
|h 1603
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2010-01-21
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R367
|5 4200506407
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| 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-AMAD
|5 3145306641
|8 20041229
|f 70
|f Prezenční
|q 20180727
|r 00000001
|
| 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-AMAD
|5 3145349663
|4 grant prof. Rosický
|8 20101103
|f 74
|f Měsíční
|q 20180727
|r 20101103
|s kup
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 519.7-AMAD
|e available
|t K dispozici
|f 2
|g 0
|h N
|i 2
|j PRFST
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d R367
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j SKLAD
|
