|
|
libcats.org
Главная →
on Relational Methods in Computer Science, 3 conf., and Workshop of COST Action 274: TARSKIon Relational Methods in Computer Science, 3 conf., and Workshop of COST Action 274: TARSKIWendy MacCaull, Michael Winter, Ivo DüntschThis book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274: TARSKI, Theory and Application of Relational Structures as Knowledge Instruments, held St. Catharines, Ontario, Canada in February 2005. The 17 revised full papers presented together with 3 invited papers were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing and include such topics as static analysis of programs, representation theory, theories of programming, evolutionary algorithms, verification and quantifier elimination.
Скачать книгу бесплатно (pdf, 2.68 Mb)
Читать «on Relational Methods in Computer Science, 3 conf., and Workshop of COST Action 274: TARSKI» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Global Cities at Work: New Migrant Divisions of LabourАвтор: Prof. Jane Wills, Автор: Dr. Kavita Datta, Автор: Dr. Jara Evans, Автор: Dr. Joanna Herbert, Автор: Prof. Jon May, Автор: Dr. Cathy McIlwaine
Размер книги: 2.34 Mb
The Sortino Framework for Constructing Portfolios: Focusing on Desired Target ReturnT to Optimize Upside Potential Relative to Downside RiskАвтор: Frank A. SortinoКатегория: Техника, Строительство
Размер книги: 1.30 Mb
Un-American Hollywood: Politics and Film in the Blacklist EraАвтор: Frank Krutnik, Автор: Steve Neale, Автор: Brian Neve, Автор: Peter StanfieldКатегория: Общественные науки прочие, Политика
Размер книги: 2.28 Mb
Final Cut Pro 4 Editing Essentials: Master the Art and Technique with Step-by-Step Tutorials (DV Expert Series)Автор: Tom Wolsky
Размер книги: 12.62 Mb
|
|
|