Skip navigation
Головна сторінка
Перегляд
Фонди та зібрання
Перегляд матеріалів за:
Дати випуску
Автори
Заголовки
Теми
Довідка
Мова
English
русский
українська
Зареєстрованим:
Мій архів матеріалів
Оновлення на e-mail
Обліковий запис
Донецький національний технічний університет
Електронний архів ДонНТУ м.Покровськ
Пошук
Пошук:
Весь архів електронних ресурсів
Наукові праці ДонНТУ
Серія: Інформатика, кібернетика та обчислювальна техніка
Випуск 15(203)
запит
Поточні фільтри:
Назва
Автор
Тема
за датою випуску
Has File(s)
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Почати новий пошук
Додати фільтри:
Використовуйте фільтри для уточнення результатів пошуку.
Назва
Автор
Тема
за датою випуску
Has File(s)
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Результати 1-1 зі 1.
назад
1
далі
Знайдені матеріали:
Дата випуску
Назва
Автор(и)
2012
Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Шкарупило, В.В.
;
Кудерметов, Р.К.
;
Паромова, Т.А.
;
SHKARUPYLO, V.
;
KUDERMETOV, R.
;
PAROMOVA, T.
;
ПАРОМОВА, Т.О.
Перегляд
Автор
1
KUDERMETOV, R.
1
PAROMOVA, T.
1
SHKARUPYLO, V.
1
Кудерметов, Р.К.
1
Паромова, Т.А.
1
ПАРОМОВА, Т.О.
1
Шкарупило, В.В.
Тема
1
composite Web Service
1
DEVS
1
Model Checking
1
Temporal Logic of Actions
1
Validation
1
Verification
1
валидация
1
валідація
1
верификация
1
верифікація
.
далі >
за датою випуску
1
2012
Has File(s)
1
true