004:51(063)/R41-081924         Relational methods in computer science [Electronic resource] : 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 / ed. W. MacCaull ; ed. W. MacCaull [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3929). - ISBN 978-3-540-33340-1 : Б. ц. ГРНТИ 50.07 УДК 004.02(063) Рубрики: Вычислительная техника--Математические методы--Съезды и конференции См. : Текст издания Доп.точки доступа: MacCaull, W. \ed.\; SpringerLink (Online service) Свободных экз. нет