Библиотека
602
Журналы
12
Организации
Научно-исследовательские
Образовательные
Издательства
Библиотеки
Репозитории
Конференции
Блоги
Сообщество
Поиск людей
Группы
Форум
Формулы
Вход
SciNetwork
Ключевая фраза: ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ
Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ».
Статьи: 2
01.
ШАБЛОНЫ ТРЕБОВАНИЙ В ДЕДУКТИВНОЙ ВЕРИФИКАЦИИ POST-ПРОГРАММ (2024)
Сохранить в закладках
Журнал:
МОДЕЛИРОВАНИЕ И АНАЛИЗ ИНФОРМАЦИОННЫХ СИСТЕМ
Автор(ы):
Гаранина Н. О., Ануреев И. С., Черненко И. М.
02.
ЛОГИКА ДЛЯ СУЖДЕНИЙ ОБ ОШИБКАХ В ЦИКЛАХ НАД ПОСЛЕДОВАТЕЛЬНОСТЯМИ ДАННЫХ (IFIL) (2023)
Сохранить в закладках
Журнал:
МОДЕЛИРОВАНИЕ И АНАЛИЗ ИНФОРМАЦИОННЫХ СИСТЕМ
Автор(ы):
Кондратьев Д. А.
Функция копирования доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция добавления в закладки доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция отправки личных сообщений доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция оценок доступна только для авторизованных пользователей. Зарегистрируйтесь или войдите в свой аккаунт.
Функция добавления в контакты доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.