Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)

libcats.org

Скачать книгу бесплатно (pdf, 1.77 Mb)

Читать «Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

Только что пользователи скачали эти книги:

Октябрьская революция предана?

Автор: Соловьёв Авенир Васильевич

Категория: История

Размер книги: 88 Kb

Золотой Лис. 1-2 часть

Автор: Иващенко Валерий

Категория: Фэнтези

Размер книги: 955 Kb

Основы компьютерной алгебры с приложениями

Автор: Акритас А.Г.

Категория: Computer science, Computer algebra

Размер книги: 2.71 Mb

Редактирование

Автор: Антонова С.Г., Автор: Соловьев В.И., Автор: Ямчук К.Т.

Категория: Справочники

Размер книги: 3.44 Mb

Intelligent Educational Machines: Methodologies and Experiences

Автор: Mario Neto Borges, Автор: Nival Nunes de Almeida

Размер книги: 7.79 Mb

Исследование процесса экструдирования растительных материалов: Методические указания по выполнению лабораторной работы

Автор: Ханин В.П., Автор: Сагитов Р.Ф., Автор: Рабинович И.Б.

Категория: Машиностроение

Размер книги: 332 Kb

The Known World

Автор: Edward P. Jones

Размер книги: 1.12 Mb

Matters of Life and Death: Psychoanalytic Reflections

Автор: Salman Akhtar

Размер книги: 616 Kb

Desarrolla una mente prodigiosa (Psicologia y Autoayuda)

Автор: Ramon Campayo

Размер книги: 2.49 Mb

Medico rural

Автор: Trigo Felipe

Категория: fiction

Размер книги: 726 Kb