2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee.org
Главная
→
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
ВКонтакте
Одноклассники
Telegram
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
О.Д.Вальпа. Полезные схемы с применением микроконтроллеров и ПЛИС (djvu)
9.91 Mb
#3
Самодельные детали для сельского радиоприемника
Авторы: З.Б.Гинзбург
,
Ф.И.Тарасов.
Категория:
радиоэлектроника
1.40 Mb
#4
Радиолюбительские конструкции
Вознюк В.В.
1.99 Mb
#5
ВАЗ 2110i, -2111i, -2112i
Категория:
civil
,
civil
,
transport
57.35 Mb
#6
Английский школьникам. Тренажер по чтению. Буквы и звуки
Е. В. Русинова
12.41 Mb
#7
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Роман Савин
Категория:
info
,
manual
,
computers
,
computers
,
manuals
5.26 Mb
#8
Система упражнений по развитию способностей человека (Практическое пособие)
Петров Аркадий Наумович
Категория:
Путь к себе
818 Kb
#9
Самоделки школьника
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
41.91 Mb
#10
Электронные схемы и их применение
Сентурия С.
,
Уэдлок Б.
10.14 Mb
Только что пользователи скачали эти книги:
#1
Мой первый Йолдаш
Хедин Свен
Категория:
Природа и животные
95 Kb
#2
Энциклопедический справочник. Машиностроение. Технология производства машин
28.03 Mb
#3
Производство сероуглерода
Смуров В.С.
,
Аранович Б.С.
Категория:
Chemistry
,
Chemical engineering
,
InorganicProd
2.66 Mb
#4
Полимеры на основе винилацетата
Розенберг М.Э.
Категория:
Chemistry
,
Organic Chemistry
,
Polymers
2.61 Mb
#5
Гимнастический комплекс у-шу по школе ?Чой?
Герман ПОПОВ
,
Олег САГОЯН
,
Владимир ДИДЕНКО
,
Сергей САБАТОВСКИЙ
Категория:
people
,
develop
,
people
,
survival
4.17 Mb
#6
Раздувай и властвуй. Практическое руководство по технологиям мягкой пропаганды
Миронов
,
А.
129 Kb
#7
Верная жена
Король и Шут
Категория:
Песенники и тосты
1 Kb
#8
Жертвоприношение
Вагнер Карл Эдвард
Категория:
Фэнтези
122 Kb
#9
Станислав Гроф Путешествие в поисках себя/
1.63 Mb
#10
Cucinare Benissimo - Il meglio della cucina cinese
AA.VV
Категория:
Libri di cucina
43.47 Mb