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

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

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

Результаты: 41 - 45 из 5189 для dc.subject any/relevant "МАТЕМАТИЧЕСКОЕ ... ( 0.139 сек.)

41
Катализ в нефтехимической и нефтеперерабатывающей промышленности: (органический синтез на основе нефтяного и газового сырья) / под ред. П. Эмметта ; пер. с англ. И. И. Абрамсона. — М.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1959. — 477, [3] с.: ил., табл. — 23.00.
Детальное описание | Добавить в корзину | Похожие записи
42
Черный, Илья Рафаилович.
Производство мономеров и сырья для нефтехимического синтеза / И. Р. Черный. — М.: Химия, 1973. — 264 с.: ил., табл. — Предм. указ.: с. 260-264. — Библиогр.: с. 252-259. — 1.02.
Детальное описание | Добавить в корзину | Похожие записи
43
Баталин, Олег Юрьевич.
Фазовые равновесия в системах природных углеводородов / О. Ю. Баталин. — М.: Недра, 1992. — 270, [2] с.: ил. — Библиогр.: с. 269-271. — ISBN 5-247-02595-4: 8.80.
Впервые с единых методологических позиций современной физико-химической термодинамики изложены методы описания равновесия пар - жидкость, пар - жидкость - твердое тело и выпадения парафинов в системах, содержащих значительное количество неуглеводородных компонентов. Приведены методы расчета и алгоритмы, позволяющие моделировать фазовое состояние систем природных углеводородов в процессе разработки и эксплуатации залежей. Для научных работников, занимающихся разработкой и эксплуатацией нефтяных, газовых и газоконденсатных месторождений.
Детальное описание | Добавить в корзину | Похожие записи
44
Катализ. Катализаторы органических соединений / пер. с англ. В. А. Баландиной и др. ; под ред.: А. А. Баландина, А. М. Рубинштейна. — М.: Издательство иностранной литературы, 1955. — 336 с. — Библиогр. в конце глав. — 17.30.
Детальное описание | Добавить в корзину | Похожие записи
45
Кузьмин, Егор Владимирович.
Структурированные системы переходов: монография / Е. В. Кузьмин, В. А. Соколов. — М.: ФИЗМАТЛИТ, 2006. — 176 с.: ил. — Предм. указ.: с. 172-173. — Библиогр.: с. 166-171. — ISBN 5-9221-0692-9: 63.00.
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
Детальное описание | Добавить в корзину | Похожие записи