Сводный электронный каталог

научно-технических библиотек Томского научного центра СО РАН

Результат поиска

Результаты: 1436 - 1440 из 2037 для dc.subject any/relevant "АНГЛО-РУССКИЕ С ... ( 0.258 сек.)

1436
Геоинформационные и геоэкологические исследования в странах СНГ: научное издание / Международная ассоциация академий наук; Объединенный научный совет по фундаментальным географическим проблемам; Отв. ред. Н. Ф. Глазовский. — М.: ГЕОС, 1999. — 141, [1] с.: ил. — Библиогр. в конце глав. — ISBN 5-89118-090-1: 15.00 р.
Детальное описание | Добавить в корзину | Похожие записи
1437
Абрамов, Сергей Александрович.
Элементы анализа программ. Частичные функции на множестве состояний: научное издание / С. А. Абрамов ; рец. Д. Б. Подшивалов. — М.: Наука, Главная редакция физико-математической литературы, 1986. — 128 с. — (Библиотечка программиста). — Библиогр.: с. 127. — 0.45 р.
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.
Детальное описание | Добавить в корзину | Похожие записи
1438
Францина, Евгения Владимировна.
Прогнозирование работ промышленного реактора дегидрирования высших алканов с использованием нестационарной кинетической модели: автореферат дис. ... / Е. В. Францина ; научный руководитель А. В. Кравцов, научный руководитель Э. Д. Иванчина, оппонент А. Я. Сваровский, оппонент Д. С. Полубоярцев; ООО "Научно-исследовательская организация "Сибур-Томскнефтехим" (Томск). — Томск, 2011. — 22, [1] с. — Библиогр.: с. 20-22.
Детальное описание | Добавить в корзину | Похожие записи
1439
Дюбуа, Дидье.
Теория возможностей. Приложения к представлению знаний в информатике: монография / Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова, под ред. С. А. Орловского. — М.: Радио и связь, 1990. — 286, [2] с. — Библиогр.: с. 212-216. — ISBN 5-256-00184-1: 2.40 р.
Детальное описание | Добавить в корзину | Похожие записи
1440
Реферативный журнал. 14. Технология машиностроения: 14А. Резание материалов. Станки и инструменты / ВИНИТИ. — 1970-. — М.: ВИНИТИ РАН, 1970-. — ISSN 0202-957X.
Детальное описание | Добавить в корзину | Похожие записи