libcats.org
Главная →

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures

Обложка книги Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Ахиллес, или Мир Аль-Азифа

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

Circuit Cellar (June 2001)

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

The Biology of Gastric Cancers

 Автор: , Автор: , Автор:
Категория: science_books, medicine
Размер книги: 9.25 Mb

Rumble in the Jungle

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

Even More Top Secret Recipes

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