Д 30 Деметрович, Янош. Автоматизированные методы спецификации [Текст] = Computer-Aided Specification Technigues : научное издание / Я. Деметрович, Э. Кнут, П. Радо ; ред. Ю. Г. Дадаев ; пер. Л. В. Шабанов. - Москва : Мир, 1989. - 115 с. : ил. ; 20см. - (Автоматизированные методы спецификации). - Библиогр.: с. 112-115(76). - 20000 экз.. - ISBN 5-03-000487-4 : 0.50 р.
программирование Кл.слова (ненормированные): СПЕЦИФИКАЦИЯ ДАННЫХ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ Доп.точки доступа: Кнут, Элод; Радо, Петер; Дадаев, Ю. Г. \ред.\; Шабанов, Л. В. \пер.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
К 93 Курсовое проектирование по теории механизмов и машин [Текст] : учеб. пособие для студентов инж.-техн. специальностей вузов / В. К. Акулич, П. П. Анципорович, Э. И. Астахов [и др.] ; под общ. ред. Г. Н. Девойно. - Минск : Вышэйш. шк., 1986. - 284 с. : ил. ; 22 см. - Библиогр.: с. 278-279. - Предм. указ.: с. 280-282. - 23000 экз.. - (в пер.) : 0.85 р. Рубрики: Теория машин и механизмов Кл.слова (ненормированные): МАШИНОСТРОЕНИЕ -- ПРОЕКТИРОВАНИЕ МАШИН -- МЕХАНИЗМЫ -- КУРСОВОЕ ПРОЕКТИРОВАНИЕ -- РЫЧАЖНЫЕ МЕХАНИЗМЫ -- КУЛАЧКОВЫЕ МЕХАНИЗМЫ -- РОБОТЫ -- КИНЕМАТИКА -- РОБОТЫ ПРОМЫШЛЕННЫЕ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- РОБОТОТЕХНИКА -- ЭВМ -- МАШИНЫ Доп.точки доступа: Акулич, Валерий Константинович; Анципорович, Петр Петрович; Астахов, Э. И.; Вставский, Е. А.; Девойно, Георгий Николаевич; Девойно, Георгий Николаевич \ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |