|
|
libcats.org
CONCUR 2003 - Concurrency Theory, 14 confRoberto Amadio, Denis LugiezThis book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Хоббит, или Туда и обратно (пер. М. Каменкович, С. Степанов)Автор: Толкиен Джон Роналд РуэлКатегория: Фэнтези
Размер книги: 1.12 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Психология управления. Учебное пособиеАвтор: Розанова В.А.Категория: Менеджмент
Размер книги: 1.54 Mb
Practical Guide to Industrial Safety: Methods for Process Safety ProfessionalsАвтор: Nicholas P. CheremisinoffКатегория: engeneering_technology
Размер книги: 22.98 Mb
Realism Revisited: Philosophical Assumptions, Power Patterns, and American Foreign PolicyАвтор: Ronald J. Stupak, Автор: Peter M. LeitnerКатегория: Общественные науки прочие, Политика
Размер книги: 141 Kb
Corrosion of Metallic Heritage Artefacts : Investigation, Conservation and Prediction of Long Term BehaviourАвтор: P Dillman (Editor)Категория: Техника, Металлургия
Размер книги: 13.33 Mb
|
|
|