Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /

Uloženo v:
Podrobná bibliografie
Korporace: International Seminar on Relational Methods in Computer Science Saint Catharines, Ontario) (Autor), European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt), International Workshop on Applications of Kleene Algebra (Autor)
Další autoři: MacCaull, Wendy (Editor), Winter, Michael (Editor), Düntsch, Ivo (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006.
Edice:Lecture notes in computer science, 3929
Témata:
LEADER 03141cam a22006977a 4500
001 MUB01000473766
003 CZ BrMU
005 20230607103017.0
008 061005s2006 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2012-06-18 
020 |a 3-540-33339-8  |z 9783540333395 
040 |a BOD018  |b cze  |d BOD114 
080 |a 004  |2 MRF 
080 |a 512  |2 MRF 
111 2 |a International Seminar on Relational Methods in Computer Science  |n (8. :  |d 2005 :  |c Saint Catharines, Ontario)  |7 xx0046480  |4 aut 
245 1 0 |a Relational methods in computer science :  |b 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /  |c Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.). 
260 |a Berlin :  |b Springer,  |c c2006. 
300 |a viii, 262 s. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 3929 
650 0 7 |a algebra  |7 ph114025  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a algebra  |2 eczenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a Computer science  |2 eczenas 
700 1 |a MacCaull, Wendy  |7 xx0046473  |4 edt 
700 1 |a Winter, Michael  |7 xx0046476  |4 edt 
700 1 |a Düntsch, Ivo  |7 xx0046472  |4 edt 
710 2 |a European Cooperation in the Field of Scientific and Technical Research (organizace).  |b COST Action 274 TARSKI (projekt)  |7 kn2006347956 
711 2 |a International Workshop on Applications of Kleene Algebra  |n (3. :  |d 2005 :  |c Saint Catharines, Ontario)  |7 xx0046481  |4 aut 
830 0 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 3929 
CAT |a BISKUPOVA  |b 02  |c 20061005  |l MUB01  |h 1123 
CAT |a ZAHR  |b 02  |c 20061206  |l MUB01  |h 1415 
CAT |a ZAHR  |b 02  |c 20061206  |l MUB01  |h 1417 
CAT |a BATCH-UPD  |b 02  |c 20061215  |l MUB01  |h 0649 
CAT |c 20070427  |l MUB01  |h 2158 
CAT |a BATCH-UPD  |b 02  |c 20080213  |l MUB01  |h 0600 
CAT |c 20080429  |l MUB01  |h 1812 
CAT |c 20080429  |l MUB01  |h 1827 
CAT |c 20091203  |l MUB01  |h 0131 
CAT |c 20091203  |l MUB01  |h 1813 
CAT |a HANAV  |b 02  |c 20100422  |l MUB01  |h 2216 
CAT |c 20101015  |l MUB01  |h 2254 
CAT |c 20101016  |l MUB01  |h 0319 
CAT |a PUTNOVAX  |b 02  |c 20111116  |l MUB01  |h 1221 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0052 
CAT |a HANAV  |b 02  |c 20120530  |l MUB01  |h 1205 
CAT |a HANAV  |b 02  |c 20120530  |l MUB01  |h 1210 
CAT |c 20120618  |l MUB01  |h 1045 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0803 
CAT |c 20140127  |l MUB01  |h 1823 
CAT |c 20150404  |l MUB01  |h 0135 
CAT |c 20150703  |l MUB01  |h 0957 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2159 
CAT |c 20160401  |l MUB01  |h 1234 
CAT |c 20210614  |l MUB01  |h 0919 
CAT |c 20210614  |l MUB01  |h 1907 
CAT |a VARTECKAX  |b 02  |c 20230607  |l MUB01  |h 1030 
LOW |a POSLANO DO SKCR  |b 2012-06-18 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K585.05  |5 4200512307  |8 20061005  |f 74  |f Měsíční  |r 20061005 
AVA |a INF50  |b FI  |c sklad  |d K585.05  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD