|
|
libcats.org
CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005Martín Abadi, Luca de AlfaroThis book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.
Скачать книгу бесплатно (pdf, 4.84 Mb)
Читать «CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
100 великих разведчиковАвтор: Дамаскин Игорь АнатольевичКатегория: Справочники
Размер книги: 2.62 Mb
Anthology - Secrets Vol 2 (DeSalvo, Hamre, Knight, Paul)Автор: ANTHOLOGIESКатегория: anthologies
Размер книги: 442 Kb
Modeling for Preparative ChromatographyАвтор: Georges Guiochon, Автор: Bingchang Lin
Размер книги: 1.67 Mb
Advanced Probability Theory for Biomedical EngineersАвтор: John D. Enderle, Автор: David C. Farden, Автор: Daniel J. Krause
Размер книги: 1.11 Mb
The Elements of Computing Systems: Building a Modern Computer from First PrinciplesАвтор: Noam Nisan, Автор: Shimon Schocken
Размер книги: 4.26 Mb
|
|
|