Relations and kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International conference on Applications of Kleene Algebra, RelMiCS/AKA 2008 : Frauenwörth, Germany, April 7-11, 2008 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: International Seminar on Relational Methods in Computer Science Frauenwörth, Německo) (Autor), International Conference on Applications of Kleene Algebra (Autor)
Další autoři: Berghammer, Rudolf, 1952-, Möller, Bernhard, 1953-, Struth, Georg (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008
Edice:Lecture notes in computer science, 4988
Témata:
LEADER 03607cam a22008777a 4500
001 MUB01000548848
003 CZ BrMU
005 20211017010003.0
008 080507s2008 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-05-09 
020 |a 978-3-540-78912-3  |z 354078912X 
040 |a BOD018  |b cze  |d BOD004  |d BOD114 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 512  |2 MRF 
080 |a 004  |2 MRF 
080 |a (062.534)  |2 MRF 
080 |a 510.6:512  |2 MRF 
080 |a 519.766  |2 MRF 
080 |a 51  |2 MRF 
111 2 |a International Seminar on Relational Methods in Computer Science  |n (10. :  |d 2008 :  |c Frauenwörth, Německo)  |4 aut 
245 1 0 |a Relations and kleene algebra in computer science :  |b 10th International Conference on Relational Methods in Computer Science and 5th International conference on Applications of Kleene Algebra, RelMiCS/AKA 2008 : Frauenwörth, Germany, April 7-11, 2008 : proceedings /  |c edited by Rudolf Berghammer, Bernhard Möller, Georg Struth 
246 3 0 |a RelMiCS/AKA 2008 
246 3 0 |a Relational methods in computer science 
246 3 0 |a Applications of Kleene algebra 
246 3 0 |a Kleene algebra 
246 3 |a RelMiCS 2008 
246 3 |a AKA 2008 
260 |a Berlin :  |b Springer,  |c c2008 
300 |a x, 396 s. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 4988 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a algebraická logika  |7 ph249426  |2 czenas 
650 0 7 |a algebra  |7 ph114025  |2 czenas 
650 0 7 |a formální jazyky  |7 ph208851  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |x metody  |2 czenas 
650 0 7 |a relační algebra  |2 CZ-BrMU 
650 0 9 |a algebraic logic  |2 eczenas 
650 0 9 |a algebra  |2 eczenas 
650 0 9 |a computer science  |x methods  |2 eczenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a formal languages  |2 eczenas 
650 0 9 |a relational algebra  |2 eCZ-BrMU 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Berghammer, Rudolf,  |d 1952-  |7 mub2012692954 
700 1 |a Möller, Bernhard,  |d 1953-  |7 mub2012692950 
700 1 |a Struth, Georg  |4 edt 
711 2 |a International Conference on Applications of Kleene Algebra  |n (5. :  |d 2008 :  |c Frauenwörth, Německo)  |4 aut 
830 0 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 4988 
CAT |a KREKOVA  |b 02  |c 20080507  |l MUB01  |h 1147 
CAT |c 20091203  |l MUB01  |h 0210 
CAT |c 20091203  |l MUB01  |h 1853 
CAT |c 20101015  |l MUB01  |h 2319 
CAT |c 20101016  |l MUB01  |h 0344 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0113 
CAT |a ANTLOVA  |b 02  |c 20120406  |l MUB01  |h 1144 
CAT |a MENSIKOVA  |b 02  |c 20120410  |l MUB01  |h 1431 
CAT |a MENSIKOVA  |b 02  |c 20120410  |l MUB01  |h 1518 
CAT |a BATCH-UPD  |b 02  |c 20120411  |l MUB01  |h 0010 
CAT |c 20120610  |l MUB01  |h 1922 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1002 
CAT |a VACOVAX  |b 02  |c 20140908  |l MUB01  |h 0923 
CAT |c 20150404  |l MUB01  |h 0315 
CAT |c 20150703  |l MUB01  |h 1043 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2329 
CAT |c 20160401  |l MUB01  |h 1235 
CAT |a HANAV  |b 02  |c 20170323  |l MUB01  |h 1540 
CAT |c 20170509  |l MUB01  |h 0935 
CAT |a FUKSOVAX  |b 02  |c 20201013  |l MUB01  |h 1837 
CAT |c 20210614  |l MUB01  |h 0931 
CAT |c 20210614  |l MUB01  |h 1920 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1136 
CAT |a HANAV  |b 02  |c 20211017  |l MUB01  |h 0100 
LOW |a POSLANO DO SKCR  |b 2017-05-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K585.08  |5 4200514086  |8 20080507  |f 74  |f Měsíční  |r 20080507 
AVA |a INF50  |b FI  |d K585.08  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0