Пошуковий запит: (<.>U=З973-018$<.>) |
Загальна кількість знайдених документів : 75
Представлено документи з 1 до 20
|
| |
1. | РА377687 Лисенко С. М. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм : автореф. дис. ... канд. техн. наук : 05.13.06 / С. М. Лисенко / Терноп. нац. екон. ун-т. — Т., 2010. — 20 с.: a-рис. |
2. | Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Л.Л. Омельчук / Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 17 с. |
3. | РА314104 Семеріков С.О. Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування : Автореф. дис... канд. пед. наук: 13.00.02 / С.О. Семеріков / Нац. пед. ун-т ім. М.П.Драгоманова. — К., 2001. — 20 с. |
4. | Потієнко С.В. Алгебраїчні методи верифікації асинхронних паралельних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / С.В. Потієнко / Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2009. — 16 с. |
5. | РА312554 Ревенчук І.А. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів : Автореф. дис... канд. техн. наук: 01.05.03 / І.А. Ревенчук / Харк. держ. техн. ун-т радіоелектрон. — Х., 2001. — 19 с. |
6. | РА381537 Семчишин Л. М. Алгоритми комп'ютерної алгебри для розв'язання матричних рівнянь : автореф. дис. ... канд. фіз.-мат. наук : 01.05.02 / Л. М. Семчишин / Чернів. нац. ун-т ім. Ю. Федьковича. — Чернівці, 2011. — 18 с. |
7. | Матвєєва Л.Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Л.Є. Матвєєва / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 17 с. |
8. | РА312976 Вільчінська О.С. Багаторівнева інтелектуальна скрізна модель створення програмного забезпечення : Автореф. дис... канд. техн. наук: 01.05.04 / О.С. Вільчінська / Харк. держ. техн. ун-т радіоелектрон. — Х., 2001. — 19 с. |
9. | Летичевський О.О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / О.О. Летичевський / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 14 с. |
10. | Баран І.О. Високоточні обчислювальні алгоритми та система автоматизованого розрахунку дифузійних процесів в багатокомпонентних середовищах : Автореф. дис. канд. техн. наук: 01.05.02 / І.О. Баран / Терноп. держ. техн. ун-т ім. І.Пулюя. — Т., 2003. — 20 с. |
11. | РА372859 Пелєга Є. В. Державне управління ринком програмного забезпечення в Україні : автореф. дис. ... канд. наук з держ. упр. : 25.00.02 / Є. В. Пелєга / Донец. держ. ун-т упр. — Донецьк, 2010. — 20 с. |
12. | Чеботарьов А.М. Доказове проектування алгоритмів функціонування реактивних систем : Автореф. дис... д-ра техн. наук: 05.13.13 / А.М. Чеботарьов / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2002. — 32 с. |
13. | РА379498 Шкільняк О. С. Дослідження композиційно-номінативних модальних та темпоральних логік : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / О. С. Шкільняк / Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 19 с. |
14. | РА308845 Канаєва Н.М. Дослідження локальних алгоритмів розв'язання блочних задач булевого програмування : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Н.М. Канаєва / Дніпропетр. держ. ун-т. — Д., 2000. — 16 с. |
15. | РА377395 Шинкаренко В. І. Експериментальні методи оцінки часової та функціональної ефективності алгоритмів у програмно-апаратних середовищах : автореф. дис. ... д-ра техн. наук : 01.05.03 / В. І. Шинкаренко / Київ. нац. ун-т ім. Т. Шевченка. — К., 2010. — 33 с. |
16. | РА379516 Парфірова Т. С. Експлікативне програмування у макрокомпозиційних середовищах : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Т. С. Парфірова / Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 19 с. |
17. | Вінник В.Ю. Еталонні моделі символьної обробки : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / В.Ю. Вінник / Київ. нац. ун-т ім. Т.Шевченка. — К., 2003. — 22 с. |
18. | Стіренко Засоби підвищення ефективності спеціального програмного забезпечення підготовки та редагування технічної документації : Автореф. дис... канд. техн. наук: 01.05.03 / Сергій Григорович Стіренко / Національний технічний ун-т України "Київський політехнічний ін-т". — К., 2007. — 20 с. |
19. | Паскевич А.Ю. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / А.Ю. Паскевич / Київ. нац. ун-т ім. Т.Шевченка. — К., 2005. — 20 с. |
20. | Тищенко С.І. Інтегрування змісту математичних і спеціальних дисциплін у професійній підготовці молодших спеціалістів з програмування : автореф. дис... канд. пед. наук: 13.00.04 / С.І. Тищенко / АПН України, Ін-т пед. освіти і освіти дорослих. — К., 2009. — 20 с. |
| |