Handbook of process algebra /

Uloženo v:
Podrobná bibliografie
Další autoři: Bergstra, J. A., 1951- (Editor), Ponse, A. (Editor), Smolka, Scott A. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Amsterdam : Elsevier, c2001
Témata:
LEADER 02411cam a22005777a 4500
001 MUB01000152971
003 CZ BrMU
005 20230629143326.0
008 010628s2001 ne ||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 0-444-82830-3 
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 process algebra /  |c edited by J. A. Bergstra, A. Ponse, S. A. Smolka 
260 |a Amsterdam :  |b Elsevier,  |c c2001 
300 |a xiv, 1342.00. 
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 Bergstra, J. A.,  |d 1951-  |7 vse2007414964  |4 edt 
700 1 |a Ponse, A.  |4 edt 
700 1 |a Smolka, Scott A.  |7 av2013756118  |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 BATCH  |b 00  |c 20130301  |l MUB01  |h 1706 
CAT |a HANKAX  |b 02  |c 20130308  |l MUB01  |h 1422 
CAT |a VACOVAX  |b 02  |c 20140217  |l MUB01  |h 1033 
CAT |c 20150403  |l MUB01  |h 1948 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0458 
CAT |a FUKSOVAX  |b 02  |c 20190605  |l MUB01  |h 1333 
CAT |a VESELA  |b 02  |c 20230629  |l MUB01  |h 1433 
LOW |a POSLANO DO SKCR  |b 2009-06-22 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R387 - skříň  |5 4200506794  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R387 - skříň  |5 4200506813  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R387 - skříň  |5 4200508171  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R387  |5 4200515805  |8 20100224  |f 74  |f Měsíční  |g 2010-30  |r 20100319 
AVA |a INF50  |b FI  |d R387  |e available  |t K dispozici  |f 4  |g 0  |h N  |i 14  |k 0