- 2 402 202 книги
- Поиск
libcats.org
Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. RyanProceedings of the 4th Summer School, MOVEP 2000, held June 19-23, 2000, Nantes, France. Papers covering the main subjects addressed at MOVEP 2000. Softcover.
Скачать книгу бесплатно (pdf, 1.52 Mb)
Читать «Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000»
Читать «Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Projects in Computing and Information Systems: A Student's Guide
Автор: Christian W. DawsonКатегория: Computer Science, Computer Science
Размер книги: 9.26 Mb
Microarray Technology and Cancer Gene Profiling (Advances in Experimental Medicine and Biology, 593)
Автор: Simone Mocellin
Размер книги: 11.87 Mb
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор: Giovanni Sommaruga
Размер книги: 3.24 Mb
Криптографические протоколы. Основные свойства и уязвимости
Автор: Черемушкин А.В.Категория: Cs_Computer science, CsCr_Cryptography
Размер книги: 1.68 Mb