|
|
libcats.org
Главная →
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. ProceedingsFormal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. ProceedingsMathai Joseph Proceedings of the 6th International Symposium, FTRTFT 2000, Formal Techniques in Real-Time and Fault Tolerant Systems, held in Pune, India, September 20-22, 2000. A variety of topics were discussed, including model checking, fault tolerance, scheduling, and verification. Softcover.
Скачать книгу бесплатно (pdf, 2.81 Mb)
Читать «Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Сверхцентр бессмертияАвтор: Снегов Сергей АлександровичКатегория: Научная Фантастика
Размер книги: 34 Kb
Digital Switching Systems: System Reliability and AnalysisАвтор: Syed Riffat Ali
Размер книги: 2.04 Mb
(0, 2) Pal-type Interpolation: A General Method for RegularityАвтор: de Bruin M.G., Автор: Mache D.H.
Размер книги: 241 Kb
Первые Врата. Исследование сновиденной реальности шаг за шагом.Версия от 2005-01-13Автор: Неизвестен
Размер книги: 458 Kb
Историко-литературные исследования и материалыАвтор: Перетц В.Н.Категория: История
Размер книги: 2.24 Mb
Ethics and the Practice of Forensic Science (International Forensic Science and Investigation)Автор: Robin T. Bowen
Размер книги: 2.05 Mb
Compr. Heterocyclic Chem. III Vol.15 Ring indexАвтор: Katritzky A.R., Автор: et al. (eds.)Категория: Химия
Размер книги: 2.72 Mb
|
|
|