Результаты поиска

8 results Пропуск в контексте

Электронный каталог
Национальной библиотеки
Беларуси

Вход
Язык

Расширенный поиск

topic_facet:"ТЕМПОРАЛЬНАЯ ЛОГИКА"

Расширенный поиск

topic_facet:"ТЕМПОРАЛЬНАЯ ЛОГИКА"

Поиск:

Отображение 1 - 8 из 8 для поиска: '', время запроса: 0.09сек.

Результаты на странице

Сортировка

Выбрать все | снять выделение Выбранные записи:

1

Значок книги

Темпоральная логика и теория изменения: Автореф. дис. на соиск. учен. степ. канд. филос. наук: 09.00.07 / МГУ им. М.В.Ломоносова. - М., 1995. - 36 с.

Автор Попов, В. В.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

2

Значок книги

Метод разработки формальных контекстных требований для верификации программных систем логического управления: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Шошмина Ирина Владимировна. - Санкт-Петербург, 2015. - 18 с.

Автор Шошмина, И. В.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

3

Значок книги

Дискретная математика. Формально-логические системы и языки: для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия" / С. М. Авдошин, А. А. Набебин. - Москва : ДМК Пресс, 2018. - 389 с.

Автор Авдошин, С. М.

Книги

Предварительный обзор

Предварительный обзор

Предварительный обзор

Добавить в Избранное

Сохранено в:

4

Значок книги

Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Королев Юрий Ильич. - Москва, 2015. - 20 с.

Автор Королев, Ю. И.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

5

Значок книги

Исследование и разработка геоинформационной системы адресного реестра: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 25.00.35 Геоинформатика / Буравцев Алексей Владимирович. - Москва, 2022. - 22 с.

Автор Буравцев, А. В.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

6

Значок книги

Разработка методов темпоральной спецификации и дедукции для онтологий: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.17 Теоретические основы информатики / Нгуен Тхи Минь Ву. - Москва, 2017. - 20 с., включая обложку

Автор Нгуен Тхи Минь Ву

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

7

Значок книги

Структурированные системы переходов: [монография] / Е.В. Кузьмин, В.А. Соколов. - Москва : Физматлит, 2006. - 173, [2] с.

Автор Кузьмин, Е. В.

Книги

Предварительный обзор

Предварительный обзор

Предварительный обзор

Добавить в Избранное

Сохранено в:

8

Значок книги

Методы и алгоритмы моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.17 Теоретические основы информатики / Захаров Андрей Сергеевич. - Москва, 2016. - 19, [1] с., включая обложку

Автор Захаров, А. С.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

Выбрать все | снять выделение Выбранные записи:

Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Белорусский национальный документ

Вид документа

6 Авторефераты диссертаций 2 Книги см. все ...

Автор/Создатель

1 Авдошин, С. М. 1 Буравцев, А. В. 1 Захаров, А. С. 1 Королев, Ю. И. 1 Кузьмин, Е. В. 1 Нгуен Тхи Минь Ву больше ... 1 Попов, В. В. 1 Шошмина, И. В. см. все ... меньше ...

Предмет

ТЕМПОРАЛЬНАЯ ЛОГИКА 3 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 2 ПЕТРИ СЕТИ 1 АБСТРАКТНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ 1 АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ 1 АЛГОРИТМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ больше ... 1 БЕЙЕСОВСКИЕ СЕТИ 1 БУЛЕВА АЛГЕБРА 1 ВЕРИФИКАЦИЯ 1 ГЕОИНФОРМАТИКА 1 ГЕОИНФОРМАЦИОННЫЕ СИСТЕМЫ 1 ДИНАМИЧЕСКИЕ СИСТЕМЫ 1 ДИСКРЕТНАЯ МАТЕМАТИКА 1 ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ 1 ИНВАРИАНТНОСТЬ 1 ИНФОРМАЦИОННЫЕ МОДЕЛИ 1 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 1 КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ 1 КОНЕЧНЫЕ АВТОМАТЫ 1 ЛОГИКО-ВЕРОЯТНОСТНЫЕ МЕТОДЫ 1 МАТЕМАТИЧЕСКАЯ ЛОГИКА 1 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 1 НЕЧЕТКИЕ СЕТЕВЫЕ МОДЕЛИ 1 ОНТОЛОГИЯ (информатика) 1 ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКИЕ СИСТЕМЫ 1 ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ПРОЦЕССЫ 1 ПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ 1 ПЕТРИ РАСКРАШЕННЫЕ СЕТИ 1 ПРЕДИКАТЫ (мат.) 1 ПРОГРАММНЫЕ СИСТЕМЫ см. все ... меньше ...

Место публикации

6 Москва 1 М. 1 Санкт-Петербург см. все ...

Язык

8 Русский см. все ...

Дата издания

от:

по:

Опции поиска

История поисков
Расширенный поиск (каталог НББ)
Новые документы НББ

Нужна справка? Она ниже. Помощь

Советы для поиска
Обратитесь к библиотекарю
Помощь по работе в Электронном каталоге
Видеоурок: Поиск по фондам библиотеки

Загрузка...