Государственная публичная научно-техническая библиотека России
База данных: Сводный каталог ГПНТБ России
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
004.43/Х 121
Хаберланд Рене
Логический язык программирования как инструмент спецификации и верификации динамической памяти [Текст] : специальность: 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Хаберланд Рене. — Санкт-Петербург, 2020. — 16 с. : ил. — Библиогр.: с. 15-16. — 100 экз.
Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ — ОПЕРАТИВНЫЕ ЗАПОМИНАЮЩИЕ УСТРОЙСТВА — ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17
Свободных экз. нет
004.43/Х 121
Хаберланд Рене
Логический язык программирования как инструмент спецификации и верификации динамической памяти [Текст] : специальность: 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Хаберланд Рене. — Санкт-Петербург, 2020. — 16 с. : ил. — Библиогр.: с. 15-16. — 100 экз.
| ГРНТИ | ||
| УДК |
Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ — ОПЕРАТИВНЫЕ ЗАПОМИНАЮЩИЕ УСТРОЙСТВА — ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17
Свободных экз. нет
2.
Подробнее
004.42/Н 592
Нечесов, Андрей Витальевич.
Полиномиальная вычислимость в семантическом программировании : специальность 1.1.5 — «Математическая логика, алгебра, теория чисел и дискретная математика.»: автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Нечесов Андрей Витальевич ; Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук. — Новосибирск, 2022. — 23 с. : ил. — Библиогр.: с. 20-23 (41 назв.). — 100 экз.
Кл.слова (ненормированные):
P-ПОЛНОТА — ВРЕМЕННАЯ СЛОЖНОСТЬ — ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ — ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ — ЛОГИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ — ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ — СИНТАКСИЧЕСКИЕ КОНСТРУКЦИИ — СПИСОЧНЫЕ ПРЕДСТАВЛЕНИЯ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17
Доп.точки доступа:
Институт математики им. С. Л. Соболева (Новосибирск)
Свободных экз. нет
004.42/Н 592
Нечесов, Андрей Витальевич.
Полиномиальная вычислимость в семантическом программировании : специальность 1.1.5 — «Математическая логика, алгебра, теория чисел и дискретная математика.»: автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Нечесов Андрей Витальевич ; Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук. — Новосибирск, 2022. — 23 с. : ил. — Библиогр.: с. 20-23 (41 назв.). — 100 экз.
| ГРНТИ | ||
| УДК |
Кл.слова (ненормированные):
P-ПОЛНОТА — ВРЕМЕННАЯ СЛОЖНОСТЬ — ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ — ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ — ЛОГИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ — ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ — СИНТАКСИЧЕСКИЕ КОНСТРУКЦИИ — СПИСОЧНЫЕ ПРЕДСТАВЛЕНИЯ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17
Доп.точки доступа:
Институт математики им. С. Л. Соболева (Новосибирск)
Свободных экз. нет
Страница 1, Результатов: 2
