MARC21: Handbook of logic in computer science.

Handbook of logic in computer science. Vol. 5., Logic and Algebraic Methods /

Uloženo v:

Podrobná bibliografie
Další autoři:	Abramsky, Samson, 1953- (Editor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Oxford : Clarendon Press, c2000.
Témata:	výpočetní technika computer science monografie monographs

Přejít na ObalkyKnih.cz


LEADER	02059cam a22005057a 4500
001	MUB01000152965
003	CZ BrMU
005	20230629143100.0
008	010627s2000 xxk\|\|\|\|\| \|\|\|\|\|\|\|\|\|\|\|eng\|d
STA			\|a POSLANO DO SKCR \|b 2009-06-22
020			\|a 0-19-853781-6
040			\|a BOD018 \|b cze \|d BOD018
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
245	0	0	\|a Handbook of logic in computer science. \|n Vol. 5., \|p Logic and Algebraic Methods / \|c edited by S. Abramsky ... [et al.].
260			\|a Oxford : \|b Clarendon Press, \|c c2000.
300			\|a xviii, 537 s.
650	0	7	\|a výpočetní technika \|7 ph137273 \|2 czenas
650	0	9	\|a computer science \|2 eczenas
655		7	\|a monografie \|7 fd132842 \|2 czenas
655		9	\|a monographs \|2 eczenas
700	1		\|a Abramsky, Samson, \|d 1953- \|7 ola2003209046 \|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 1431
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 R386 - skříň \|5 4200508193 \|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 R386 \|5 4200506787 \|8 20040328 \|f 74 \|f Měsíční \|r 00000001
AVA			\|a INF50 \|b FI \|c sklad \|d R386 - skříň \|e available \|t K dispozici \|f 2 \|g 0 \|h N \|i 1 \|j SKLAD

Handbook of logic in computer science. Vol. 5., Logic and Algebraic Methods /

Podobné jednotky