Вопросы кибернетики [Text] : [сборник статей] / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; С. И. Самойленко. - Москва : [s. n.], 1988. - 177 с. - ^aБиблиогр. в конце ст. - Б. ц.
ВЫЧИСЛИТЕЛЬНЫЕ СЕТИ ПРОТОКОЛЫ (вычисл. техника) РАЗРАБОТКА ВЕРИФИКАЦИЯ Доп.точки доступа: Самойленко, С.И. \.\ Свободных экз. нет |
Новиков, Дмитрий Яковлевич (род. 1983). Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Новиков Дмитрий Яковлевич ; ГНУ "Объединенный ин-т проблем информатики Нац. акад. наук Беларуси". - Минск : [s. n.], 2011. - 22 с. - ^aБиблиогр.: с. 17-19 (25 назв.). - Б. ц.
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИЕ ФУНКЦИИ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ВЕРИФИКАЦИЯ АВТОРЕФЕРАТЫ Свободных экз. нет |
Разработка систем космических аппаратов [Text] : перевод с английского / [под редакцией П. Фортескью, г. Суайнерда, Д. Старка]. - Москва : Альпина Паблишер, 2016. - 762 с. : ил., табл., схемы, граф. - ^aБиблиография в конце глав. - ISBN 978-5-9614-5829-9 (в переплете) : Б. ц.
ИСКУССТВЕННЫЕ СПУТНИКИ ЗЕМЛИ МАЛЫЕ КОСМИЧЕСКИЕ ЛЕТАТЕЛЬНЫЕ АППАРАТЫ МЕХАНИЗМЫ (техн.) КОНСТРУКЦИЯ РАЗРАБОТКА КОНТРОЛЬ КАЧЕСТВА ВЕРИФИКАЦИЯ ЭЛЕКТРОМАГНИТНАЯ СОВМЕСТИМОСТЬ ОБРАБОТКА ИНФОРМАЦИИ ТЕЛЕИЗМЕРЕНИЯ ТЕПЛОВОЙ РЕЖИМ ЭЛЕКТРОЭНЕРГЕТИЧЕСКИЕ СИСТЕМЫ РАКЕТЫ-НОСИТЕЛИ НЕБЕСНАЯ МЕХАНИКА Доп.точки доступа: Фортескью, Питер \.\; Суайнерд, Грэм \.\; Старк, Джон \.\ Свободных экз. нет |
^a30.19.29^2rugasnti Dacko, Adam. Zagadnienia modelowania i symulacji numerycznej dynamiki struktur obciazonych fala uderzeniowa wybuchu [Text] / Adam Dacko. - Warszawa : Oficyna Wydawnicza Politechniki Warszawskiej, 2013. - 124 s. : rys. - (Prace naukowe Politechniki Warszawskiej, ISSN 0137-2335 ; z. 264. Mechanika). - ^aBibliogr.: s. 110-122. - ISBN 978-83-7814-167-9 : Б. ц. ; Рез. англ.
Рубрики: ТОНКОСТЕННЫЕ КОНСТРУКЦИИ УДАРНЫЕ ВОЛНЫ ВЗРЫВЫ СТРУКТУРНАЯ ДИНАМИКА СТРУКТУРНЫЕ ИЗМЕНЕНИЯ КОНЕЧНЫХ ЭЛЕМЕНТОВ МЕТОД ДИНАМИЧЕСКИЕ НАГРУЗКИ ДЕФОРМАЦИЯ МОДЕЛИРОВАНИЕ ВЕРИФИКАЦИЯ Свободных экз. нет |
Ручай, Алексей Николаевич. Биометрическая аутентификация диктора в MATLAB [Text] : учебное пособие / А. Н. Русай. - Москва : Русайнс, 2017. - 165 с. : ил., табл., схемы. - ^aБиблиография: с. 153—165 (132 назв.). - ISBN 978-5-4365-1864-0 : Б. ц.
ОБРАБОТКА РЕЧИ ВЕРИФИКАЦИЯ ДИКТОРЫ ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ РАЗГРАНИЧЕНИЕ ДОСТУПА АУТЕНТИФИКАЦИЯ НАДЕЖНОСТЬ РЕЧЕВЫЕ СИГНАЛЫ КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ ЗАЩИТА ИНФОРМАЦИИ Свободных экз. нет |
Старолетов, Сергей Михайлович. Основы тестирования и верификации программного обеспечения [Text] : учебное пособие / С. М. Старолетов. - Санкт-Петербург [и др.] : Лань, 2018. - 342 с. : ил., табл., схемы. - (Бакалавриат) (Учебники для вузов. Специальная литература). - ^aБиблиография: с. 340—342 (33 назв.). - ISBN 978-5-8114-3041-3 (в переплете) : Б. ц.
ТЕСТИРОВАНИЕ (вычисл. техника) ВЕРИФИКАЦИЯ ТЕСТИРОВАНИЕ ПРОГРАММ ЯЗЫКИ ПРОГРАММИРОВАНИЯ Кл.слова (ненормированные): 0 ; Eiffel Свободных экз. нет |
Прогнозирование долговечности конструкционного бетона при агрессивных воздействиях [Text] : монография / С. Н. Леонович [и др.] ; под научной редакцией С. Н. Леоновича. - Москва : Инфра-М, 2019. - 210 с. : ил., табл. - (Научная мысль. Сопротивление материалов). - ^aБиблиография в конце глав. - ISBN 978-5-16-014361-3 : Б. ц.
КАРБОНИЗАЦИЯ БЕТОН МЕХАНИКА РАЗРУШЕНИЯ ТВЕРДЫХ ТЕЛ ДОЛГОВЕЧНОСТЬ ПРОГНОЗИРОВАНИЕ НАДЕЖНОСТИ ВЕРИФИКАЦИЯ РАСЧЕТА МЕТОДЫ МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ Беларусь, Республика Доп.точки доступа: Леонович, Сергей Николаевич (доктор технических наук ; род. 1959); Доркин, Валентин Васильевич; Чернякевич, Оксана Юзефовна (кандидат технических наук, строительство); Степанова, Анна Владиславовна (строительство) Свободных экз. нет |
Чешко, Валентин Федорович. Антропоцен: философия биотехнологии [Text] : стабильная адаптивная стратегия Homo sapiens, эволюционный риск и эволюционная семантика / В. Ф. Чешко, Л. В. Иваницкая, В. И. Глазко. - Москва : КУРС, 2018. - , [1] с. ; 389 с. : ил., табл. - (Наука = Science). - ^aБиблиография: с. 365—387 (405 назв.). - ISBN 978-5-906923-82-0 (в переплете) : Б. ц. ; Аннотация на английском языке
ЧЕЛОВЕК ПОЗНАНИЯ ТЕОРИЯ ФИЛОСОФСКИЙ АСПЕКТ ИССЛЕДОВАНИЯ ФИЗИЧЕСКАЯ АНТРОПОЛОГИЯ ВЕРИФИКАЦИЯ НАТУРФИЛОСОФИЯ НАУКОЕМКИЕ ТЕХНОЛОГИИ СОЦИАЛЬНО-ФИЛОСОФСКИЙ АНАЛИЗ ЭВОЛЮЦИОННЫЕ ПРОЦЕССЫ ЭВОЛЮЦИЯ Доп.точки доступа: Иваницкая, Лида Владимировна (кандидат технических наук ; род. 1947); Глазко, Валерий Иванович (род. 1949) Свободных экз. нет |
Моделирование и верификация политик безопасности управления доступом в операционных системах [Text] : [монография / П. Н. Девянин и др.]. - Москва : Горячая линия — Телеком, 2019. - 215 с. : ил., табл. - ^aБиблиография: с. 185—191 (110 назв.). - ISBN 978-5-9912-0787-4 (в переплете) : Б. ц.
УПРАВЛЕНИЕ ДОСТУПОМ ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ ЗАЩИТА ИНФОРМАЦИИ КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ ВЕРИФИКАЦИЯ Кл.слова (ненормированные): 0 ; Astra Linux Special Edition, операционная система Доп.точки доступа: Девянин, Петр Николаевич (доктор технических наук); Ефремов, Денис Валентинович (информационная безопасность); Кулямин, Виктор Вячеславович; Хорошилов, Алексей Владимирович (информационная безопасность) Свободных экз. нет |
Томас, Дональд. Логическое проектирование и верификация систем в SystemVerilog [Text] : [перевод с английского] / Дональд Томас. - Москва : ДМК Пресс, 2019. - 382 с. : ил., табл. - ^aПредметный указатель: с. 374—382. - ISBN 978-5-97060-619-3 : Б. ц.
ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ КОНЕЧНЫЕ АВТОМАТЫ РЕГИСТРЫ (вычисл. техника) ОПЕРАТОРЫ (программирование) ПРОЦЕДУРЫ (информатика) СТРУКТУРНЫЕ МОДЕЛИ ДАННЫХ (информатика) ПРОГРАММИРОВАНИЕ ВЕРИФИКАЦИЯ ТЕСТОВЫЙ КОНТРОЛЬ (вычисл. техника) ИНТЕГРАЛЬНЫЕ СХЕМЫ ЦИФРОВЫЕ СИСТЕМЫ Свободных экз. нет |
Сивко, Борис Витальевич (информационные технологии). Методы разработки и верификации микропроцессорных систем для обеспечения безопасности движения поездов [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Сивко Борис Витальевич ; Учреждение образования "Белорусский государственный университет транспорта". - Гомель : [s. n.], 2019. - 26 с. : ил., табл. - ^aБиблиография: с. 19—23 (49 назв.). - Б. ц. ; Резюме на белорусском, русском, английском языках
ЖЕЛЕЗНОДОРОЖНАЯ АВТОМАТИКА И ТЕЛЕМЕХАНИКА МИКРОПРОЦЕССОРНЫЕ СИСТЕМЫ АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ЖЕЛЕЗНОДОРОЖНЫМ ТРАНСПОРТОМ БЕЗОПАСНОСТЬ ДВИЖЕНИЯ НА ЖЕЛЕЗНЫХ ДОРОГАХ ФОРМАЛЬНЫЕ МОДЕЛИ ВЕРИФИКАЦИЯ ОТКАЗОУСТОЙЧИВОСТЬ Свободных экз. нет |
Кукарцев, Владислав Викторович. Проектирование и архитектура информационных систем [Text] : учебник для студентов, обучающихся по направлению подготовки бакалавров 09.03.04 "Программная инженерия" / В. В. Кукарцев, Р. Ю. Царев, О. А. Антамошкин ; Министерство науки и высшего образования Российской Федерации, Сибирский федеральный университет, [Институт космических и информационных технологий]. - Красноярск : СФУ, 2019. - 191 с. : ил., цв. ил., табл. - ^aБиблиография: с. 191 (12 назв.). - ISBN 978-5-7638-3620-2 : Б. ц.
ПРИКЛАДНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ КАЧЕСТВО СИСТЕМ И ПРОГРАММ (вычисл. техника) КОНСТРУИРОВАНИЕ AGILE ВЕРИФИКАЦИЯ ТЕСТИРОВАНИЕ (вычисл. техника) КОДИРОВАНИЕ ДАННЫХ ПРОТОТИПИРОВАНИЕ (информатика) SCRUM Доп.точки доступа: Царев, Роман Юрьевич (кандидат технических наук); Антамошкин, Олеслав Александрович (доктор технических наук) Свободных экз. нет |
Поличка, Анатолий Егорович. Основы моделирования в условиях компьютеризации и математизации [Text] : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет". - Хабаровск : Издательство ТОГУ, 2019. - 107 с. : ил., табл. - ^aБиблиография: с. 99—105 (80 назв.). - ISBN 978-5-7389-2888-8 : Б. ц.
НАУЧНАЯ ДЕЯТЕЛЬНОСТЬ НАУЧНОЕ ПОЗНАНИЕ ФИЛОСОФСКИЙ АСПЕКТ МОДЕЛИРОВАНИЕ НАБЛЮДЕНИЯ ГИПОТЕЗЫ ФОРМАЛИЗАЦИЯ ВЕРИФИКАЦИЯ ИДЕАЛИЗАЦИЯ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ МАТЕМАТИЧЕСКИЕ МОДЕЛИ СТРУКТУРНЫЕ МОДЕЛИ ФОРМАЛЬНЫЕ МОДЕЛИ ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ МАТЕМАТИЗАЦИЯ КОМПЬЮТЕРИЗАЦИЯ Свободных экз. нет |
Лаврищева, Екатерина Михайловна (доктор физико-математических наук). Программная инженерия и технологии программирования сложных систем [Text] : учебник для вузов / Е. М. Лаврищева ; Институт системного программирования РАН, Московский физико-технический институт ( государственный университет). - 2-е изд., исправленное и дополненное. - Москва : Юрайт, 2020. - 431, [1] с. : ил., табл. - (Высшее образование). - ^aБиблиография: с. 391—396 (92 назв.) и в подстрочных примечаниях. - ISBN 978-5-534-07604-2 (в переплете) : Б. ц.
ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ ПРОГРАММНЫЕ СИСТЕМЫ ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНЫЕ МОДУЛИ ВЕРИФИКАЦИЯ ТЕСТИРОВАНИЕ ПРОГРАММ КАЧЕСТВО СИСТЕМ И ПРОГРАММ (вычисл. техника) ПРОГРАММНЫЕ ПРОДУКТЫ АВТОМАТИЗИРОВАННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ БОЛЬШИЕ ОБЪЕМЫ ДАННЫХ КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ СПЕЦИФИКАЦИЯ "СЕМАНТИЧЕСКАЯ ПАУТИНА" ВЕБ-ТЕХНОЛОГИИ Свободных экз. нет |
Шубин, Владимир Владимирович. Верификация топологии интегральных схем [Text] : [монография] / В. В. Шубин. - Новосибирск : Издательство Сибирского отделения Российской академии наук, 2020. - 156, [1] с. : ил., табл., цв. ил. - ^aБиблиография: с. 145—146 (27 назв.). - ISBN 978-5-7692-1688-2 (в переплете) : Б. ц.
ТОПОЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПРАВИЛА ПРОЕКТИРОВАНИЯ МИКРОМИНИАТЮРИЗАЦИЯ РАДИОЭЛЕКТРОННОЙ АППАРАТУРЫ СИСТЕМЫ НА КРИСТАЛЛЕ ЭЛЕМЕНТНАЯ БАЗА ЭЛЕКТРИЧЕСКИЕ СХЕМЫ EDA (вычисл. техника) ВЕРИФИКАЦИЯ АЛГОРИТМЫ ВЕРИФИКАЦИИ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ Свободных экз. нет |
Старолетов, Сергей Михайлович. Основы тестирования программного обеспечения [Text] : учебное пособие / С. М. Старолетов. - Санкт-Петербург [и др.] : Лань, 2021. - 188 с. : ил. - (Среднее профессиональное образование). - ^aБиблиография: с. 185—186 (22 назв.). - ISBN 978-5-8114-7515-5 (в переплете) : Б. ц.
ТЕСТИРОВАНИЕ ПРОГРАММ ВЕРИФИКАЦИЯ ДИНАМИЧЕСКИЙ АНАЛИЗ РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ТЕХНИЧЕСКАЯ ДОКУМЕНТАЦИЯ АВТОМАТИЗАЦИЯ КАЧЕСТВО СИСТЕМ И ПРОГРАММ (вычисл. техника) Свободных экз. нет |
Пантелеев, Евгений Рафаилович (доктор технических наук). Методы научных исследований в программной инженерии [Text] : учебное пособие / Е. Р. Пантелеев. - Изд. 2-е, стереотипное. - Санкт-Петербург [и др.] : Лань, 2021. - 134 с. : ил., табл. - (Высшее образование). - ^aБиблиография: с. 131—134 (33 назв.) и в подстрочных примечаниях. - ISBN 978-5-8114-6781-5 : Б. ц.
ЭКСПЕРТНЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ СИСТЕМЫ АНАЛИЗ ДАННЫХ ИЗВЛЕЧЕНИЕ ЗНАНИЙ РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИССЛЕДОВАНИЯ СИСТЕМНЫЙ АНАЛИЗ ДИНАМИЧЕСКОЕ МОДЕЛИРОВАНИЕ КОНЦЕПТУАЛЬНЫЕ МОДЕЛИ ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ ПЛАНИРОВАНИЕ ЭКСПЕРИМЕНТА ВЕРИФИКАЦИЯ ОФОРМЛЕНИЕ И ЗАЩИТА НАУЧНЫХ РАБОТ Свободных экз. нет |
Сурашов, П. Т. Верификация прогнозных решений конструкций ленточных конвейеров путем вероятностного физического моделирования [Text] : автореф. дис. ... канд. техн. наук / П. Т. Сурашов. - М. : [s. n.], 1980. - 17 с. - Б. ц.
ЛЕНТОЧНЫЕ КОНВЕЙЕРЫ КОНСТРУКЦИИ ПРОГНОЗИРОВАНИЕ ВЕРИФИКАЦИЯ ФИЗИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЕРОЯТНОСТНОЕ МОДЕЛИРОВАНИЕ Свободных экз. нет |
Забашта, Андрей Григорьевич (кандидат технических наук ; род. 1951). Мясопродукты из оленины и мяса диких животных [Text] / А. Г. Забашта, В. О. Басов ; [под редакцией А. Г. Забашты]. - Санкт-Петербург : Профессия, 2022. - 510 с. : ил., табл. - ISBN 978-5-6043943-6-6 (в переплете) : Б. ц. Содержание:
КУЛИНАРНЫЕ РЕЦЕПТЫ РЕЦЕПТУРЫ ПРОДУКЦИИ ТЕХНОЛОГИЯ ПРОИЗВОДСТВА ПИЩЕВЫХ ПРОДУКТОВ ВЕРИФИКАЦИЯ ПРОДОВОЛЬСТВЕННОЕ СЫРЬЕ СУБПРОДУКТЫ КОЛБАСНЫЕ ИЗДЕЛИЯ МЯСО ДИКИЕ ЖИВОТНЫЕ ОЛЕНИНА КАЧЕСТВО ПРОДУКЦИИ ТРЕБОВАНИЯ БЕЗОПАСНОСТИ ТЕХНИЧЕСКИЕ ТРЕБОВАНИЯ Доп.точки доступа: Басов, Валерьян Олегович (кандидат технических наук) Свободных экз. нет |