| Найдено документов - 4 | Найти похожие: "Индекс УДК" = '519.711.74' | Версия для печати |
Сортировать по:
1. Книга
Кузьмин Е.В.
Структурированные системы переходов / Е.В. Кузьмин, В.А. Соколов. - М. : Физматлит, 2006. - 175 с. : ил. - Библиогр.:с.166-171(90 назв.). - ISBN 5-9221-0692-9.
Структурированные системы переходов / Е.В. Кузьмин, В.А. Соколов. - М. : Физматлит, 2006. - 175 с. : ил. - Библиогр.:с.166-171(90 назв.). - ISBN 5-9221-0692-9.
Авторы: Кузьмин Е.В., Соколов В.А.
Шифры: 519 - К 893
Ключевые слова: ВЕРИФИКАЦИЯ ПРОГРАММ, ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА, ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ
Экземпляры: Всего: 1, из них: чзнл-1
2. Книга
Ломазова И.А.
Вложенные сети Петри:моделирование и анализ распределенных систем с объектной структурой / И.А. Ломазова. - М. : Научный мир, 2004. - 207 с. : ил. - Библиогр.:с.197-207(95 назв.). - ISBN 5-89176-247-1.
Вложенные сети Петри:моделирование и анализ распределенных систем с объектной структурой / И.А. Ломазова. - М. : Научный мир, 2004. - 207 с. : ил. - Библиогр.:с.197-207(95 назв.). - ISBN 5-89176-247-1.
Авторы: Ломазова И.А.
Шифры: 519 - Л 74
Ключевые слова: СЕТИ ПЕТРИ
Экземпляры: Всего: 2, из них: чзнл-2
3. Документ
Васильев В.В.
Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В.В. Васильев, В.В. Кузьмук ; АН УССР, Ин-т пробл. моделирования в энергетике. - Киев : Наукова думка, 1990. - 221 с. : ил. - Библиогр.: с. 209-211 (66 назв.).
Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В.В. Васильев, В.В. Кузьмук ; АН УССР, Ин-т пробл. моделирования в энергетике. - Киев : Наукова думка, 1990. - 221 с. : ил. - Библиогр.: с. 209-211 (66 назв.).
Авторы: Васильев В.В., Кузьмук В.В.
Шифры: 681.142 - В 191
Экземпляры: Всего: 5, из них: абнл-5
4. Книга
Лескин А.А.
Сети Петри в моделировании и управлении / А.А. Лескин, П.А. Мальцев, А.М. Спиридонов ; Отв. ред. Пономарев В.М.; АН СССР, Ленингр. ин-т информатики и автоматизации. - Л. : Наука. Ленинградское отделение, 1989. - 135 с. : ил. - Библиогр.: с. 130-132 (57 назв.). - ISBN 5-02-024462-7.
Сети Петри в моделировании и управлении / А.А. Лескин, П.А. Мальцев, А.М. Спиридонов ; Отв. ред. Пономарев В.М.; АН СССР, Ленингр. ин-т информатики и автоматизации. - Л. : Наука. Ленинградское отделение, 1989. - 135 с. : ил. - Библиогр.: с. 130-132 (57 назв.). - ISBN 5-02-024462-7.
Авторы: Лескин А.А., Мальцев П.А., Спиридонов А.М.
Шифры: 519 - Л 502
Ключевые слова: СЕТИ ПЕТРИ
Экземпляры: Всего: 5, из них: абнл-2, списание-2, чзнл-1