Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /

Uloženo v:
Podrobná bibliografie
Korporace: International Seminar on Relational Methods in Computer Science Bad Malente, Německo) (Autor), International Workshop on Applications of Kleene Algebra (Autor)
Další autoři: Berghammer, Rudolf, 1952- (Editor), Möller, Bernhard, 1953- (Editor), Struth, Georg (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2004
Edice:Lecture notes in computer science, 3051
Témata:
LEADER 03352nam a22007817a 4500
001 MUB01000400733
003 CZ BrMU
005 20250318005157.0
008 050322s2004 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2011-03-31 
020 |a 3-540-22145-X 
040 |a BOD018  |b cze 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 082.2  |2 MRF 
080 |a 004  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a International Seminar on Relational Methods in Computer Science  |n (7. :  |d 2003 :  |c Bad Malente, Německo)  |4 aut 
245 1 0 |a Relational and Kleene-algebraic methods in computer science :  |b 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /  |c Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.) 
260 |a Berlin :  |b Springer,  |c c2004 
300 |a x, 277 s. :  |b il. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 3051 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a algebra  |7 ph114025  |2 czenas 
650 0 9 |a algebra  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Berghammer, Rudolf,  |d 1952-  |7 mub2012692954  |4 edt 
700 1 |a Möller, Bernhard,  |d 1953-  |7 mub2012692950  |4 edt 
700 1 |a Struth, Georg  |4 edt 
711 2 |a International Workshop on Applications of Kleene Algebra  |n (2. :  |d 2003 :  |c Bad Malente, Německo)  |4 aut 
830 0 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 3051 
CAT |a BISKUPOVA  |b 02  |c 20050322  |l MUB01  |h 1459 
CAT |a MS-650  |b 02  |c 20051101  |l MUB01  |h 2249 
CAT |a MS-6502  |b 02  |c 20051102  |l MUB01  |h 2231 
CAT |c 20070427  |l MUB01  |h 2148 
CAT |a BATCH-UPD  |b 02  |c 20080415  |l MUB01  |h 0600 
CAT |c 20080429  |l MUB01  |h 1811 
CAT |c 20080429  |l MUB01  |h 1825 
CAT |a HONIGOVA  |b 02  |c 20080709  |l MUB01  |h 1139 
CAT |c 20091203  |l MUB01  |h 0058 
CAT |c 20091203  |l MUB01  |h 1736 
CAT |c 20101015  |l MUB01  |h 2237 
CAT |c 20101016  |l MUB01  |h 0252 
CAT |a HANAV  |b 02  |c 20110314  |l MUB01  |h 1516 
CAT |c 20110331  |l MUB01  |h 1010 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0032 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0557 
CAT |a HANKAX  |b 02  |c 20130305  |l MUB01  |h 1538 
CAT |c 20140127  |l MUB01  |h 1758 
CAT |a VACOVAX  |b 02  |c 20140908  |l MUB01  |h 0923 
CAT |c 20150403  |l MUB01  |h 2313 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 1006 
CAT |c 20160401  |l MUB01  |h 1232 
CAT |a VARTECKAX  |b 02  |c 20161115  |l MUB01  |h 0715 
CAT |c 20200810  |l MUB01  |h 1719 
CAT |a FUKSOVAX  |b 02  |c 20201017  |l MUB01  |h 2017 
CAT |a FUKSOVAX  |b 02  |c 20201018  |l MUB01  |h 1244 
CAT |c 20210614  |l MUB01  |h 0905 
CAT |c 20210614  |l MUB01  |h 1854 
CAT |a HANAV  |b 02  |c 20211013  |l MUB01  |h 1753 
CAT |a VARTECKAX  |b 02  |c 20230606  |l MUB01  |h 0932 
CAT |a VARTECKAX  |b 02  |c 20250305  |l MUB01  |h 1256 
CAT |a HANAV  |b 02  |c 20250305  |l MUB01  |h 2103 
CAT |a HANAV  |b 02  |c 20250318  |l MUB01  |h 0051 
LOW |a POSLANO DO SKCR  |b 2011-03-31 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K585.03  |5 4200510572  |8 20050322  |f 74  |f Měsíční  |r 20050322 
AVA |a INF50  |b FI  |d K585.03  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0