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

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

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

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

1
Материалы второй республиканской научно-технической конференции молодых ученых по переработке нефти и нефтехимии: сборник научных трудов. — Ташкент: ЕШ ГВАРДИЯ, 1974. — 275, [1] с.: ил., табл. — 0.80 р.
Детальное описание | Добавить в корзину | Похожие записи
2
Фазовые равновесия и разделение смесей в процессах нефтехимического синтеза: сб. науч. тр. / Всесоюзный научно-исследовательский институт нефтехимических процессов. — Л.: ВНИИНефтехим, 1974. — 184 с.: ил., табл. — Библиогр. в конце ст. — 0.93 р.
Детальное описание | Добавить в корзину | Похожие записи
3
Ахметов, Сафа Ахметович.
Моделирование и инженерные расчеты физико-химических свойств углеводородных систем: учеб. пособие / С. А. Ахметов, В. А. Аль-Окла ; редактор Т. Г. Умергалин. — Уфа: РИО РУНМЦ МО РБ, 2003. — 159, [1] с.: ил., табл. — Библиогр.: с. 157-159. — ISBN 5-94705-037-4: 250.00 р.
Детальное описание | Добавить в корзину | Похожие записи
4
Назарова, Галина Юрьевна.
Повышение эффективности процесса каталитического крекинга вакуумного дистиллята в лифт-реакторе с применением метода математического моделирования: автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 02.00.13 "Нефтехимия" / Назарова Галина Юрьевна; Национальный исследовательский Томский политехнический университет. — Томск, 2020. — 23 с.: ил. — На правах рукописи. — Библиогр.: с. 22-23.
Детальное описание | Добавить в корзину | Похожие записи
5
Назарова, Галина Юрьевна.
Повышение эффективности процесса каталитического крекинга вакуумного дистиллята в лифт-реакторе с применением метода математического моделирования: диссертация на соискание ученой степени кандидата технических наук : специальность 02.00.13 "Нефтехимия" / Галина Юрьевна Назарова ; науч. рук. Е. Н. Ивашкина; Национальный исследовательский Томский политехнический университет. — Томск, 2019. — 191 л.: ил. — Библиогр.: с. 161-187.
Детальное описание | Добавить в корзину | Похожие записи
6
Актуальные вопросы исследования пластовых систем месторождений углеводородов: Сборник научных статей / под ред. Б. А. Григорьева. — М.: Газпром ВНИИГАЗ, 2010. — 309, [1] с.: ил. — Библиогр. в конце ст. — 535.00 р.
Детальное описание | Добавить в корзину | Похожие записи
7
Шленский, Орест Федорович.
Режимы горения материалов: монография / О. Ф. Шленский, В. С. Сиренко, Е. А. Егорова ; рец.: И. Н. Дорохов, А. А. Коптелов, А. Л. Чимишкян. — Москва: Машиностроение, 2011. — 218 с.: ил., граф.; 22 см. — Библиогр.: с. 209-215. — ISBN 978-5-94275-571-3: 439.05 р.
Представлены сведения об основных параметрах математических моделей горения материалов в различных режимах. Впервые показано, что учет термодинамических и кинетических характеристик фазовых переходов, сопровождаемых химическими реакциями, позволяет объяснить и описать особенности горения материалов, а также их отличие от горения газовых смесей и перехода горения в детонацию. Для инженеров и научных работников, специализирующихся в области физики и теории горения и взрыва.
Детальное описание | Добавить в корзину | Похожие записи
8
Бондаренко, Борис Ильич.
Каталитический крекинг: учебное пособие / Б. И. Бондаренко. — М.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1956. — 208 с.: ил., табл. — Библиогр.: с. 204-206. — 4.85 р.
Детальное описание | Добавить в корзину | Похожие записи
9
Суханов, Василий Павлович.
Каталитические процессы в нефтепереработке: научное издание / В. П. Суханов. — 2-е изд., перераб. и доп. — М.: Химия, 1973. — 412, [4] с. — 1.57 р.
Детальное описание | Добавить в корзину | Похожие записи
10
Исследования в области нефтехимии: сб. работ молодых ученых / Институт нефтехимического синтеза им. А. В. Топчиева АН СССР. — М., 1976. — 229, [2] с.: ил., табл. — Библиогр. в конце ст. — 0.80 р.
Детальное описание | Добавить в корзину | Похожие записи
11
Ивашкина, Елена Николаевна.
Совершенствование промышленных процессов производства линейных алкилбензолов: монография / Е. Н. Ивашкина, Э. Д. Иванчина, А. В. Кравцов ; рец.: А. К. Головко, Л. Н. Курина; Томский политехнический университет (Томск). — Томск: Издательство Томского политехнического университета, 2011. — 357 с.: цв.ил., табл.; 22 см. — Библиогр.: с. 339-353. — ISBN 978-5-98298-921-5: 640.00 р.
В книге изложен новый подход к созданию единой концепции построения математических моделей и интеллектуальных программных комплексов для объектов нефтегазопереработки, обеспечивающей их мониторинг, оптимизацию и прогнозирование. Разработан подход к описанию кинетики многокомпонентных каталитических процессов, вовлеченных в производство полуфабрикатов синтетических моющих средств - линейных алкилбензолов. Предназначена для преподавателей, студентов и аспирантов технических вузов, а также широкого круга читателей, интересующихся проблемами моделирования и оптимизацией процессов химической технологии.
Детальное описание | Добавить в корзину | Похожие записи
12
Деби, Н. К.
Нефтехимическая технология (процессы нефтехимического синтеза): научное издание / Н. К. Деби ; пер. с румынского Д. К Иорга, под ред. И. Б. Рапопорта. — М.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1963. — 531, [1] с.: ил., табл. — Библиогр. в конце разд. — Предм. указ.: с. 523-528. — 2.67 р.
Детальное описание | Добавить в корзину | Похожие записи
13
Синтез моторного топлива: сб. 2 / пер. с англ. и франц. М. А. Чельцовой и др. ; под ред. А. Д. Петрова. — пер. с англ. и франц. — М.: Издательство иностранной литературы, 1951. — 263 с.: ил., табл. — Библиогр. в конце ст. — 12.90 р.
Детальное описание | Добавить в корзину | Похожие записи
14
Динамика сложных систем: междисциплинар. науч. журн. — 2007-. — М., 2007-.
Детальное описание | Добавить в корзину | Похожие записи
15
Нефтехимия, переработка нефти и газа: материалы науч. конф. по проблемам нефтехимической и нефтегазовой пром. в свете решений XXII съезда КПСС. — М.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1963. — 286, [2] с.: ил., табл. — (Труды института нефтехимической и газовой промышленности им. И. М. Губкина). — Библиогр. в конце ст. — 1.44 р.
Детальное описание | Добавить в корзину | Похожие записи
16
Химия углеводородов нефти.
Т. 2 :. — Л.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1958. — 390, [1] с.: ил., табл. — Библиогр. в конце глав. — 0.00.
Детальное описание | Добавить в корзину | Похожие записи
17
Чукин, Геннадий Дмитриевич.
Новые представления о механизме каталитического расщепления углеводородов нефти: монография / Г. Д. Чукин. — М.: Техника, 2008. — 111 с.: табл. — Библиогр.: с. 108-110. — ISBN 5-93969-036-Х: 525.00 р.
Предложено новое определение понятий "кислота" и "основание". Обсуждается единая природа неорганических и органических структур. Даны представления о кислотных и основных центрах и их размещении в структуре слоистых металлосиликатов, алюмосиликатных, цеолитных и алюмоникельмолибденовых гетерогенных катализаторах. С физико-химических позиций рассмотрены механизмы реакций расщепления углеводородов в реакциях крекинга, гидрокрекинга, гидрирования и гидрообессеривания, минуя карбоний-ионный механизм. Книга может быть полезна длдя студентов и аспирантов химических специальностей, а так же для научных сотрудников, занимающихся катализом.
Детальное описание | Добавить в корзину | Похожие записи
18
Казанский, Борис Александрович.
Каталитические превращения углеводородов: сб. избранных трудов / Б. А. Казанский. — М.: Наука, 1968. — 693, [2] с.: ил., табл. — Библиогр. в конце ст. — 3.60 р.
В книге собраны научные труды академика Б. А. Казанского по каталитической дегидроциклизации парафиновых углеводородов в ароматические и циклопентановые углеводороды, по превращениям углеводородов, содержащих 3-15-членные циклы, под действием водорода в присутствии металлических и окисных катализаторов, а также по гидрированию и изомеризации олефинов. Результаты этих работ имеют большое значение в развитии представлений о сущности гетерогенно-каталитических реакций и вскрывают химизм ряда нефтехимических процессов. Книга рассчитана на химиков-органиков, нефтехимиков, физико-химиков: научных работников, инженеров химической и нефтехимической промышленности, преподавателей и студентов вузов.
Детальное описание | Добавить в корзину | Похожие записи
19
Новые аспекты нефтехимического синтеза: сб. работ молодых ученых. — М.: Научно-информационный отдел Института нефтехимического синтеза АН СССР, 1978. — 205, [2] с.: ил. — Библиогр. в конце ст. — 1.60 р.
Детальное описание | Добавить в корзину | Похожие записи
20
Математическое моделирование. Процессы в сложных экономических и экологических системах: сборник / Отв. ред. А. А. Самарский, Н. Н. Моисеев, А. А. Петров. — М.: Наука, 1986. — 294, [2] с.: ил. — Библиогр. в конце ст. — 2.50 р.
Детальное описание | Добавить в корзину | Похожие записи
21
Смидович, Екатерина Владимировна.
Технология переработки нефти и газа / Е. В. Смидович.
Ч. 2 : Крекинг нефтяного сырья и переработка углеводородных газов: учебник для нефтяных специальностей вузов. — 3-е изд., перераб. и доп. — М.: Химия, 1980. — 328 с.: ил. — Библиогр. в конце глав. — Предм. указ.: с. 325-328. — 1.00 р.
Детальное описание | Добавить в корзину | Похожие записи
22
Катализ. Катализаторы органических соединений: сборник / пер. с англ. В. А. Баландиной и др. ; под ред.: А. А. Баландина, А. М. Рубинштейна. — М.: Издательство иностранной литературы, 1955. — 336 с. — Библиогр. в конце глав. — 17.30 р.
Детальное описание | Добавить в корзину | Похожие записи
23
Процессы с участием молекулярного водорода: Всесоюзная конференция по кинетике каталитических реакций / Институт катализа СО АН СССР; под ред. С. Л. Кипермана. — Новосибирск, 1973. — 182, [2] с.: ил., табл. — Библиогр. в конце ст. — 0.80 р.
Детальное описание | Добавить в корзину | Похожие записи
24
Катализ в нефтехимической и нефтеперерабатывающей промышленности.
Кн. 2 : алкилирование, изомеризация, полимеризация, крекинг и гидроформинг / под ред. П. Эмметта. — М.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1961. — 661, [3] с.: ил., табл. — Библиогр.: с. 657-660. — 3.46 р.
Детальное описание | Добавить в корзину | Похожие записи
25
Магарил, Ромен Зеликович.
Теоретические основы химических процессов переработки нефти: монография / Р. З. Магарил. — М.: Химия, 1976. — 311, [1] с.: ил., табл. — Библиогр. в конце глав. — Предм. указ.: с. 309-312. — 2.20 р.
Детальное описание | Добавить в корзину | Похожие записи
26
Масагутов, Рафгат Мазитович.
Регенерация катализаторов в нефтепереработке и нефтехимии: научное издание / Р. М. Масагутов, Б. Ф. Морозов, Б. И. Кутепов. — М.: Химия, 1987. — 141, [3] с.: ил., табл. — Библиогр.: с. 135-142. — 1.60 р.
Детальное описание | Добавить в корзину | Похожие записи
27
Сорокова, С. Н.
Моделирование синтеза интерметаллида на подложке цилиндрической формы: научное издание / С. Н. Сорокова, А. Г. Князева, С. Г. Псахье; Институт физики прочности и материаловедения СО РАН (Томск), Томский политехнический университет (Томск) // Новосибирск.
Предложена и исследована двумерная модель синтеза покрытия на подложке в условиях регулируемого нагрева, учитывающая кинетические и тепловые явления. В качестве модельной системы покрытия выбрана смесь порошков Ti и Ni, в качестве подложки - сталь. Система химических реакций записана в соответствии с диаграммой состояния Ti-Ni. В модели учитывается, что химические реакции тормозятся слоем продукта. Задача решена численно. Определены распределения температуры и концентраций элементов и соединений в различные моменты времени для различных условий синтеза. Показано, что при любой организации процесса синтезированный материал оказывается химически неоднородным.
Детальное описание | Добавить в корзину | Похожие записи
28
Лапшин, Олег Валентинович.
Математическое моделирование высокотемпературного синтеза материалов на основе интерметаллида Ni3Al и карбида титана TiC: дис. ... канд. физ.-мат. наук : 01.04.07 / О. В. Лапшин ; науч. рук. В. Е. Овчаренко; Институт физики прочности и материаловедения СО РАН (Томск). — Томск, 1998. — 152 с.: ил. — На правах рукописи. — Библиогр.: с. 140-152.
Детальное описание | Добавить в корзину | Похожие записи
29
Азиз, Халид.
Математическое моделирование пластовых систем = Petroleum reservoir simulation: пер. с англ. / Х. Азиз. — М.: Недра, 1982. — 407, [1] с.: ил. — Библиогр.: с. 386-401. — 1.00 р.
Изложены теоретические основы математического моделирования пластовых систем и описаны методы решения уравнений фильтрации с помощью вычислительных машин. Даны рекомендации по конструированию математических и компьютерных моделей, их анализ и примеры программных систем. Для инженерно-технических работников нефтяной промышленности, научно-исследовательских организаций и высших учебных заведений, занимающихся анализом и проектированием разработки нефтяных месторождений, а также для студентов вузов.
Детальное описание | Добавить в корзину | Похожие записи
30
Галкин, Валерий Алексеевич.
Уравнение Смолуховского: монография / В. А. Галкин. — М.: ФИЗМАТЛИТ, 2001. — 336 с.: ил. — Библиогр.: с. 326-335. — Предм. указ.: с. 336. — ISBN 5-9221-0208-7: 154.00 р.
Детальное описание | Добавить в корзину | Похожие записи
31
Математические вопросы химической термодинамики: сборник научных трудов / Институт неорганической химии СО АН СССР; Отв. ред. И. К. Карпов, Г. А. Коковин. — Новосибирск: Наука, 1984. — 119, [1] с.: ил., табл. — Библиогр. в конце ст. — 1.20 р.
Детальное описание | Добавить в корзину | Похожие записи
32
Математика в химической термодинамике: сборник / Институт неорганической химии СО АН СССР; Отв. ред. Г. А. Коковин. — Новосибирск: Наука, 1980. — 192, [1] с.: ил. — Библиогр. в конце ст. — 1.30 р.
Детальное описание | Добавить в корзину | Похожие записи
33
Ивахненко, Алексей Григорьевич.
Моделирование сложных систем по экспериментальным данным: монография / А. Г. Ивахненко, Ю. П. Юрачковский. — М.: Радио и связь, 1987. — 119 с.: ил. — (Кибернетика). — Библиогр.: с. 117-118. — 0.40 р.
Детальное описание | Добавить в корзину | Похожие записи
34
Савин, Геннадий Иванович.
Системное моделирование сложных процессов: монография / Г. И. Савин. — М.: ФАЗИС: ВЦ РАН, 2000. — 276 с.: ил. — (Математическое моделирование). — Библиогр.: с. 275. — ISBN 5-7036-0063-4.
Книга посвящена вопросам создания современного многоцелевого инструментария для исследования процессов проектирования, анализа функционирования и управления сложными системами на базе построения иерархических систем математического моделирования и определенных принципов их использования, позволяющего воспроизводить, анализировать и оптимизировать изучаемые процессы.Системное моделирование, представляющее собой достаточно универсальный подход, объединяющий множество решаемых проблем, является сегодня единственным претендентом на роль беспристрастного и адекватного помощника при создании и управлении сложными взаимосвязанными системами в социально-экономической, военной, экологической и других областях человеческой деятельности. В книге изложены основные принципы, а также схемы создания и применения систем моделирования в различных предметных областях. Для примера подробно разобран вариант разработки системы моделей для исследования вооруженной борьбы. С учетом сложности изучаемого процесса это позволяет показать наиболее полно преимущества системного моделирования. Книга адресована широкому кругу специалистов, от студентов до профессионалов.
Детальное описание | Добавить в корзину | Похожие записи
35
Зульфугаров, З. Г.
Влияние условий синтеза крекирующих катализаторов на их физико-химические свойства: монография / З. Г. Зульфугаров. — Баку: Издательство АН Азербайджанской ССР, 1957. — 221, [3] с.: ил., табл. — Библиогр.: с. 201-207. — 10.00 р.
Детальное описание | Добавить в корзину | Похожие записи
36
Химия и нефтепереработка: сборник научных трудов. — М., 1969. — 158, [2] с.: ил., табл. — (Труды института нефтехимической и газовой промышленности им. И. М. Губкина). — Библиогр. в конце ст. — 0.70 р.
Детальное описание | Добавить в корзину | Похожие записи
37
Нефти месторождений восточного побережья Каспия: монография / [С. Р. Сергиенко, А. Айдогдыев, А. Г. Короткий и др.] ; под ред. С. Р. Сергиенко; Институт химии АН Туркменской ССР. — Ашхабад: Ылым, 1972. — 246, [2] с.: ил., табл. — Библиогр. в конце глав. — 1.50 р.
Детальное описание | Добавить в корзину | Похожие записи
38
Производство моторных топлив: сборник научных трудов. — Л.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1960. — 223, [1] с.: ил., табл. — (Труды Всесоюзного научно-исследовательского института нефтехимических процессов). — Библиогр. в конце ст. — 1.14 р.
Детальное описание | Добавить в корзину | Похожие записи
39
Потехин, Вячеслав Матвеевич.
Основы теории химических процессов технологии органических веществ и нефтепереработки: [учебник для хим.-технол. специальностей вузов] / В. М. Потехин, В. В. Потехин. — [2-е изд., испр. и доп.]. — СПб.: Химиздат, 2007. — 940, [4] с. — Библиогр. в конце ч. — ISBN 978-5-93808-147-5: 984.00 р.
Детальное описание | Добавить в корзину | Похожие записи
40
Горнов, Александр Юрьевич.
Вычислительные технологии решения задач оптимального управления / А. Ю. Горнов ; рец.: В. И. Зоркальцев, В. А. Батурин, А. И. Тятюшкин; Институт динамики систем и теории управления СО РАН (Новосибирск). — Новосибирск: Наука, 2009. — 275 с.: граф. — Библиогр.: с. 248-275. — ISBN 978-5-02-023284-6: 120.00 р.
Монография посвящена вычислительным технологиями решения задач оптимизации динамических систем. Предложен единый подход к решению различных типов задач, рассмотрены мультиметодные технологии и дан набор оригинальных алгоритмов оптимизации. описаны различные методики оценки качества алгоритмов и программных средств, методики верификации всех этапов решения. Приведены алгоритмы исследования нелокальных свойств задач оптимального управления - аппроксимации множества достижимости и поиска глобального экстремума функционала. Представлен ряд разработанных автором программных комплексов, реализованных для различных вычислительных платформ. Книга предназначена для специалистов по математическому моделированию и оптимизации управляемых систем.
Детальное описание | Добавить в корзину | Похожие записи
41
Моделирование и обработка изображений в оптических системах космического видения: научное издание / А. Х. Султанов [и др.]. — М.: Наука, 1999. — 208 с.: 37 ил. — Библиогр.: с. 193-207. — ISBN 5-02-002604-2: 25.00 р.
Детальное описание | Добавить в корзину | Похожие записи
42
Новейшие достижения нефтехимии и нефтепереработки.
Т. 5-6 :. — М.: Химия, 1965. — 470, [2] с.: ил., табл. — Библиогр. в конце глав. — 0.00.
Детальное описание | Добавить в корзину | Похожие записи
43
Тимофеев, Владимир Савельевич.
Принципы технологии основного органического и нефтехимического синтеза: учеб. пособие для вузов / В. С. Тимофеев, Л. А. Серафимов. — М.: Химия, 1992. — 431, [1] с.: ил., табл. — Библиогр.: с. 430-431. — ISBN 5-7245-0473-1: 5.25 р.
Детальное описание | Добавить в корзину | Похожие записи
44
Днестровский, Юрий Николаевич.
Математическое моделирование плазмы: монография / Ю. Н. Днестровский, Д. П. Костомаров. — М.: Наука, 1982. — 320 с.: ил. — Библиогр. в конце глав. — Предм. указ.: с. 319-320. — 2.80 р.
Детальное описание | Добавить в корзину | Похожие записи
45
Лапшин, Олег Валентинович.
Математическое моделирование высокотемпературного синтеза материалов на основе интерметаллида Ni3Al и карбида титана TiC: автореферат дис. ... канд. физ.-мат. наук : 01.04.07 / О. В. Лапшин ; науч. рук. В. Е. Овчаренко, оппоненты: А. П. Савицкий, В. К. Смоляков; Институт физики прочности и материаловедения СО РАН (Томск), Томский государственный архитектурно-строительный университет (Томск). — Томск, 1998. — 25 с.: граф. — На правах рукописи. — Библиогр.: с. 24-25.
Детальное описание | Добавить в корзину | Похожие записи
46
Катализ в нефтехимической и нефтеперерабатывающей промышленности: (органический синтез на основе нефтяного и газового сырья) / под ред. П. Эмметта ; пер. с англ. И. И. Абрамсона. — М.: Государственное научно-техническое издательство нефтяной и горно-топливной литературы, 1959. — 477, [3] с.: ил., табл. — 23.00 р.
Детальное описание | Добавить в корзину | Похожие записи
47
Черный, Илья Рафаилович.
Производство мономеров и сырья для нефтехимического синтеза: монография / И. Р. Черный. — М.: Химия, 1973. — 264 с.: ил., табл. — Библиогр.: с. 252-259. — Предм. указ.: с. 260-264. — 1.02 р.
Детальное описание | Добавить в корзину | Похожие записи
48
Садыков, Радик Равкатович.
Технология каталитического синтеза тиофена из диалкилдисульфидов и C4-углеводородов: автореф. дис. ... канд. техн. наук : 05.17.04 / Р. Р. Садыков ; науч. рук. А. М. Мазгаров, офиц. оппоненты: Х. Э. Харлампиди, С. И. Васюков; ОАО "Волжский научно-исследовательский институт углеводородного сырья", Российский химико-технологический университет им. Д. И. Менделеева (М.), Казанский государственный технологический университет (Казань). — Казань, 2009. — 16 с. — На правах рукописи.
Детальное описание | Добавить в корзину | Похожие записи
49
Баталин, Олег Юрьевич.
Фазовые равновесия в системах природных углеводородов: научное издание / О. Ю. Баталин. — М.: Недра, 1992. — 270, [2] с.: ил. — Библиогр.: с. 269-271. — ISBN 5-247-02595-4: 8.80 р.
Впервые с единых методологических позиций современной физико-химической термодинамики изложены методы описания равновесия пар - жидкость, пар - жидкость - твердое тело и выпадения парафинов в системах, содержащих значительное количество неуглеводородных компонентов. Приведены методы расчета и алгоритмы, позволяющие моделировать фазовое состояние систем природных углеводородов в процессе разработки и эксплуатации залежей. Для научных работников, занимающихся разработкой и эксплуатацией нефтяных, газовых и газоконденсатных месторождений.
Детальное описание | Добавить в корзину | Похожие записи
50
Кузьмин, Егор Владимирович.
Структурированные системы переходов: монография / Е. В. Кузьмин, В. А. Соколов. — М.: ФИЗМАТЛИТ, 2006. — 176 с.: ил. — Библиогр.: с. 166-171. — Предм. указ.: с. 172-173. — ISBN 5-9221-0692-9: 63.00 р.
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
Детальное описание | Добавить в корзину | Похожие записи