№ | Дата |
Автор |
Заглавие |
---|
|
1972 |
Цветков, Виктор Дмитриевич (доктор технических наук ; 1931—2008) |
Автоматизация проектирования токарных операций / В. Д. Цветков, А. И. Петровский, В. А. Гулюк ; Академия наук Белорусской ССР, Институт технической кибернетики |
|
2015 |
Цуканова, Нина Ивановна (кандидат технических наук) |
Онтологическая модель представления и организации знаний : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки "Программная инженерия" (бакалавриат и магистратура) / Цуканова Н. И |
|
1996 |
Байков, Владимир Дмитриевич (доктор технических наук ; род. 1944) |
Интернет от Е-МАIL к WWW в примерах / Гл.ред.Е.Кондукова |
|
2001 |
Пауэлл, Томас А. (программист ; род. 1968) |
Полное руководство по HTML : Новая информ.-включая HTML 4.0,DHTML и XML:[Справ.] / Пер.с англ.Качанов А.В.;Худож.обл.Драко М.В |
|
2007 |
Машуков, Михаил Юрьевич |
Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри = Modeling SDL-specifications via colored Petri nets / М. Ю. Машуков, Т. Г. Чурина |
|
1998 |
Айзенменгер, Рихард |
HTML 3.2/4.0 : Справ. / Пер.с нем.под ред.Молявко С |
|
1994 |
Гуревич, М. И. |
Программа MCU для расчета методом Монте-Карло нейтронно-физических характеристик ядерных реакторов. Язык описания геометрии NCGSIM для геометрического модуля NCG |
|
1989 |
Шубин, Игорь Юрьевич (кандидат технических наук) |
Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.25.05 Автоматизированные информационные системы / Шубин Игорь Юрьевич ; Харьковский институт радиоэлектроники им. М. К. Янгеля |
|
1984 |
Единович, Анатолий Антонович (математик) |
Организация и ведение баз данных под управлением системы СЕТОР : Учеб. пособие / А.А.Единович, В.Ф.Пелипенко, О.Э.Хотяшова ; М-во высш. и сред. спец. образования БССР, Респ. ин-т повышения квалификации руководящих работников и специалистов отраслей нар. хоз-ва |
|
2010 |
Герасимов, Дмитрий Александрович |
Разработка методов и средств проектирования математического и программного обеспечения для исследования сложных объектов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Герасимов Дмитрий Александрович ; [ГОУВПО "Воронежский государственный технический университет"] |
|
2007 |
Дудаков, Сергей Михайлович |
Выразительная сила языков первого порядка для конечных алгебраических систем над бесконечными универсумами : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Дудаков Сергей Михайлович ; Московский государственный университет им. М. В. Ломоносова |
|
1996 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Кремниевая компиляция заказных СБИС : пособие для математических и технических специальностей высших учебных заведений / П. Н. Бибило ; Академия наук Беларуси, Институт технической кибернетики |
|
1995 |
Ракович, Александр Гаврилович (доктор технических наук ; 1926—2000) |
Принцип структурированных спецификаций в автоматизированном синтезе управляющих программ |