Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

libcats.org

Главная →

Donald MacKenzie

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

EPUB | FB2 | PDF | MOBI | TXT | RTF

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

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

Розалинд Мак-Найт. Космические путешествия

Автор:

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

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

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

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

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

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

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

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

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

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

Древо жизни

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Момент истины (В августе сорок четвертого...)

Автор: Богомолов Владимир Осипович

Категория: О войне

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

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

Алексей Николаевич Толстой. Сестрица Аленушка и братец Иванушка (djvu)

Автор:

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

Introduction to the Theory of Analytic Spaces

Автор: Narasimhan N.

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

Quantitative Finance for Physicists: An Introduction

Автор: Anatoly B. Schmidt

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

Yes i Will

Автор: Backstreet Boys

Категория: Песенники и тосты

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

Lektureschlussel: Heinrich von Kleist - Der zerbrochne Krug

Автор: Theodor Pelster

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

Situated Literacies: Reading and writing in context (Literacies)

Автор: David Barton

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

The Apocalypse Reader

Автор: Taylor Justin

Категория: fiction

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

Hell Comes for the Hurried

Автор: Wands Steve

Категория: fiction

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

El Girasol

Автор: Paul Evans Richard

Категория: fiction

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

Cosmo Genèse : Les preuves scientifiques de l'existence de la planète cachée

Автор: Zecharia Sitchin

Категория: World history

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