libcats.org
Главная →

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Обложка книги Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

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

ВАЗ 2110i, -2111i, -2112i

 Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

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

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

Древо жизни

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

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

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

Peter David - Sir Apropos 02 - The Woad To Wuin

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

Илья Одинец. Импланты

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

Переход

 Автор:
Категория: Фэнтези
Размер книги: 1.55 Mb

Sword of God

 Автор:
Категория: Научная Фантастика
Размер книги: 694 Kb