Поисковый запрос: <.>R=50.07.03$<.> |
Общее количество найденных документов : 663
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание (Препринт)
Шифр издания : K
Автор(ы) : Сидорова Н.С.
Заглавие : Бисимуляционно-эквивалентные преобразования сетей Петри
Выходные данные : Ярославль, 1998
Колич.характеристики :51 с.:
ил.
Серия: Препринт; N1
Цена : Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Содержание :
Найти похожие
|
2.
|
Вид документа : Однотомное издание (Препринт)
Шифр издания : K
Автор(ы) : Козюра В.Е.
Заглавие : Unfoldings of timed coloured petri nets
Выходные данные : Novosibirsk, 2000
Колич.характеристики :32 p.:
il.
Серия: Препринт; 82
Примечания : Перед загл. авт.: V. E. Kozura
Цена : Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Содержание :
Найти похожие
|
3.
|
Вид документа : Однотомное издание (Препринт)
Шифр издания : K
Автор(ы) : Козюра В.Е.
Заглавие : Unfoldings of coloured Petri nets
Выходные данные : Novosibirsk, 2000
Колич.характеристики :34 p.:
il.
Серия: Препринт; 80(2000)
Примечания : Перед загл. авт.: V.E.Kozura
Цена : Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Содержание :
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Желтов В.П., Димитриев А.П.
Заглавие : Стохастическая оптимизация расписания на сетях Петри
Выходные данные : Чебоксары, 2001
Колич.характеристики :213 с.:
ил.
Примечания : ; Библиогр.: с. 204-212 (120 назв.). - В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова.
ISBN, Цена 5-7677-0528-3: Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Найти похожие
|
5.
|
Вид документа : Однотомное издание (Препринт)
Шифр издания : K
Автор(ы) : Козюра В.Е., Непомнящий В.А., Новиков Р.М.
Заглавие : Верификация раскрашенных сетей Петри методом проверки моделей
Выходные данные : Новосибирск, 2001
Колич.характеристики :24 с.:
ил.
Серия: Препринт; 89
Цена : Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Содержание :
Найти похожие
|
6.
|
Вид документа : Однотомное издание (Препринт)
Шифр издания : K
Автор(ы) : Козюра В.Е.
Заглавие : Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток
Выходные данные : Новосибирск, 2002
Колич.характеристики :44 с.:
ил
Серия: Препринт; 94(2002)
Цена : Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Содержание :
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Ломазова И.А.
Заглавие : Сети Петри и анализ поведенческих свойств распределенных систем
: Учеб. пособие
Выходные данные : Ярославль, 2002
Колич.характеристики :162 с.:
ил.
Примечания : ; Библиогр.: с. 160-162 (28 назв.). - В надзаг.: Яросл. гос. ун-т им. П.Г. Демидова.
ISBN, Цена 5-8397-0218-8: Б.ц.
ГРНТИ : ; 50.07.03
УДК :
Предметные рубрики: Петри сети
Найти похожие
|
8.
|
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : Computer data analysis and modeling
: Robustness and computer intensive methods: Proc.of the 6th Intern.conf., (Sept. 10-14, Minsk)
Выходные данные : Minsk, 2001
Колич.характеристики :259 c:
ил
Коллективы :
International conference "Computer data and modeling: Robustness and computer intensive methods" (6;Minsk)
Примечания : ; Библиогр. в конце ст
ISBN, Цена 985-445-489-4: Б.ц.
ISBN, Цена 985-445-490-8: Б.ц.
ГРНТИ : ; 27.43.17 + ; 50.07.03
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; моделирование данных; эвм; робастность; интенсивные матоды
Найти похожие
|
9.
|
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : Computer data analysis and modeling
: Robustness and computer intensive methods: Proc.of the 6th Intern.conf., (Sept. 10-14, Minsk)
Выходные данные : Minsk, 2001
Колич.характеристики :260 c:
ил
Примечания : ; Библиогр. в конце ст
ISBN, Цена 985-445-491-6: Б.ц.
ГРНТИ : ; 27.43.17 + ; 50.07.03
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; моделирование данных; эвм; робастность; интенсивные матоды
Найти похожие
|
10.
|
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : Computer data analysis and modeling
: Robustness and computer intensive methods: Proc.of the 6th Intern.conf., (Sept. 10-14, Minsk)
Выходные данные : Minsk, 2001
Колич.характеристики :245 c:
ил
Примечания : ; Библиогр. в конце ст
ISBN, Цена 985-445-492-4: Б.ц.
ГРНТИ : ; 27.43.17 + ; 50.07.03
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; моделирование данных; эвм; робастность; интенсивные матоды
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных