Higher order operational techniques in semantics /

Uloženo v:
Podrobná bibliografie
Další autoři: Gordon, Andrew D., 1964- (Editor), Pitts, A. M. 1956- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 1998
Vydání:1st pub.
Edice:Publications of the Newton Institute
Témata:
LEADER 03205cam a22007697a 4500
001 MUB01000357507
003 CZ BrMU
005 20240509070420.0
008 990121s1998 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2010-02-09 
020 |a 0-521-63168-8  |q (hardback) 
040 |a BOD004  |b cze  |d BOD018  |d BOD114 
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 519  |2 MRF 
245 0 0 |a Higher order operational techniques in semantics /  |c edited by Andrew D. Gordon and Andrew M. Pitts 
250 |a 1st pub. 
260 |a Cambridge :  |b Cambridge University Press,  |c 1998 
300 |a vii, 390 s. 
490 1 |a Publications of the Newton Institute 
650 0 7 |a matematická kybernetika  |7 ph122669  |2 czenas 
650 0 9 |a mathematical cybernetics  |2 eczenas 
655 7 |a sborníky  |7 fd163935  |2 czenas 
700 1 |a Gordon, Andrew D.,  |d 1964-  |7 xx0013213  |4 edt 
700 1 |a Pitts, A. M.  |q (Andrew M.),  |d 1956-  |7 ctu20201067754  |4 edt 
830 0 |a Publications of the Newton Institute 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1334 
CAT |c 20050122  |l MUB01  |h 1256 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2152 
CAT |c 20070427  |l MUB01  |h 2142 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0716 
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 ZITTERBART  |b 02  |c 20090730  |l MUB01  |h 1230 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0444 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0006 
CAT |c 20091203  |l MUB01  |h 0032 
CAT |c 20091203  |l MUB01  |h 1709 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0644 
CAT |c 20100209  |l MUB01  |h 0944 
CAT |c 20101015  |l MUB01  |h 2226 
CAT |c 20101016  |l MUB01  |h 0235 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0016 
CAT |c 20120610  |l MUB01  |h 1721 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0316 
CAT |c 20150403  |l MUB01  |h 2243 
CAT |a VASICEKX  |b 02  |c 20150630  |l MUB01  |h 1433 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0918 
CAT |a POSPEL  |b 02  |c 20160407  |l MUB01  |h 0822 
CAT |c 20161008  |l MUB01  |h 2233 
CAT |a VACOVAX  |b 02  |c 20200302  |l MUB01  |h 1056 
CAT |a VACOVAX  |b 02  |c 20200302  |l MUB01  |h 1057 
CAT |a HANAV  |b 02  |c 20200302  |l MUB01  |h 1742 
CAT |a BATCH-UPD  |b 02  |c 20200605  |l MUB01  |h 0001 
CAT |c 20210614  |l MUB01  |h 0857 
CAT |c 20210614  |l MUB01  |h 1848 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1045 
CAT |c 20240111  |l MUB01  |h 1555 
CAT |a DRIMLOVA  |b 02  |c 20240509  |l MUB01  |h 0704 
LOW |a POSLANO DO SKCR  |b 2010-02-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R322  |5 4200504910  |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-HIGH  |5 3145306959  |4 DPČ: 4-04, 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-HIGH  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFST 
AVA |a INF50  |b FI  |d R322  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0