Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (387) | Журнали та продовжувані видання (3) | Реферативна база даних (491) |
Пошуковий запит: (<.>U=З973-018.02$<.>) | |||
|
Загальна кількість знайдених документів : 18 Представлено документи з 1 до 18 |
|||
| 1. | Лисенко С. М. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм : автореф. дис. ... канд. техн. наук : 05.13.06. — Т., 2010. — 20 с.: a-рис. — укp. Рубрики: | ||
| 2. | Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними : Автореф. дис... канд. фіз.-мат. наук: 01.05.01. — К., 2007. — 17 с. — укp. Рубрики: | ||
| 3. | Семеріков С.О. Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування : Автореф. дис... канд. пед. наук: 13.00.02. — К., 2001. — 20 с. — укp. Рубрики: | ||
| 4. | Потієнко С.В. Алгебраїчні методи верифікації асинхронних паралельних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2009. — 16 с. — укp. Рубрики: | ||
| 5. | Матвєєва Л.Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 17 с. — укp. Рубрики: | ||
| 6. | Летичевський О.О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 14 с. — укp. Рубрики: | ||
| 7. | Чеботарьов А.М. Доказове проектування алгоритмів функціонування реактивних систем : Автореф. дис... д-ра техн. наук: 05.13.13. — К., 2002. — 32 с. — укp. Рубрики: | ||
| 8. | Шкільняк О. С. Дослідження композиційно-номінативних модальних та темпоральних логік : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01. — К., 2011. — 19 с. — укp. Рубрики: | ||
| 9. | Гуца О.М. Інтерактивна модель перекладу технічних завдань у систему булевих формул : Автореф. дис... канд. техн. наук: 01.05.02. — Х., 2002. — 19 с.: рис. — укp. Рубрики: | ||
| 10. | Панченко Т.В. Композиційні методи специфікації та верифікації програмних систем : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2006. — 17 с. — укp. Рубрики: | ||
| 11. | Єршов С.В. Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р-схем : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 1998. — 16 с. — укp. Рубрики: | ||
| 12. | Куйвашев Д.В. Методики перенацілюваної генерації коду для мікропроцесорних архітектур з нерегулярним довгим командним словом : Автореф. дис... канд. техн. наук: 01.05.03. — К., 2002. — 18 с. — укp. Рубрики: | ||
| 13. | Коротун Т.М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 19 с.: рис. — укp. Рубрики: | ||
| 14. | Альбахлул А. Моделі структурно-об'єктної технології розробки інтерфейсного комплексу корпоративної інформаційної системи : Автореф. дис... канд. техн. наук: 05.13.06. — Х., 2005. — 19 с. — укp. Рубрики: | ||
| 15. | Говорущенко Т.О. Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій : автореф. дис... канд. техн. наук: 05.13.06. — Л., 2007. — 20 с. — укp. Рубрики: | ||
| 16. | Колчин О.В. Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2009. — 16 с. — укp. Рубрики: | ||
| 17. | Яценко О.А. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2005. — 17 с. — укp. Рубрики: | ||
| 18. | Тульчинський П.Г. Розробка механізму розширеного запиту за зразком у застосуваннях баз даних : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2003. — 15 с. — укp. Рубрики: | ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |