| № | Дата |
Автор |
Заглавие |
|---|
|
1998 |
Гордей, Александр Николаевич (род. 1965) |
Принципы исчисления семантики предметных областей : Дис.... д-ра филол.наук ; Бел.гос.ун-т |
|
2002 |
Ландо, Сергей Константинович (доктор физико-математических наук ; род. 1955) |
Лекции о производящих функциях |
|
2004 |
|
Computer safety, reliability, and security : 23rd Intern. conf., SAFECOMP 2004, Potsdam, Germany, Sept. 21-24, 2004 : proceedings / ed. Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
|
2012 |
Шамканов, Данияр Салкарбекович |
Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Шамканов Данияр Салкарбекович ; Московский государственный университет им. М. В. Ломоносова |
|
1999 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Формализация текстовых сообщений : Метод.разработки / Нац.АН Беларуси.Ин-т техн.кибернетики |
|
2013 |
Осипов, Геннадий Семенович (доктор физико-математических наук ; род. 1948) |
Лекции по искусственному интеллекту / Г. С. Осипов ; Российская академия наук, Институт системного анализа |
|
2018 |
Авдошин, Сергей Михайлович (кандидат технических наук) |
Дискретная математика. Формально-логические системы и языки : для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия" / С. М. Авдошин, А. А. Набебин |
|
2008 |
Башкин, Владимир Анатольевич (кандидат физико-математических наук) |
Эквивалентность ресурсов в сетях Петри / В. А. Башкин, И. А. Ломазова |
|
2010 |
Журавлев, Юрий Иванович (доктор физико-математических наук ; 1935—2022) |
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие по направлению "Прикладные математика и физика" / Ю. И. Журавлёв, Ю. А. Флёров, М. Н. Вялый |
|
2005 |
Васюков, Владимир Леонидович (доктор философских наук ; род. 1948) |
Категорная логика / В.Л. Васюков ; Рос. акад. наук, Ин-т философии |
|
1997 |
Гордей, Александр Николаевич (род. 1965) |
Предописание дедуктивной теории языка (на материале китайской речи) |
|
1996 |
Haag, Rudolf |
Local quantum physics : fields, particles, algebras |
|
2002 |
Липницкий, Андрей Александрович (кандидат физико-математических наук) |
Минимальные уравнения Вейерштрасса эллиптических кривых, определенных над полем вещественных формальных степенных рядов |
|
2020 |
Иванов, Владимир Михайлович (кандидат физико-математических наук) |
Интеллектуальные системы : учебное пособие для вузов / В. М. Иванов ; Уральский федеральный университет им. первого Президента России Б. Н. Ельцина |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ