2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee.org
Главная
→
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Paul Callaghan
,
Zhaohui Luo
,
James McKinna
,
Robert Pollack
Papers from the International Workshop, TYPES 2000, held December 8-12, 2000 in Durham, UK. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Softcover.
Скачать книгу бесплатно
(pdf, 2.96 Mb) |
Читать «Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers »
EPUB
|
FB2
|
MOBI
|
TXT
|
RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#1
В.Н.Носов. Полупроводники и их применение (1968, djvu)
1.03 Mb
#2
Самодельные детали для сельского радиоприемника
Авторы: З.Б.Гинзбург
,
Ф.И.Тарасов.
Категория:
радиоэлектроника
1.40 Mb
#3
Радиолюбительские конструкции
Вознюк В.В.
1.99 Mb
#4
ВАЗ 2110i, -2111i, -2112i
Категория:
civil
,
civil
,
transport
57.35 Mb
#5
Английский школьникам. Тренажер по чтению. Буквы и звуки
Е. В. Русинова
12.41 Mb
#6
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Роман Савин
Категория:
info
,
manual
,
computers
,
computers
,
manuals
5.26 Mb
#7
Система упражнений по развитию способностей человека (Практическое пособие)
Петров Аркадий Наумович
Категория:
Путь к себе
818 Kb
#8
Самоделки школьника
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
41.91 Mb
#9
Электронные схемы и их применение
Сентурия С.
,
Уэдлок Б.
10.14 Mb
#10
Тренажер по математике к учебнику Л.Г.Петерсон. 2 класс
МАРКО ПОЛО
Категория:
ДЛЯ ДЕТЕЙ
,
НАУКА и УЧЕБА
173.06 Mb
Только что пользователи скачали эти книги:
#1
Пусть не на что мне опереться
Лиснянская Инна
Категория:
Поэзия
1 Kb
#2
Людмила Ивановна Кунецкая, Клара Александровна Маштакова. Мария Ульянова (Жизнь замечательных людей)
573 Kb
#3
Прикладная акустика
Фурдуев В.
5.50 Mb
#4
Основы теории штамповки выдавливанием на прессах
Овчинников Анатолий Георгиевич
Категория:
Технология металлов. Машиностроение. Приборостроение
8.18 Mb
#5
Справочное руководство по гальванотехнике
Перевод с немецкого Н. Б. СЦИБОРОВСКОЙ Под редакцией проф. докт. техн. наук В. И. ЛАИНЕРAЛ
Категория:
info
,
guide
,
science
,
technical
3.62 Mb
#6
Теория функций действительного переменного
Лузин Н.Н.
19.26 Mb
#7
Развитие творческого мышления шахматиста
Дворецкий Марк
,
Юсупов Артур
Категория:
people
,
people
,
sport
3.92 Mb
#8
Академическая Русская Грамматика
Категория:
Филология
3.40 Mb
#9
Kass et al. Rapid computer graphics simulation of fluid dynamics(9s).djvu
910 Kb
#10
Англійська мова. Граматичний практикум. ІII рівень
Павліченко О.М.
105.41 Mb