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
Самодельные детали для сельского радиоприемника
Авторы: З.Б.Гинзбург
,
Ф.И.Тарасов.
Категория:
радиоэлектроника
1.40 Mb
#3
Радиолюбительские конструкции
Вознюк В.В.
1.99 Mb
#4
Английский школьникам. Тренажер по чтению. Буквы и звуки
Е. В. Русинова
12.41 Mb
#5
Детали машин. Краткий курс и тестовые задания
Олофинская В.П.
Категория:
science
,
technical
,
civil
,
engineer
,
civil
,
tech
,
civil
27.33 Mb
#6
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Роман Савин
Категория:
info
,
manual
,
computers
,
computers
,
manuals
5.26 Mb
#7
Путь к здоровью и долголетию
Горен Михаэль
Категория:
Здоровье
1.13 Mb
#8
Система упражнений по развитию способностей человека (Практическое пособие)
Петров Аркадий Наумович
Категория:
Путь к себе
818 Kb
#9
Самоделки школьника
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
41.91 Mb
#10
Электронные схемы и их применение
Сентурия С.
,
Уэдлок Б.
10.14 Mb
Только что пользователи скачали эти книги:
#1
Под влиянием минуты
Крючков Игорь
Категория:
Современная проза
6 Kb
#2
Английский язык с Шерлоком Холмсом. Первый сборник рассказов
A A A
,
I I I
,
C C C
,
Еремин Андрей
,
Франк Илья Михайлович
Категория:
Языкознание
,
Классический детектив
1.21 Mb
#3
Гавриил Петросян. Одиссея марок Сиданга (Повесть)
71 Kb
#4
Zeta functions, introduction to algebraic geometry
A.D. Thomas
Категория:
Mathematics
,
Algebra
,
Algebraic geometry
1.78 Mb
#5
Роль орбито-фронтальной коры и гиппокампа в адаптивно-компенсаторных процессах при поражении ствола мозга крыс(Диссертация)
Новикова М.Р.
Категория:
Диссертации авторефераты
2.05 Mb
#6
Приглашение на Математический праздник. Задания
Ященко И.В.
Категория:
Педагогика в помощь учителю
1.22 Mb
#7
Канализация населенных мест и промышленных предприятий. Справочник..
Категория:
Справочники
13.59 Mb
#8
Карманный справочник нефтепереработчика
М.Г. Рудин и др.
Категория:
Справочники
8.58 Mb
#9
Краткий справочник монтажника и ремонтника
Н.В. Никитин и др.
Категория:
Справочники
23.92 Mb
#10
Основы технологического проектирования производств органического синтеза
Беркман Б.Е.
Категория:
НАУКА и УЧЕБА
7.87 Mb