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)

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

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

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

Древо жизни

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

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

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

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

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

Остров

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

Проклятие любви

 Автор:
Категория: Исторические любовные романы
Размер книги: 1.03 Mb

Wild Cards 02, Aces High

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

Brewster F2A Buffalo Aces of World War 2 (Aircraft of the Aces)

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

MythOS

 Автор:
Категория: fiction
Размер книги: 351 Kb

His Mistress by Arrangement

 Автор:
Категория: fiction
Размер книги: 565 Kb