| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
Степанов, Михаил Федорович |
Автоматическое решение формализованных задач теории автоматического управления : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01 ; 05.13.18 / Степанов Михаил Федорович ; [Саратовский государственный технический университет] |
|
2002 |
Елецких, Сергей Витальевич (кандидат технических наук ; род. 1965) |
Моделирование и анализ технологичеких структур промышленного производства сыпучих пищевых продуктов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.18; 05.13.06 / Елецких Сергей Витальевич ; [Воронеж. гос. техн. ун-т] |
|
2002 |
Скоморохов, Геннадий Иванович |
Модели структурного и параметрического синтеза силовых автоколебательных систем с прогнозируемыми свойствами отношений конфликта : Автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.18; 05.13.12 / Скоморохов Геннадий Иванович ; [Воронеж. гос. технол. акад.] |
|
2002 |
Хаустович, Александр Владимирович (доктор технических наук ; род. 1949) |
Методология автоматизированного проектирования информационно-телекоммуникационных систем на основе моделирования и оптимизации сетей передачи данных : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.12 Системы автоматизации проектирования / Хаустович Александр Владимирович ; [Воронежский государственный технический университет] |
|
2005 |
Головченко, Станислав Геннадьевич |
Повышение эффективности технологических размерных расчетов на основе формализации этапа подготовки и преобразования исходных данных с применением информационно связанных моделей детали и технологического процесса : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.02.08 / Головченко Станислав Геннадьевич ; [Омский государственный технический университет] |
|
2002 |
Сейфулин, Андрей Игоревич |
Ситуационное моделирование полиграфических процессов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.06 / Сейфулин Андрей Игоревич ; [Моск. гос. ун-т] |
|
2007 |
Пунтиков, Николай Игоревич |
Метод выбора модели процесса разработки программного изделия на основе формализации описания пространства характеристик проектов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Пунтиков Николай Игоревич ; [Санкт-Петербургский институт информатики и автоматизации РАН] |
|
2006 |
Беляков, Николай Владимирович (кандидат технических наук, технология машиностроения ; род. 1977) |
Формализация проектирования технологических процессов механической обработки корпусных деталей машин : [монография] / Беляков Н.В., Махаринский Е.И., Махаринский Ю.Е. ; Витеб. гос. технол. ун-т |
|
1994 |
Williamson, Timothy |
Vagueness / Timothy Williamson |
|
2009 |
Коробкин, Александр Александрович |
Разработка моделей и методов принятия решений с применением искусственного интеллекта для организации учебного процесса : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Коробкин Александр Александрович ; [Воронежский государственный педагогический университет] |
|
2010 |
Циликов, Илья Сергеевич |
Разработка модели представления, методов и алгоритмов интеллектуальной обработки текста с целью его формализации в информационных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Циликов Илья Сергеевич ; [Санкт-Петербургский государственный электротехнический университет им. В. И. Ульянова (Ленина)] |
|
2016 |
Андреев, Дмитрий Анатольевич |
Модели, алгоритмы и показатели качества формализованного описания и анализа технологий производства продукции : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации (технический системы) / Андреев Дмитрий Анатольевич ; [Псковский государственный университет] |
|
1998 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Метод представления знаний в информационных системах : Метод.разраб. / Нац.акад.наук Беларуси.Ин-т техн.кибернетики |
|
2000 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Формальный язык : Теория.Грамматика.Применение / Нац.акад.наук Беларуси.Ин-т техн.кибернетики |
|
2019 |
Поличка, Анатолий Егорович |
Основы моделирования в условиях компьютеризации и математизации : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет" |
|
2002 |
Шамрай, Александр Владимирович |
Формализованный анализ предметной области и выбор системы поддержки принятия решений в службах пути Государственных Бассейновых Управлений : Автореф. дис. на соиск. учен. степ. канд. экон. наук : 08.00.13 / Шамрай Александр Владимирович ; [Рост. гос. экон. ун-т] |
|
2002 |
Малина, Ольга Васильевна (доктор технических наук) |
Теория и практика автоматизации структурного синтеза объектов и процессов с использованием методов характеризационного анализа : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.12 Системы автоматизации проектирования в машиностроении / Малина Ольга Васильевна ; [Ижевский государственный технический университет] |
|
2001 |
Лагодюк, Алексей Николаевич |
Моделирование и анализ задач обслуживания при невременных ограничениях на ресурс : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Лагодюк Алексей Николаевич ; [Казанский государственный технический университет им. А. Н. Туполева (КАИ)] |
|
2006 |
Вайнерман, Игорь Алексеевич |
Математическое и программное обеспечение для формализации приоритетов пользователя с целью повышения эффективности использования сетевых сервисов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Вайнерман Игорь Алексеевич ; [Уфимский государственный авиационный технический университет] |
|
1989 |
Witulski, Klaus |
Entwicklung einer Expertensystemumgebung zur Verarbeitung sich haufig andernder Vorschriften : dargestellt an Beispielen aus den Wohnungsbauforderungsbestimmungen des Landes Nordrhein-Westfalen / Klaus Witulski |
|
1986 |
Старостин, Владимир Георгиевич |
Формализация проектирования процессов обработки резанием / В. Г. Старостин, В. Е. Лелюхин |
|
2011 |
Харитонов, Иван Михайлович |
Модели и алгоритмы планирования учебного процесса вуза на основе модульно-компетентностного подхода : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.10 Управление в социальных и экономических системах / Харитонов Иван Михайлович ; [Камышинский технологический институт (филиал) Волгоградский государственный технический университет] |
|
2014 |
Пиотух, Денис Станиславович (кандидат экономических наук ; род. 1970) |
Управление нематериальными активами в составе технологической компетенции организации / Д. С. Пиотух |
|
2016 |
Женибекова, Алтын Бактваевна |
Формализация картографических процессов для автоматизированного создания карт в среде ГИС неподготовленными пользователями : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 25.00.33 Картография / Женибекова Алтын Бактваевна ; [Сибирский государственный университет геосистем и технологий] |
|
2021 |
Мохаммед, Омар Ахмед Абдулвасеа (инфокоммуникационные технологии ; род. 1992) |
Разработка метода повышения пропускной способности системы экстренных служб : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.12.13 Системы, сети и устройства телекоммуникаций / Мохаммед Омар Ахмед Абдулвасеа ; [Московский технический университет связи и информатики (МТУСИ)] |
|
2008 |
Макаров, Михаил Михайлович (кандидат технических наук ; род. 1957) |
Модели интеллектуального анализа данных в предметно-ориентированной информационной системе : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.17 ; 05.13.11 / Макаров Михаил Михайлович ; [Государственное образовательное учреждение высшего профессионального образования "Пензенский государственный университет"] |
|
2002 |
Лаптев, Александр Анатольевич (кандидат физико-математических наук) |
Математическое моделирование глобальных социальных процессов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Лаптев Александр Анатольевич ; [Омский государственный университет] |
|
2002 |
Помазанов, Иван Николаевич |
Ускоренное символьно-предикатное моделирование организационно-технических систем предприятий : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации (технические системы) / Помазанов Иван Николаевич ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)] |
|
2000 |
Колдаев, Роман Валентинович |
Эволюционный синтез автономных инверторов с квазисинусоидальным выходным напряжением : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.09.03 Электротехнические системы и комплексы, включая их управление и регулирование / Колдаев Роман Валентинович ; [Саратовский государственный технический университет] |
|
2002 |
Фролова, Юлия Владимировна (кандидат физико-математических наук) |
Математическое моделирование и разработка комплекса программ для исследования транзакционных и гендерных взаимодействий : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.18 / Фролова Юлия Владимировна ; [Ом. гос. ун-т] |
|
2006 |
Новосельцев, Виталий Борисович |
Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Новосельцев Виталий Борисович ; [Томский политехнический университет] |
|
2007 |
Бериков, Владимир Борисович (доктор технических наук) |
Выбор оптимальной сложности класса логических решающих функций в задачах анализа разнотипных данных : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.17 / Бериков Владимир Борисович ; [Институт математики им. С. Л. Соболева СО РАН] |
|
1999 |
Могилевский, Вадим Дмитриевич |
Формализация динамических систем / В.Д.Могилевский |
|
1993 |
|
Формализация и автоматизация логического проектирования : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
2008 |
Фрейдина, Елизавета Васильевна |
Исследование систем управления : учеб. пособие для вузов / Е. В. Фрейдина ; под ред. Ю. В. Гусева |
|
2010 |
Трахтенгерц, Эдуард Анатольевич (доктор технических наук) |
Компьютерные системы и методы поддержки информационного управления / Э. А. Трахтенгерц |
|
2011 |
Михелев, Михаил Владимирович |
Формализация визуальных графоаналитических моделей процессов управления : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Михелев Михаил Владимирович ; [Белгородский государственный национальный исследовательский университет (НИУ "БелГУ")] |
|
1999 |
Глухов, Дмитрий Олегович (кандидат технических наук, информатика и вычислительная техника ; род. 1972) |
Разработка и исследование методов повышения качества нечеткого управления сложными динамическими объектами : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Управление в технических системах / Глухов Дмитрий Олегович ; Полоцкий государственный университет |
|
2019 |
Лазарсон, Эрнст Владимирович (кандидат технических наук) |
Теория и методы решения многовариантных неформализованных задач выбора : [монография] / Э. В. Лазарсон |
|
2020 |
Онуфриев, Вадим Александрович |
Проектирование интеллектуальных систем управления : [учебное пособие] : по укрупненным группам специальностей и направлений подготовки 27.00.00 "Управление в технических системах в качестве учебного пособия при реализации основных профессиональных образовательных программ подготовки бакалавров по направлению подготовки 27.03.04 "Управление в технических системах" / В. А. Онуфриев ; Министерство науки и высшего образования Российской Федерации, Санкт-Петербургский политехнический университет Петра Великого, [Институт компьютерных наук и технологий] |
|
2004 |
Полещук, Ольга Митрофановна |
Методы формализации и обработки нечеткой экспертной информации : автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.01 / Полещук Ольга Митрофановна ; [Моск. гос. ун-т леса] |
|
2002 |
Семененко, Анатолий Викторович |
Система лингвистического анализа и обработки текста в локальных почтовых системах : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Семененко Анатолий Викторович ; [Моск. гос. ин-т электроники и математики] |
|
2002 |
Попов, Андрей Анатольевич |
Оптимизационные методы формирования мультиверсионного программного обеспечения критичных по надежности систем управления : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Попов Андрей Анатольевич ; [Сибирская аэрокосмическая академия им. академика М. Ф. Решетнева] |
|
2006 |
Ха Нгуен Бинь (кандидат технических наук) |
Оптимизация параметров процессов проектирования, отработки и испытаний технического комплекса на надежность на основе информационно-системной формализации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Ха Нгуен Бинь ; [Балтийский государственный технический университет "Военмех" им. Д.Ф.Устинова] |
|
2001 |
Панов, Александр Владимирович |
Рационально-эмпирические системы знаний и данных для обучающих комплексов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Панов Александр Владимирович ; Исслед. центр проблем качества подгот. специалистов |
|
2007 |
Филиппов, Алексей Юрьевич |
Алгоритмы формализации и автоматизации решения задач на основе среды компьютерного моделирования задач : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.06 / Филиппов Алексей Юрьевич ; [Томский государственный университет систем управления и радиоэлектроники] |
|
2000 |
Волкова, Виолетта Николаевна (доктор экономических наук ; кандидат технических наук) |
Искусство формализации : От математики - к теории систем и от теории систем - к математике: Учеб.пособие / С.-петерб.гос.техн.ун-т |
|
2003 |
Гендина, Наталья Ивановна (доктор педагогических наук ; библиотечное дело ; род. 1953) |
Формирование информационной культуры личности в библиотеках и образовательных учреждениях / Науч. ред. Гендина Н.И |
|
2011 |
Родионова, Зинаида Валерьевна |
Моделирование и разработка информационной системы формализации и актуализации прав доступа : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.25.05 Информационные системы и процессы / Родионова Зинаида Валерьевна ; [Новосибирский государственный университет экономики и управления] |
|
2019 |
Спесивцев, Александр Васильевич (кандидат технических наук ; род. 1939) |
Формализация и использование явных и неявных экспертных знаний для оценивания состояния сложных объектов : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Спесивцев Александр Васильевич ; [Санкт-Петербургский институт информации информатики и автоматизации РАН] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ