Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты випуска
Авторы
Заголовки
Темы
Справка
Язык
English
русский
українська
Зарегистрированным:
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Донецкий национальный технический университет
Електронний архів ДонНТУ м.Покровськ
Поиск
Поиск:
Весь архив электронных ресурсов
Архів публікацій до 2014 року
Випускні кваліфікаційні роботи (проекти)
Відділ міжнародних зв’язків
Гірничий факультет
Інститут комп'ютерних наук і технологій
Навчально-науковий індустріальний інститут
Наукові видання ДонНТУ
Наукові праці ДонНТУ
Факультет Економіко-гуманітарний
Факультет Комп'ютерно-інформаційних технологій та автоматизації
Факультет машинобудування, електроінженерії та хімічних технологій
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 11-13 из 13.
назад
1
2
дальше
Найденные ресурсы:
Дата выпуска
Название
Автор(ы)
2011
Неисправности автоматов, сохраняющие их поведение
Копытова, О.М.
;
Kopitova, O.M.
2008
Умови збереження поведінки автомата при двох перекидах дуг
Копитова, О.М.
;
Kopitova, O.M.
2012
An Approach to Composite Web Services Formal Verification
Shkarupylo, V.V.
;
Kudermetov, R.К.
;
ШКАРУПИЛО, В.В.
;
КУДЕРМЕТОВ, Р.К.
Просмотр
Автор
11
Копытова, О.М.
5
Kopitova, O.M.
1
Kudermetov, R.К.
1
Shkarupylo, V.V.
1
Копитова, О.М.
1
КУДЕРМЕТОВ, Р.К.
1
ШКАРУПИЛО, В.В.
Тема
12
Automaton
11
Arcs Transfer
11
Isomorphism
3
Identifiers
1
Formal Specification
1
Model Checking
1
TLA
1
Transfer
1
Verification
1
Web Service
.
дальше >
по дате выпуска
4
2008
3
2009
3
2010
2
2011
1
2012
Has File(s)
13
true