1. Деметрович, Я. Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут, П. Радо ; перевод с английского Л. В. Шабанова ; под редакцией Ю. Г. Дадаева УДК 519.683. — ББК 32.973Издательство: Москва : Мир, 1989Физическая характеристика: 115 с. : табл.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2.  Кибернетика и вычислительная техника / [под редакцией В. А. Мельникова] :  Вып. 4 / редакторы-составители Ю. Г. Дадаев, М. А. Фрумкин. — ББК 32.81. — ББК 32.97Издательство: 1988Физическая характеристика: 231 с. : ил., табл.

Действия: Заказать Добавить в корзину
3. Стерлинг, Л. Искусство программирования на языке Пролог / Л. Стерлинг, Э. Шапиро ; перевод с английского С. Ф. Сопрунова, Л. В. Шабанова ; под редакцией Ю. Г. Дадаева. — ББК 32.973.2-018.1Издательство: Москва : Мир, 1990Физическая характеристика: 333 с. : ил.

Действия: Заказать Добавить в корзину
4.  Параллельные вычисления : [сборник статей] / под редакцией Г. Родрига ; перевод с английского А. Ю. Еремина, М. А. Фрумкина, Л. В. Шабанова ; под редакцией Ю. Г. Дадаева УДК 681.322.012 УДК 51-37. — ББК 32.97Издательство: Москва : Наука, 1986Физическая характеристика: 372 с. : ил.

Действия: Заказать Добавить в корзину
5. Джоунз, Г. Программирование на языке Оккам / Г. Джоунз ; перевод с английского Л. В. Шабанова ; под редакцией Ю. Г. Дадаева. — ББК 32.973.2-018.1Издательство: Москва : Мир, 1989Физическая характеристика: 206, [2] с.

Действия: Заказать Добавить в корзину
6. Фрумкин, М. А. Систолические вычисления / М. А. Фрумкин ; ответственный редактор Ю. Г. Дадаев ; Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика" УДК 681.325.5-181.48:681.524. — ББК 32.973.202Издательство: Москва : Наука, 1990Физическая характеристика: 189, [2] с.

Действия: Заказать Добавить в корзину
7. Дадаев, Ю. Г. Теория арифметических кодов / Дадаев,Юрий Георгиевич. — ББК 32.97Издательство: 1981

Действия: Заказать Добавить в корзину
Языки: