|
|
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
Только что пользователи скачали эти книги:
Ил-76ТД. Самолет Ил-76ТД. Инструкция по технической эксплуатации. Система автоматического управления самолетомАвтор:Категория: Военная техника
Размер книги: 11.16 Mb
Stottern bei Kindern und Jugendlichen - Bausteine einer mehrdimensionalen Therapie - LogopadieАвтор: Claudia Ochsenkuhn, Автор: Monika M. Thiel
Размер книги: 12.10 Mb
Mathematics: Models of the Real WorldАвтор: Peter LancasterКатегория: Математика
Размер книги: 1.54 Mb
Modeling of Adhesively Bonded JointsАвтор: Lucas Filipe Martins da Silva, Автор: Andreas Öchsner
Размер книги: 9.86 Mb
The Continuing Drama of Those Left BehindАвтор: La Haye Tim, Автор: JENKINS JerryКатегория: fiction
Размер книги: 669 Kb
What Price VictoryАвтор: Gascoigne Marc, Автор: Dunn ChristianКатегория: fiction
Размер книги: 906 Kb
|
|
|