| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :2
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=512.58(043.3)<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
8258/P-ОХФ
    Vene, Varmo.
    Categorical Programming with Inductive and Coinductive Types [Текст] : dis. for the Degree of Dr of Philosophy / Varmo Vene. - Tartu : Univ. Press, 2000. - 116, [2] p. - (Dissertationes Mathematicae Univ. Tartuensis ; 23). - Bibliogr. - ISBN 9985-56-514-2 : Б. ц.
Рез. на эстон. яз.
УДК

Рубрики: математика--алгебра

Кл.слова (ненормированные):
категории -- морфизмы категорий -- рекурсия -- программирование
Экземпляры всего: 1
ОХФ (1)
Найти похожие

2.
A607590-ОХФ
    Осипов, Денис Васильевич.
    Категорные методы в теории высших аделей и их применение [Текст] : автореферат диссертации на соискание учёной степени доктора физико-математических наук : 01.01.06 / Д. В. Осипов ; Мат. ин-т им. В. А. Стеклова РАН. - Москва : [б. и.], 2013. - 24, [1] с. - Библиогр.: с. 23-24 (8 назв.). - ISBN [Б. и.]
УДК

Рубрики: математика--алгебра

Кл.слова (ненормированные):
алгебраическая геометрия -- алгебраические поверхности -- категории -- адели -- гармонический анализ



Экземпляры всего: 1
ОХФ (1)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)