Handbook of logic in computer science. Vol. 3., Background: semantics structures /

Uloženo v:
Podrobná bibliografie
Další autoři: Abramsky, Samson, 1953- (Editor), Gabbay, Dov M., 1945- (Editor), Maibaum, Thomas S. E., 1947- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Oxford : Clarendon Press, c1994.
Témata:
logická sémantika
výpočetní technika
computer science
příručky
handbooks and manuals
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02464cam a22006017a 4500
001 MUB01000152963
003 CZ BrMU
005 20250120105821.0
008 991101s1994 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 0-19-853762-X 
040 |a BOD018  |b cze  |d BOD004 
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 (035)  |2 MRF 
080 |a 161.15:81'37  |2 MRF 
245 0 0 |a Handbook of logic in computer science.  |n Vol. 3.,  |p Background: semantics structures /  |c edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum 
260 |a Oxford :  |b Clarendon Press,  |c c1994. 
300 |a xiii, 490 s. 
650 0 7 |a logická sémantika  |7 ph172905  |2 czenas 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
655 7 |a příručky  |7 fd133209  |2 czenas 
655 9 |a handbooks and manuals  |2 eczenas 
700 1 |a Abramsky, Samson,  |d 1953-  |7 ola2003209046  |4 edt 
700 1 |a Gabbay, Dov M.,  |d 1945-  |7 kup19980000029813  |4 edt 
700 1 |a Maibaum, Thomas S. E.,  |d 1947-  |7 xx0017665  |4 edt 
CAT |a CONF-FI  |b 02  |c 20040327  |l MUB01  |h 1746 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1743 
CAT |c 20050122  |l MUB01  |h 1222 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2122 
CAT |c 20070427  |l MUB01  |h 2114 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0633 
CAT |c 20080429  |l MUB01  |h 1804 
CAT |c 20080429  |l MUB01  |h 1819 
CAT |c 20080602  |l MUB01  |h 1116 
CAT |c 20080604  |l MUB01  |h 0952 
CAT |c 20090622  |l MUB01  |h 0746 
CAT |c 20091202  |l MUB01  |h 2154 
CAT |c 20091203  |l MUB01  |h 1430 
CAT |a DRIMLOVAX  |b 02  |c 20110620  |l MUB01  |h 0928 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1706 
CAT |c 20150403  |l MUB01  |h 1948 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0458 
CAT |a VESELA  |b 02  |c 20230629  |l MUB01  |h 1430 
CAT |a DRIMLOVAX  |b 02  |c 20250120  |l MUB01  |h 1058 
CAT |c 20250121  |l MUB01  |h 0454 
CAT |c 20250324  |l MUB01  |h 1600 
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 R236 - skříň  |5 4200508187  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R236  |5 4200505532  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |c sklad  |d R236 - skříň  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky