|
|
libcats.org
Mathematical Foundations of Computer Science 1995 20 conf., MFCS'95Andrzej M. Borzyszkowski, Jiri Wiedermann, Petr HajekThis book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Николай Михайлович Пржевальский. Биографический очеркАвтор: Николай Дубровин
Размер книги: 21.12 Mb
Гидрогенизация жировАвтор: Товбин, Автор: Меламуд, Автор: СергеевКатегория: Chemistry
Размер книги: 2.84 Mb
Engineering Environment-Mediated Multi-Agent Systems: International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007, Selected Revised andАвтор: Danny Weyns, Автор: Sven A. Brueckner, Автор: Yves Demazeau
Размер книги: 10.28 Mb
Interpersonal Diagnosis of Personality: A Functional Theory and Methodology for Personality EvaluationАвтор: Timothy Leary
Размер книги: 23.05 Mb
Thomas Jefferson as an Architect and a Designer of LandscapesАвтор: Lambeth William Alexander, Автор: Manning Warren HКатегория: fiction
Размер книги: 185 Kb
|
|
|