21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Скачать

Скачано 1698 раз

Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Тартуского университета u Академической библиотеки Таллиннского университета

Доступно в сети Национальной библиотеки Эстонии

Открытый доступ предоставляется

PDF

Скачать

abstracts.pdf (7 MB)

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Редактор: Tarmo Uustalu, Оформитель: Aive Kalmus, Автор: International Conference on Types for Proofs and Programs

технические данные

Издатель:: Institute of Cybernetics at Tallinn University of Technology
Год издания:: 2015
Язык:: aнглийский
Депозитор:: Eesti Rahvusraamatukogu
Заметка:: http://cs.ioc.ee/types15/abstracts-book/abstracts.pdf

Тип:: книга

: Защищены авторским правом
ESTER: b44842685
ISBN: 978-9949-430-87-1 (pdf)

Ссылка: http://www.digar.ee/id/nlib-digar:250381

СМОТРИ ТАКЖЕ

Соответствуют ли показания плавучего испарителя истинной величине испа... Evald Oldekop, Россия. Министерство земледелия.Отдел земельных улучшений.Гидрометрическая часть в Туркестанском крае.Метеорологический отдел
Начертание древних и нынешняго времени разнонародных зданий, как то: х... Иван Лем
Автономия, федерация и национальный вопрос
Обозрение лекций в имп. Юрьевском Университете. 1897 г. I семестр К.trükikoda (Юрьев) Маттисен, Mattieseni trükikoda (Tartu), Tartu Ülikool, Юрьевский университет
Критика основных направлений экономической мысли в буржуазной Эстонии ... Валнер Кринал, Tartu Riiklik Ülikool
Основы ботаники. Том I : По лекциям, читанным в Императорском Юрьевско... Николай Иванович Кузнецов, Императорский Юрьевский университет
Решение логических уравнений : автореферат ... кандидата физико-матема... Антс Таутс, Tartu Riiklik Ülikool
Русская литература : Исторический обзор главнейших литературных явлени... Евгений Вячеславович Петухов
Живые и мертвые : роман Иван фон Нолькен
Факты о Таллинне ; 2011 Tallinna Ettevõtlusamet
Johannes Võerahansu : näituse kataloog Tartu Kunstimuuseum, Eesti NSV Kunstnike Liit, tööde näitus Johannes Võerahansu
Автономия Ирландии А. М. Кулишер
Устав курсов графических искусств Эстонского художественного общества ... Эстонское художественное общество (Ревель). Курсы графических искусств
Культурно-географический сборник : Европа
Vene keele õpik III klassile. 2. vihk Hilda Maiste
Протоколы заседаний епархиального собрания Нарвской епархии Эстонская Апостольская Православная Церковь. Нарвская епархия.Епархиальное собрание
Eesti soldati käsiraamat = Руководство для нижних чинов из эстонцев :... R Summer
Сборник женской гимназии А. С. Пушкина в г. Юрьеве. Том 1 Антон Никитич Ясинский, Мария Николаевна. Воскресенская, Николай Кузьмич Грунский, Евгений Вячеславович Петухов, Михаил Адрианович Тростников, Юрьевская женская гимназия А. С. Пушкина, Россия. Министерство народного просвещения
Образовательная экскурсия в Закаспийский край и на Кавказ Григорий Григорьевич Сумаков
Миграционная статистика за 2017-2021 годы Eesti. Siseministeerium, Euroopa rändevõrgustiku Eesti kontaktpunkt