Электронный архив НГУ
Искать
Войти
русский
English
Главная
→
Методические материалы
→
Факультет информационных технологий
→
Труды сотрудников ФИТ
→
Искать
JavaScript is disabled for your browser. Some features of this site may not work without it.
Искать
Фильтры
Используйте фильтры для более точного отбора.
Текщие фильтры:
Название
Автор
Тема
Дата защиты ВКР (дата публикации)
Has File(s)
Filename
File description
Содержит
Равно
ID
Не Содержит
Не Равно
Не ID
Название
Автор
Тема
Дата защиты ВКР (дата публикации)
Has File(s)
Filename
File description
Содержит
Равно
ID
Не Содержит
Не Равно
Не ID
Название
Автор
Тема
Дата защиты ВКР (дата публикации)
Has File(s)
Filename
File description
Содержит
Равно
ID
Не Содержит
Не Равно
Не ID
Название
Автор
Тема
Дата защиты ВКР (дата публикации)
Has File(s)
Filename
File description
Содержит
Равно
ID
Не Содержит
Не Равно
Не ID
Новые фильтры:
Название
Автор
Тема
Дата защиты ВКР (дата публикации)
Has File(s)
Filename
File description
Содержит
Равно
ID
Не Содержит
Не Равно
Не ID
Показано 1 из 1 результатов для Раздела: Труды сотрудников ФИТ.
(0.001 секунд)
Отображаемые элементы 1-1 из 1
1
Настройки соритровки:
Совпадение
Название по возрастанию
Название по убыванию
Дата защиты ВКР (дата публикации) по возрастанию
Дата защиты ВКР (дата публикации) по убыванию
Результатов на страницу:
5
10
20
40
60
80
100
Моделирование спецификаций распределенных систем на языке dynamic-real сетями петри высокого уровня
Непомнящий, Валерий Александрович
;
Попова, Наталья Сергеевна
;
Чурина, Татьяна Геннадьевна
(
Новосибирский государственный университет
,
2013-03-02
)
Отображаемые элементы 1-1 из 1
1
Настройки соритровки:
Совпадение
Название по возрастанию
Название по убыванию
Дата защиты ВКР (дата публикации) по возрастанию
Дата защиты ВКР (дата публикации) по убыванию
Результатов на страницу:
5
10
20
40
60
80
100
Просмотр
Весь DSpace
Сообщества и коллекции
Дата защиты ВКР (дата публикации)
Авторы
Названия
Тематика
Это сообщество
Дата защиты ВКР (дата публикации)
Авторы
Названия
Тематика
Моя учетная запись
Войти
Регистрация
Обзор
Автору
A. P. Ershov Institute of Informatics Systems SB RAS (1)
Novosibirsk State University (1)
Институт систем инфо матики им. А. П. Е шова СО РАН (1)
Непомнящий, Валерий Александрович (1)
Новосирби ский государ ственный универ ситет (1)
Попова, Наталья Сергеевна (1)
Чурина, Татьяна Геннадьевна (1)
Темы
004.7 (1)
coloured Petri nets (1)
distributed systems (1)
hierarchical timed typed nets (1)
language Dynamic-REAL (1)
translation method (1)
иерархические временные типизированные сети (1)
метод трансляции (1)
раскрашенные сети Петри (1)
распределенные системы (1)
... Показать все
Даты защиты ВКР (даты публикации)
2013 (1)
Has File(s)
Yes (1)