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
Только что пользователи скачали эти книги:

Сектор Газа

 Автор:
Категория: Песенники и тосты
Размер книги: 1 Kb

The Economics of Entrepreneurship

 Автор:
Категория: Экономика
Размер книги: 1.93 Mb

The Perfect Wife (Harrington Family, Book 1)

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

Interpersonal Sensitivity: Theory and Measurement

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

PRINCE CHARMING

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

The Biography of a Grizzly

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