Деметрович, Янош.     Автоматизированные методы спецификации [Text] : перевод с английского / Я. Деметрович, Е. Кнут, П. Радо. - Москва : Мир, 1989. - 115 с. - ^aБиблиогр.: с. 114—115 (76 назв.). - ISBN 5-03-000487-4 : Б. ц. УДК ^a519.683^v3^zrus Рубрики: СПЕЦИФИКАЦИЯ    ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ    ФОРМАЛЬНЫЕ МОДЕЛИ Кл.слова (ненормированные): 0 ; автоматизированные методы Доп.точки доступа: Кнут, Элод; Радо, Петер Свободных экз. нет

Модели экономической интеграции: мировой и постсоветский опыт [Text] / [А. В. Данильченко и др.] ; Белорусский государственный университет. - Минск : БГУ, 2016. - 169, [1] с. : ил., табл. - ^aБиблиография: с. 154—155 (18 назв.). - ISBN 978-985-566-336-3 (в переплете) : Б. ц. ; На обложке: 95 БДУ ГРНТИ ^a06.51.77^v6 УДК ^a339.924^v4^zrus Рубрики: ЭКОНОМИЧЕСКАЯ ИНТЕГРАЦИЯ    МИРОВАЯ ЭКОНОМИКА    ПОСТСОВЕТСКИЕ СТРАНЫ    МИРОВОЙ ОПЫТ    ФОРМАЛЬНЫЕ МОДЕЛИ    ЭКОНОМИКО-МАТЕМАТИЧЕСКИЕ МОДЕЛИ    ЕврАзЭС страны Доп.точки доступа: Данильченко, Алексей Васильевич (доктор экономических наук ; род. 1959); Семак, Елена Адольфовна (род. 1963); Якушенко, Ксения Валентиновна (кандидат экономических наук); Воронина, И. В.; Евченко, Н. Н. (экономика); Фомичева, Е. В.; Павлов, Павел Валерьевич (кандидат экономических наук ) Свободных экз. нет

Сивко, Борис Витальевич (информационные технологии).     Методы разработки и верификации микропроцессорных систем для обеспечения безопасности движения поездов [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Сивко Борис Витальевич ; Учреждение образования "Белорусский государственный университет транспорта". - Гомель : [s. n.], 2019. - 26 с. : ил., табл. - ^aБиблиография: с. 19—23 (49 назв.). - Б. ц. ; Резюме на белорусском, русском, английском языках ГРНТИ ^a73.29.85^v6 ^a73.29.81^v6 ^a50.09.33^v6 ^a50.43^v6 ^a05.22.08 УДК ^a656.25-52(043.3)^v4^zrus ^a004.31-181.48:621.3.049.771.14(043.3)^v4^zrus Рубрики: ЖЕЛЕЗНОДОРОЖНЫЙ ТРАНСПОРТ    ЖЕЛЕЗНОДОРОЖНАЯ АВТОМАТИКА И ТЕЛЕМЕХАНИКА    МИКРОПРОЦЕССОРНЫЕ СИСТЕМЫ    АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ЖЕЛЕЗНОДОРОЖНЫМ ТРАНСПОРТОМ    БЕЗОПАСНОСТЬ ДВИЖЕНИЯ НА ЖЕЛЕЗНЫХ ДОРОГАХ    ФОРМАЛЬНЫЕ МОДЕЛИ    ВЕРИФИКАЦИЯ    ОТКАЗОУСТОЙЧИВОСТЬ Свободных экз. нет

Поличка, Анатолий Егорович.     Основы моделирования в условиях компьютеризации и математизации [Text] : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет". - Хабаровск : Издательство ТОГУ, 2019. - 107 с. : ил., табл. - ^aБиблиография: с. 99—105 (80 назв.). - ISBN 978-5-7389-2888-8 : Б. ц. ГРНТИ ^a12.51^v6 ^a12.01.33^v6 ^a28.17^v6 ^a28.01.33^v6 УДК ^a001.891.54(075)^v4^zrus ^a519.876.5(075)^v4^zrus ^a004.94(075)^v4^zrus Рубрики: ИССЛЕДОВАНИЯ    НАУЧНАЯ ДЕЯТЕЛЬНОСТЬ    НАУЧНОЕ ПОЗНАНИЕ    ФИЛОСОФСКИЙ АСПЕКТ    МОДЕЛИРОВАНИЕ    НАБЛЮДЕНИЯ    ГИПОТЕЗЫ    ФОРМАЛИЗАЦИЯ    ВЕРИФИКАЦИЯ    ИДЕАЛИЗАЦИЯ    ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ    МАТЕМАТИЧЕСКИЕ МОДЕЛИ    СТРУКТУРНЫЕ МОДЕЛИ    ФОРМАЛЬНЫЕ МОДЕЛИ    ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ    КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ    ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ    МАТЕМАТИЗАЦИЯ    КОМПЬЮТЕРИЗАЦИЯ Свободных экз. нет

Пенькова, Татьяна Геннадьевна.     Модели и методы искусственного интеллекта [Text] : учебное пособие / Т. Г. Пенькова, Ю. В. Вайнштейн ; Министерство науки и высшего образования Российской Федерации, Сибирский федеральный университет, Институт вычислительного моделирования СО РАН, [Институт космических и информационных технологий]. - Красноярск : СФУ, 2019. - 113 с. : ил., табл. - ^aБиблиография: с. 100—101 (25 назв.). - ISBN 978-5-7638-4043-8 : Б. ц. ГРНТИ ^a28.23^v6 ^a28.01.33^v6 УДК ^a004.8(075)^v4^zrus Рубрики: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ    ЭКСПЕРТНЫЕ СИСТЕМЫ    ПРЕДСТАВЛЕНИЕ ЗНАНИЙ    СЕМАНТИЧЕСКИЕ СЕТИ    ФРЕЙМЫ (информатика)    ФОРМАЛЬНЫЕ МОДЕЛИ    НЕЧЕТКОЕ МОДЕЛИРОВАНИЕ Доп.точки доступа: Вайнштейн, Юлия Владимировна Свободных экз. нет