libcats.org
Главная →

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Обложка книги Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

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

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb

Вар мастер палицы

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

Introduction to Finite Element Method - I & II

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

Hyperbolic and viscous conservation laws

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

No Bull Investing

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

Nice Girls Don't Have Fangs

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