- 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
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Sustainability or Collapse?: An Integrated History and Future of People on Earth (Dahlem Workshop Reports)
Автор: Robert Costanza, Автор: Lisa J. Graumlich, Автор: Will SteffenКатегория: История
Размер книги: 3.31 Mb
Multisystemic Therapy for Antisocial Behavior in Children and Adolescents
Автор: Scott W. Henggeler Phd, Автор: Phillippe B. Cunningham Phd, Автор: Sonja K. Schoenwald Phd, Автор: Charles M. Borduin, Автор: Melisa D. Rowland MD
Размер книги: 2.12 Mb
The Future of Human Resource Management: 64 Thought Leaders Explore the Critical HR Issues of Today and Tomorrow
Автор: Mike Losey, Автор: Dave Ulrich, Автор: Sue Meisinger
Размер книги: 2.36 Mb