Деметрович, Янош. Автоматизированные методы спецификации [Text] : перевод с английского / Я. Деметрович, Е. Кнут, П. Радо. - Москва : Мир, 1989. - 115 с. - ^aБиблиогр.: с. 114—115 (76 назв.). - ISBN 5-03-000487-4 : Б. ц.
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ФОРМАЛЬНЫЕ МОДЕЛИ Кл.слова (ненормированные): 0 ; автоматизированные методы Доп.точки доступа: Кнут, Элод; Радо, Петер Свободных экз. нет |
Единая спецификация металлических материалов машиностроения Cоюза ССР [Text] : (проект) / Академия наук Союза ССР, Институт машиноведения. - [S. l. : s. n.], 1945. - 214, [2] с. : ил., табл., схемы. - ^aБиблиография в конце книги (49 назв.). - Б. ц.
МЕТАЛЛИЧЕСКИЕ МАТЕРИАЛЫ МАШИНОСТРОЕНИЕ УГЛЕРОДИСТЫЕ СТАЛИ МАРКИРОВКА ИНСТРУМЕНТАЛЬНЫЕ МАТЕРИАЛЫ КОНСТРУКЦИОННЫЕ МАТЕРИАЛЫ КЛАССИФИКАЦИЯ (процесс) ПАСПОРТА (технолог. док.) ТЕХНИЧЕСКАЯ ДОКУМЕНТАЦИЯ СПЕЦИФИКАЦИЯ Доп.точки доступа: Академия наук СССР. Институт машиноведения Свободных экз. нет |
Гуринович, Анатолий Дмитриевич (доктор технических наук ; род. 1946). Внешнеэкономическая деятельность [Text] : учебно-методическое пособие для студентов специальности 1-27 01 01 "Экономика и организация производства" / А. Д. Гуринович, Е. В. Хмель ; Министерство образования Республики Беларусь, Белорусский национальный технический университет, Кафедра "Экономика строительства". - Минск : БНТУ, 2019. - 47, [1] с. - ^aБиблиография: с. 34—35 (16 назв.). - ISBN 978-985-583-033-8 : Б. ц.
ВНЕШНИЙ РЫНОК ВНЕШНЕЭКОНОМИЧЕСКИЕ ОПЕРАЦИИ КОММЕРЧЕСКИЕ ОТНОШЕНИЯ ГОСУДАРСТВЕННОЕ РЕГУЛИРОВАНИЕ ВНЕШНЕТОРГОВЫЕ ОПЕРАЦИИ ТОВАРНО-ТРАНСПОРТНЫЕ НАКЛАДНЫЕ ТАМОЖЕННЫЕ ДЕКЛАРАЦИИ ВНЕШНЕТОРГОВАЯ ПОЛИТИКА ВНЕШНЯЯ ТОРГОВЛЯ МЕЖДУНАРОДНЫЕ ЭКОНОМИЧЕСКИЕ ОТНОШЕНИЯ ПОСТАВКИ ИНКОТЕРМС ЗАРУБЕЖНЫЕ СТРАНЫ СПЕЦИФИКАЦИЯ ДЕКЛАРИРОВАНИЕ СООТВЕТСТВИЯ СЕРТИФИКАЦИЯ ПРОДУКЦИИ, РАБОТ И УСЛУГ Беларусь, Республика Доп.точки доступа: Хмель, Екатерина Викторовна (экономист) Свободных экз. нет |
Лаврищева, Екатерина Михайловна (доктор физико-математических наук). Программная инженерия и технологии программирования сложных систем [Text] : учебник для вузов / Е. М. Лаврищева ; Институт системного программирования РАН, Московский физико-технический институт ( государственный университет). - 2-е изд., исправленное и дополненное. - Москва : Юрайт, 2020. - 431, [1] с. : ил., табл. - (Высшее образование). - ^aБиблиография: с. 391—396 (92 назв.) и в подстрочных примечаниях. - ISBN 978-5-534-07604-2 (в переплете) : Б. ц.
ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ ПРОГРАММНЫЕ СИСТЕМЫ ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНЫЕ МОДУЛИ ВЕРИФИКАЦИЯ ТЕСТИРОВАНИЕ ПРОГРАММ КАЧЕСТВО СИСТЕМ И ПРОГРАММ (вычисл. техника) ПРОГРАММНЫЕ ПРОДУКТЫ АВТОМАТИЗИРОВАННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ БОЛЬШИЕ ОБЪЕМЫ ДАННЫХ КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ СПЕЦИФИКАЦИЯ "СЕМАНТИЧЕСКАЯ ПАУТИНА" ВЕБ-ТЕХНОЛОГИИ Свободных экз. нет |
Соснин, Петр Иванович (доктор технических наук ; род. 1945). Архитектурное моделирование автоматизированных систем [Text] : учебник / П. И. Соснин. - Санкт-Петербург [и др.] : Лань, 2020. - 177 с. : ил. - (Бакалавриат и магистратура) (Учебники для вузов. Специальная литература). - ^aБиблиография: с. 167—174 (105 назв.). - ISBN 978-5-8114-3919-5 (в переплете) : Б. ц.
ПРОГРАММНЫЕ СИСТЕМЫ АРХИТЕКТУРА СИСТЕМ (вычисл. техника) РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СПЕЦИФИКАЦИЯ МОДЕЛИРОВАНИЕ НОРМАТИВНАЯ БАЗА Свободных экз. нет |
Москвитин, Анатолий Алексеевич. Решение задач на компьютерах [Text] : спецификация задачи / А. А. Москвитин. - Санкт-Петербург [и др.] : Лань, 2022. - 227 с. : ил., табл. - (Бакалавриат) (Учебники для вузов. Специальная литература). - ^aБиблиография: с. 217—222 (81 назв.). - ^aПредметный указатель: с. 223—225. - ISBN 978-5-8114-3095-6 (в переплете) : Б. ц.
ПРИНЯТИЕ РЕШЕНИЙ СПЕЦИФИКАЦИЯ МЕТОДОЛОГИЯ АЛГОРИТМЫ (мат., информатика) МАТЕМАТИЧЕСКАЯ ЛОГИКА КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ АРХИТЕКТУРА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНЫЕ РЕШЕНИЯ ПРОГРАММИРОВАНИЕ Свободных экз. нет |
Синицын, Владимир Владимирович. Пластичные смазки и оценка их качества [Text] : зарубеж. стандарты и спецификации / В. В. Синицын. - М. : Изд-во стандартов, 1975. - 189 с. - Б. ц.
ОЦЕНКА КАЧЕСТВА СТАНДАРТИЗАЦИЯ СТАНДАРТЫ СПЕЦИФИКАЦИЯ ЗАРУБЕЖНЫЙ Свободных экз. нет |
Старчик, Юлия Юрьевна (кандидат технических наук). Детали машин и основы конструирования [Text] : учебное пособие для выполнения курсового проекта для направления подготовки: 23.03.02 Наземные транспортно-технологические комплексы, профиль подготовки: 23.03.02-01 Подъемно-транспортные, строительные, дорожные машины и оборудование / [Ю. Ю. Старчик] ; Минобрнауки России, Федеральное государственное бюджетное образовательное учреждение высшего образования "Белгородский государственный технологический университет им. В. Г. Шухова" (БГТУ им. В. Г. Шухова), Филиал ФГБОУ ВО "Белгородский государственный технологический университет им. В. Г. Шухова" в г. Новороссийске (НФ БГТУ им. В. Г. Шухова), Кафедра технических дисциплин. - Новороссийск : Университетская книга, 2021. - 107 с. : ил., табл. - ^aБиблиография: с. 105—107 (14 назв.). - ISBN 978-5-907555-62-4 : Б. ц.
КОНСТРУИРОВАНИЕ КИНЕМАТИЧЕСКИЙ АНАЛИЗ МЕХАНИЗМОВ КИНЕМАТИЧЕСКИЕ СХЕМЫ СПЕЦИФИКАЦИЯ РЕДУКТОРЫ ЧЕРТЕЖИ КУРСОВОЕ ПРОЕКТИРОВАНИЕ РАСЧЕТА МЕТОДЫ РАСЧЕТНО-ГРАФИЧЕСКИЕ РАБОТЫ Свободных экз. нет |