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
"Тектоника". Лучшее. 94-98
Горцев Сергей
,
Савицкий Артур
Категория:
Искусство и Дизайн
1.53 Mb
#2
Иду по трассе
Амнуэль Песах
Категория:
Научная Фантастика
90 Kb
#3
Жан Бодрийяр "Прозрачность зла" [V]
302 Kb
#4
Дэвид Балдаччи. Абсолютная власть
923 Kb
#5
Ю.Ю.Продан. Дорога на Тмутаракань.
370 Kb
#6
Религии мира
Категория:
info
,
encyc
,
info
,
guide
,
science
,
human
,
society
70.42 Mb
#7
Animating with Blender: How to Create Short Animations from Start to Finish
Roland Hess
45.88 Mb
#8
Самые вкусные пловы
Ивушкина О.
Категория:
ДОМ и СЕМЬЯ
,
ПРОФЕССИИ И РЕМЕСЛА
,
ХОББИ и РЕМЕСЛА
1.53 Mb
#9
Червоний привид
Рокотайло І.
Категория:
Худліт
935 Kb
#10
Гидротермическая обработка и консервирование древесины.
А. И. Расев
,
А. А. Косарин
8.73 Mb