Relational methods in computer science : 9th International Conference, RelMiCS 2006 and 4st Workshop of Kleene Algebra, RelMICS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: International Seminar on Relational Methods in Computer Science Manchester, Anglie) (Autor), International Workshop on Applications of Kleene Algebra (Autor)
Další autoři: Schmidt, Renate A. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006
Edice:Lecture notes in computer science ; 4136
Témata:
LEADER 02718cam a22006617a 4500
001 MUB01000474903
003 CZ BrMU
005 20211014171601.0
008 061012s2006 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2012-06-18 
020 |a 3-540-37873-1 
040 |a BOD018  |b cze  |d BOD114 
080 |a 512  |2 MRF 
080 |a 004  |2 MRF 
111 2 |a International Seminar on Relational Methods in Computer Science  |n (9. :  |d 2006 :  |c Manchester, Anglie)  |7 xx0054809  |4 aut 
245 1 0 |a Relational methods in computer science :  |b 9th International Conference, RelMiCS 2006 and 4st Workshop of Kleene Algebra, RelMICS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /  |c edited by Renate A. Schmidt 
260 |a Berlin :  |b Springer,  |c c2006 
300 |a xi, 431 s. 
490 1 |a Lecture notes in computer science ;  |v 4136 
650 0 7 |a algebra  |7 ph114025  |2 czenas 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 9 |a algebra  |2 eczenas 
650 0 9 |a computer technology  |2 eczenas 
700 1 |a Schmidt, Renate A.  |7 xx0054797  |4 edt 
711 2 |a International Workshop on Applications of Kleene Algebra  |n (4. :  |d 2006 :  |c Manchester, Anglie)  |7 xx0054818  |4 aut 
830 0 |a Lecture notes in computer science ;  |v 4136 
CAT |a BISKUPOVA  |b 02  |c 20061012  |l MUB01  |h 1025 
CAT |a BISKUPOVA  |b 02  |c 20061012  |l MUB01  |h 1032 
CAT |c 20070427  |l MUB01  |h 2159 
CAT |c 20080429  |l MUB01  |h 1812 
CAT |c 20080429  |l MUB01  |h 1827 
CAT |c 20091203  |l MUB01  |h 0132 
CAT |c 20091203  |l MUB01  |h 1814 
CAT |c 20101015  |l MUB01  |h 2254 
CAT |c 20101016  |l MUB01  |h 0319 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0052 
CAT |c 20120618  |l MUB01  |h 1047 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0805 
CAT |a VACOVAX  |b 02  |c 20130828  |l MUB01  |h 1059 
CAT |c 20140127  |l MUB01  |h 1823 
CAT |c 20150404  |l MUB01  |h 0137 
CAT |c 20150703  |l MUB01  |h 0958 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2201 
CAT |c 20160401  |l MUB01  |h 1234 
CAT |a VARTECKAX  |b 02  |c 20160602  |l MUB01  |h 0748 
CAT |a VARTECKAX  |b 02  |c 20161108  |l MUB01  |h 0702 
CAT |a HANAV  |b 02  |c 20170727  |l MUB01  |h 2342 
CAT |a FUKSOVAX  |b 02  |c 20201013  |l MUB01  |h 1838 
CAT |a FUKSOVAX  |b 02  |c 20201018  |l MUB01  |h 1245 
CAT |c 20210614  |l MUB01  |h 0919 
CAT |c 20210614  |l MUB01  |h 1908 
CAT |a HANAV  |b 02  |c 20211014  |l MUB01  |h 1712 
CAT |a BATCH-UPD  |b 02  |c 20211014  |l MUB01  |h 1713 
CAT |a HANAV  |b 02  |c 20211014  |l MUB01  |h 1716 
LOW |a POSLANO DO SKCR  |b 2012-06-18 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K585.06  |5 4200512317  |8 20061012  |f 74  |f Měsíční  |r 20061012 
AVA |a INF50  |b FI  |d K585.06  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0