Rudolf Berghammer; Ali Jaoua; Bernhard M?ller Relations and Kleene Algebra in Computer Science 9783642046384

Варианты приобретения

Цена: 69870.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 239 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Rudolf Berghammer; Ali Jaoua; Bernhard M?ller
Название: Relations and Kleene Algebra in Computer Science
ISBN: 9783642046384
Издательство: Springer
Классификация:

Дискретная математика

Алгебра

Компьютерное программирование / разработка по

Математическая теория вычислений

Математика для специалистов в области теории вычислительных систем

ISBN-10: 364204638X
Обложка/Формат: Paperback
Страницы: 375
Вес: 0.58 кг.
Дата издания: 2009
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: Illustrations
Размер: 231 x 155 x 20
Читательская аудитория: Professional & vocational
Подзаголовок: 11th international conference on relational methods in computer science, relmics 2009 and 6th international conference on applications of kleene algebra, aka 2009, doha, qatar, november 1-5, 2009 : proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Conference on Applications of Kleene Algebra (AKA 6). The joint conference took place in Doha, Quatar, November 1-5, 2009. Its purpose was to bring - gether researchersfrom various subdisciplines of computer science, mathematics and related ?elds who use the calculus of relations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of the RelMiCS series were held in Schloss Dagstuhl (Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The conference on Appli- tions of Kleene Algebra started as a workshop, also held in Schloss Dagstuhl, in February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated by the substantial common interests and overlap of the two communities. Over the years this has led to fruitful interactions and openened new and intere- ing research directions. Joint meetings have been held in Malente (Germany) in May 2003, in St Catherines (Canada) in February 2005, in Manchester (UK) in August/September 2006 and in Frauenw] orth (Germany) in April 2008. This volume contains 24 contributions by researchersfrom all overthe world.

Relations and Kleene Algebra in Computer Science, Rudolf Berghammer; Ali Jaoua; Bernhard M?ller