libcats.org
Главная →

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Обложка книги Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

, ,
Популярные книги за неделю:

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Летний отдых

 Автор:
Категория: Иронический детектив
Размер книги: 605 Kb

Снорри Стурлусон. Сага об Эгиле

Автор:
Размер книги: 369 Kb

J2EE Design Patterns

 Автор: , Автор:
Размер книги: 1.17 Mb

Аневризма аорты

 Автор:
Размер книги: 2.49 Mb

Очерк внутренней истории Пскова

 Автор:
Категория: ИСТОРИЯ
Размер книги: 25.42 Mb

Quaternary Glaciations - Extent and Chronology: Europe

Автор: , Автор:
Размер книги: 6.00 Mb