2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
1.28 Mb
#2
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
1.15 Mb
#3
The [pi]-calculus : a theory of mobile processes
Davide Sangiorgi; David Walker
Категория:
Cs_Computer science
,
CsF_Formal methods
5.65 Mb
#4
CONCUR '98, Concurrency Theory, 9 conf
Davide Sangiorgi
,
Robert de Simone
Категория:
Cs_Computer science
,
CsLn_Lecture notes
7.47 Mb
#5
The Pi Calculus
Davide Sangiorgi
,
David Walker
17.71 Mb
#6
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Rocco De Nicola
,
Davide Sangiorgi
5.95 Mb