Электронный каталог библиотеки УГП им. А. К. Айламазяна   Перейти на сайт 
 Университета города Переславля им.А.К.Айламазяна
 
Научные книги
 
Учебные книги
 
Справочные
книги
 
Художественные
книги
 
Прочие книги
 
Научные журналы
 
Научно-
популярные
журналы
 
Общественно-
политические
и
литературно-
художественные
 
Научные газеты
 
Общественно-
политические
газеты
 
Диссертации
 
Авторефераты
 
ПМИ дипломы
 
ИСЭ дипломы
 
ПИЭ дипломы
 
ИВТ дипломы
 
ИСТ дипломы
 
Социология
дипломы
 
Менеджмент
дипломы
 
Видеотека
 
Аудиоматериалы
 
Книги
 
Журналы
 
Разное
Книжный Журналы Газеты Диссертации Дипломы Аудиовизуальные материалы CD/DVD
Главная страница | Диссертации | Авторефераты
 
         Всего: наименований – 76, экземпляров – 79

Страницы (по 30 записей на одной странице): 1  2  3  [с 1 по 30] В конец списка
Название Автор Описание Шифр Группа Место
Потоковые методы решения многоиндексных задач транспортного типа.Афраймович, Л.Г.

[Текст]: автореф.дис.на соиск.учен. степ. канд. тех. наук: по спец. 01.01.09 -дискретная математика и математическая кибернетика/ Лев Григорьевич Афраймович; ФГБУН ВЦ им. А.А. Дородницына РАН.- М., 2013.- 34 с.


Диссертации
Читальный зал1
Метавычисления и их применениеАбрамов С.М.
 Автореф.дис. на соиск. учен. степ. докт. физ-мат. наук: (05.13.17). -Переславль-Залесский: Ин-т Программынх систем РАН, 1995. - 32с.
004.4Диссертации
Читальный зал1
Функциональные системы и параллельне вычисления.Кутепов В.П.

Автореф. дис. на соиск. учен. степ. докт. тех. наук: (05.13.13). - М: МЭИ, 1982. - 40 с.

004.4Диссертации
Читальный зал1
Синтез параллельных программ на вычислительных моделях с массивами. Малышкин В.Э.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (01.01.10) - Новосибирск: ВЦ Сибирского отдела. АН СССР, 1984. - 22 с.

004.4Диссертации
Читальный зал1
Программная система конструирования лингвистических процессоровТрапезников С.П.

Автореф. дис. на соиск. учен. степ. канд. тех. наук:(05.13.11). - Новосибирск: ВЦ СО АН СССР, 1990. - 18 с.

004.4Диссертации
Читальный зал1
Трансляция параллельных программ, описанных сетями Петри, в исполняемое представления. Харитонов Д.Н.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05.13.11). -  Владивосток: Ин-т автоматики и процессов управления Дальневосточного отд. РАН, 2002 - 18 с.


004.4Диссертации
Читальный зал1
Программная система выявления нелегитимной активности на промышленных площадках.Абрамов, Н.А.

[Текст]: автореф.дис.на соиск.учен. степ. канд. тех. наук: по спец. 05.13.11-математическое и программное обеспечение вычислительных машин, комплексов и компьютерный сетей/ Николай Александрович Абрамов; ФГБУН ВЦ им. А.А. Дородницына РАН.- М., 2013.- 15 с.


004.42Диссертации
Читальный зал1
Структурирование данных в диалоговой системе программирования ДССПГрачев А.Ю.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.13.11)  - М.: МГУ, 1991. - 16 с.

004.422.6Диссертации
Читальный зал1
Концептуальное программирование на Прологе.Ломп А.А.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05. 13. 11) - Таллин: Ин-т кибернетики А.Н. Эстонской ССР, 1987. - 18 с.

004.434: 004.8Диссертации
Читальный зал1
Использование метода ситуационного управления при проектировании операционных систем ЭВМ. Димитров Д. Б.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.13.13) - М: МЭИ, 1975. - 26 с.

004.451:658Диссертации
Читальный зал1
Разработка и исследование системы недоопределенного вывода для декларативных продукций.Артемьева И.Л.

Автореф. дис. на соиск. учен. степ. канд. тeх. наук: (05.13.11). -Владивосток: Ин-т автоматики и процессов управления Дальневосточного отд. РАН, 1992. - 18 с.


004.8Диссертации
Читальный зал1
Дослiженная, розробка та реалiзацiя аргебрологiчних конструкцiй для пiдвищеня рiвня машинного iнтелектуАсельдеров З. М.
 Автореф. дис. на здоб. учен. степ. док. физ-мат наук: (01.01.09). - Киiв:Академiя наук Украiни Iнститут кiбернетики iменi В.М. Глушкова, 1992. - 28 с.
 

004.8Диссертации
Читальный зал1
Инструментальные средства формирования баз процедурных знанийАндриенко Н.В.
  Автореф. дис. на соиск. учен. степ.канд. физ-мат. наук:: (05.13.11). - М: МГУ имени М.В. Ломоносова, 1992. - 15 с.
004.8Диссертации
Читальный зал1
Модель представления знаний для экспертной системы управления сложным технологическим объектом дискретно-непрерывного типа.Бутлярис Р.Б.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05. 13. 01). - Каунас: Каунасский политех. ин-т им. А.Снецкуса, 1987. - 22с.

004.8Диссертации
Читальный зал1
Представление, организация и обработка знаний в нтеллектуальной системе икарВоробьев В.Б.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук:: (05.13.11). -М: МАИ,  1992. - 14 с.

004.8Диссертации
Читальный зал1
Исследование вопросов речевого управления в системах оперативного взаимодействия человека и машиныВысоцкий Г.Я.

Автореф. дис. на соиск. учен. степ. канд. тех. наук:: (05.255). -М: МФТИ, 1973. - 24 с.

004.8Диссертации
Читальный зал1
Логико-лингвистиечкая модель предметной области (на примере автоматического анализа тестов) Гаврилова Т.А.

Автореф. дис. на соиск. учен. степ. канд. тех. наук:: (05.13.01). - Ленинград: Ленинградский политех. ин-т им. М.И. Калинина, 1986. - 16 с.


004.8Диссертации
Читальный зал1
Метод анализа управляющей деятельности человека в организационных системах посредством фреймов и специальной модальной логикиЕмельянов А.М.
Автореф. дис. на соиск. учен. степ. канд. физ.мат. наук: (05.13.02) - М: ВЦ АН СССР, 1980. - 16 с. 
004.8Диссертации
Читальный зал1
Применение П-графов для представленя и поиска знаний в динамических базах знанийЕфимова С.М.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.13.11) - М: ВЦ АН СССР, 1986. - 16 с.

004.8Диссертации
Читальный зал1
Интерактивная компьютерная и проблемы интенсификации научного творчестваЗенкин А.А.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.13.11)- М: МГУ, 1987. 48 с.

004.8Диссертации
Читальный зал1
Логический анализ интеллектуальных систем с метапроцедурами.Катречко С.Л.

Автореф. дис. на соиск. учен. степ. канд. филос. наук: (09.00.07). -М: Ин-т философии АН России, 1992. - 24 с.

004.8Диссертации
Читальный зал1
Методы и средства представления знаний в ЭВМ для автоматизации моделирования проектных расчетов систем термостатирования.Лазарев В.И.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.013.11). - М: Вычислительный центр АН СССР, 1986. - 16 с.

004.8Диссертации
Читальный зал1
Разработка метода и программных средств первичного извлечения экспертных знаний.Моргоев В.К.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05.13.10) - М.: Всесоюзный НИИ системных исследований АН СССР, 1990. - 16 с.

004.8Диссертации
Читальный зал1
Алгебраический аппарат концептуальных отношений и его применение ддля постороения моделей проблемных областей.Нисенбойм Л.Б.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (01.01.09). - М: Академия наук СССР, 1989. - 16 с.

004.8Диссертации
Читальный зал1
Программные системы для баз знаний с неполной информацией.Хазановский К.П.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05.13.17). - М: ВИНИТИ, 1990. - 24 с.

004.8Диссертации
Читальный зал1
Методы и средства ведения баз знаний на структурных моделях сложных системШпит З.С.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05.13.11). - Киев: Киевский политехнический ин-т, 1990, - 18 с.

004.8Диссертации
Читальный зал1
Исследование закономерностей структуризации кнструктивно-технологических знаний.Шумов С.И.

Автореф. дис. на соиск. учен. степ. канд. тех. наук: (05.13.16). - М: Ин-т автоматизации проектирования РАН, 1992. - 12 с.

004.8Диссертации
Читальный зал1
Исследование методов представления и обработки знаний средствами дескриптивной логикиШушакова А.Г.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.13.17).-Переславль-Залесский: ИПС РАН, 2002. - 24 с.

004.8Диссертации
Читальный зал1
Синтез текстов естественного языка в адаптивных диалоговых системахЯворский А.Л.

Автореф. дис. на соиск. учен. степ. канд. тех. наук:(05.25.01). - Киев: ин-т кибернетики им. В.М. Глушкова АН УССР, 1987. - 16 с.

004.8Диссертации
Читальный зал1
Системы продукций как средство представления и обработки знания в интеллектуальных системах.Яхно Т.М.

Автореф. дис. на соиск. учен. степ. канд. физ-мат. наук: (05.13.11). - Новосибирск: АН СССР, 1986. - 18 с.

004.8Диссертации
Читальный зал1
Страницы (по 30 записей на одной странице): 1  2  3  [с 1 по 30] В начало списка



152020, Ярославская обл., Переславль-Залесский, ул. Советская, 15 (здание 2-ого корпуса)  
Тел.: (48535) 9-81-33, library@u.pereslavl.ru