Вып. 10: Методы и модели современного программирования; Системная информатика

Вып. 10: Методы и модели современного программирования; Системная информатика

Λεπτομέρειες βιβλιογραφικής εγγραφής
Parent link:	Системная информатика/ Сибирское отделение РАН; Институт систем информатики. Вып. 10: Методы и модели современного программирования.— , 1991-
Περίληψη:	В данный выпуск сборника научных трудов «Методы и модели современного программирования» из серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных авторов, посвященные разнообразным моделям, формализация которых является актуальной проблемой. Среди них графические модели; клеточно-автоматные модели, применяемые в пространственной динамике; модели информационных ресурсов, представленных в Интернете; модели мультиагентных систем. Для их формализации применяются различные методы и алгоритмы. Их обзор представлен в данном сборнике. Благодаря широкому охвату разнообразных проблем и оригинальным результатам этот юбилейный выпуск представляет значительный интерес для широкого круга специалистов по информатике и программированию.
Γλώσσα:	Ρωσικά
Έκδοση:	2006
Θέματα:	системная информатика графы большого объема средства компоновочные планы оптимизация построение пространственная динамика клеточно-автоматные модели семантическое программирование знания комбинированная логика верификация представление Интернет
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=113104

Παρόμοια τεκμήρια

Вып. 1: Проблемы современного программирования; Системная информатика
Έκδοση: (1991)

Моделирование семантики на базах данных
από: Цаленко М. Ш. Михаил Шамшонович
Έκδοση: (Москва, Наука, 1989)

Автоматные марковские модели над конечным полем коллективная монография
από: Захаров В. М.
Έκδοση: (Казань, КНИТУ-КАИ, 2022)

Создание WEB-порталов с использованием семантических технологий; Технологии Microsoft в теории и практике программирования
από: Черний А. В.
Έκδοση: (2010)

Вып. 8: Теория и методология программирования: Сборник научных трудов; Системная информатика
Έκδοση: (2002)

Теория автоматов: учебник
από: Карпов Ю. Г. Юрий Глебович
Έκδοση: (СПб., Питер, 2003)

Реализация подсистемы семантического аннотирования в системах управления знаниями, основанных на онтологии; Современные техника и технологии; Т. 2
από: Бубнов Д. В.
Έκδοση: (2004)

Рецепторы врожденного иммунитета при бронхиальной астме монография
από: Барычева Л. Ю.
Έκδοση: (Ставрополь, СтГМУ, 2020)

Системная технология, использующая объектно-ориентированный подход; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика
από: Силич В. А. Виктор Алексеевич
Έκδοση: (2009)

Испытания на ползучесть и длительную прочность
από: Гусев М. П.
Έκδοση: (Москва, МГТУ им. Н.Э. Баумана, 2015)

Вестник ТулГУ. Серия «Экология и безопасность жизнедеятельности»
από: Панарина В. М.
Έκδοση: (Тула, ТулГУ, 2022)

Теория автоматов: учебник для вузов
από: Карпов Ю. Г. Юрий Глебович
Έκδοση: (СПб., Питер, 2002)

Применение теории графов в программировании
από: Евстигнеев В. А. Владимир Анатольевич
Έκδοση: (Москва, Наука, 1985)

Программная инженерия и технологии программирования сложных систем: учебник для вузов
από: Лаврищева Е. М. Екатерина Михайловна
Έκδοση: (Москва, Юрайт, 2019)

Онтолого-семантические модели в корпоративных системах управления знаниями: диссертация на соискание ученой степени доктора технических наук; спец. 05.13.01
από: Тузовский А. Ф. Анатолий Федорович
Έκδοση: (Томск, [Б. и.], 2007)

Т. 9: Семантические и математические модели баз данных; Информатика
από: Цаленко М. Ш.
Έκδοση: (1985)

Вып. 9: Формальные методы и модели информатики; Системная информатика
Έκδοση: (2004)

Применение автоматных моделей для тестирования автоматизированных систем управления; Технологии Microsoft в теории и практике программирования
από: Зебзеев А. Г. Алексей Григорьевич
Έκδοση: (2012)

Математическое введение в информатику учебник
από: Дудаков С. М.
Έκδοση: (Тверь, ТвГУ, 2020)

Создание трёхмерной STL модели верхней конечности человека на основе томографических данных; Фундаментальная и клиническая онкология: достижения и перспективы развития
Έκδοση: (2019)

Подходы к обработке открытых вопросов в системах контроля знаний; Молодежь и современные информационные технологии
από: Кожевников И. В.
Έκδοση: (2006)

Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Έκδοση: (1992)

Дискретная математика и информатика
από: Рыбин С. В.
Έκδοση: (Санкт-Петербург, Лань, 2022)

Метод дифференциации вершин графа и решение проблемы изоморфизма; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 326, № 6
από: Погребной А. В. Андрей Владимирович
Έκδοση: (2015)

Системная музыка в Британии учебное пособие для студентов муз. вузов
από: Алексеева А. Ю.
Έκδοση: (Петрозаводск, ПГК им. А. К. Глазунова, 2022)

Физико-технические проблемы управления воздухообменом в горных выработках больших обьемов: всесоюзный научно-технический симпозиум, Кохтла-Ярве, 27-30 июня 1983 г.; тезисы докладов
Έκδοση: (Ленинград, [Б. и.], 1983)

Системная инженерия, как важнейший элемент современного инженерного образования; Инженерное образование; № 9
από: Аркадов Г. В. Геннадий Викторович
Έκδοση: (2012)

Искусственный интеллект. Инженерия знаний: учебное пособие для вузов
από: Загорулько Ю. А. Юрий Алексеевич
Έκδοση: (Москва, Юрайт, 2019)

Модели и методы автоматического чтения
από: Переверзев-Орлов В. С. Вячеслав Сергеевич
Έκδοση: (Москва, Наука, 1976)

Автоматическое управление процессами в вентиляции: Практикум
από: Божко В. И.
Έκδοση: (Москва, РТУ МИРЭА, 2023)

Структурно-содержательные характеристики концепта молодежного экстремизма в семантическом пространстве Рунета. Часть II; Векторы благополучия: экономика и социум; № 1 (32)
από: Бочаров А. В. Алексей Владимирович
Έκδοση: (2019)

Моделе-ориентированная системная инженерия. Метод системной инженерии ARCADIA
από: Батоврин В. К.
Έκδοση: (Москва, РТУ МИРЭА, 2021)

Актуальные проблемы семасиологии: практикум
από: Илюхина Н. А.
Έκδοση: (Самара, Самарский университет, 2022)

От повествования к гипертексту и нарративу монография
από: Шехтман Н. А.
Έκδοση: (Оренбург, ОГПУ, 2014)

Проблемы верификации конституционных норм; Журнал российского права; № 10 (214)
από: Оглезнев В. В. Виталий Васильевич
Έκδοση: (2014)

Параллельные логические вычисления посредством арифметических полиномов
από: Малюгин В. Д. Владимир Дмитриевич
Έκδοση: (Москва, Наука, 1997)

Теория языков и языковых процессоров учебник для вузов
από: Шорников Ю. В.
Έκδοση: (Санкт-Петербург, Лань, 2024)

Системная инженерия как методологическая основа современного инженерного образования; Уровневая подготовка специалистов: государственные и международные стандарты инженерного образования
από: Мирошниченко Е. А. Евгений Александрович
Έκδοση: (2013)

Кн. 6 : Методы синтеза дискретных моделей биологических систем; Методы математической биологии
Έκδοση: (1983)

Алгебра и логика: сборник научных трудов
Έκδοση: (Новосибирск, Изд-во ИМ СО РАН, 1990)