Электронный архив НГУ
Искать
Войти
русский
English
Главная
→
Периодические издания
→
Вестник НГУ. Серия: Информационные технологии
→
Том 08 (2010)
→
IT Выпуск 4 (2010)
→
Искать
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
Показано 2 из 2 результатов для Коллекции: IT Выпуск 4 (2010).
(0.001 секунд)
Отображаемые элементы 1-2 из 2
1
Настройки соритровки:
Совпадение
Название по возрастанию
Название по убыванию
Дата защиты ВКР (дата публикации) по возрастанию
Дата защиты ВКР (дата публикации) по убыванию
Результатов на страницу:
5
10
20
40
60
80
100
Моделирование спецификаций распределенных систем на языке dynamic-real сетями петри высокого уровня
Непомнящий, Валерий Александрович
;
Попова, Наталья Сергеевна
;
Чурина, Татьяна Геннадьевна
(
Новосибирский государственный университет
,
2013-03-02
)
Автоматизированная система тестирования nsuts: требования и разработка прототипа
Боженкова, Елена Николаевна
;
Иртегов, Дмитрий Валентинович
;
Киров, Александр Владимирович
;
Нестеренко, Татьяна Викторовна
;
Чурина, Татьяна Геннадьевна
(
Новосибирский государственный университет
,
2013-03-02
)
Отображаемые элементы 1-2 из 2
1
Настройки соритровки:
Совпадение
Название по возрастанию
Название по убыванию
Дата защиты ВКР (дата публикации) по возрастанию
Дата защиты ВКР (дата публикации) по убыванию
Результатов на страницу:
5
10
20
40
60
80
100
Просмотр
Весь DSpace
Сообщества и коллекции
Дата защиты ВКР (дата публикации)
Авторы
Названия
Тематика
Эта коллекция
Дата защиты ВКР (дата публикации)
Авторы
Названия
Тематика
Моя учетная запись
Войти
Регистрация
Обзор
Автору
A. P. Ershov Institute of Informatics Systems SB RAS (2)
Novosibirsk State University (2)
Чурина, Татьяна Геннадьевна (2)
fraud protection (1)
insulating environment (1)
NSUts (1)
programming contests (1)
Боженкова, Елена Николаевна (1)
Институт систем инфо матики им. А. П. Е шова СО РАН (1)
Институт систем информатики им. А. П. Ершова СО РАН (1)
... Показать все
Темы
004.4, 004.9 (1)
004.7 (1)
automated testing system (1)
coloured Petri nets (1)
distributed systems (1)
hierarchical timed typed nets (1)
language Dynamic-REAL (1)
NSUts (1)
programming contests (1)
translation method (1)
... Показать все
Даты защиты ВКР (даты публикации)
2013 (2)
Has File(s)
Yes (2)