Пошуковий запит: (<.>K=УНІВЕРСАЛЬНА$<.>+<.>K=АЛГЕБР$<.>) |
Загальна кількість знайдених документів : 404
Представлено документи з 1 до 20
|
| | |
| 1. | Кириченко *-Алгебри, породжені лінійно пов'язаними проекторами, їх зображення та застосування : Автореф. дис... канд. фіз.-мат. наук: 01.01.06 / Анатолій Анатолійович Кириченко / Київський національний ун-т ім. Тараса Шевченка. — К., 2003. — 18 с.: рис. |
| 2. | Сирота О.П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : автореф. дис... канд. техн. наук: 05.13.06 / О.П. Сирота / Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 20 с. |
| 3. | Фіалко С.Ю. Агрегатний багаторівневий метод розв'язування скінченноелементних задач будівельної механіки : Автореф. дис... д-ра техн. наук: 05.23.17 / С.Ю. Фіалко / Київ. нац. ун-т буд-ва і архіт. — К., 2004. — 36 с.: рис. |
| 4. | Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Л.Л. Омельчук / Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 17 с. |
| 5. | Калиниченко О.В. Алгебра ідей як апарат формалізації семантики природної мови в системах штучного інтелекту : Автореф. дис... канд. техн. наук: 05.13.23 / О.В. Калиниченко / Харк. нац. ун-т радіоелектрон. — Х., 2004. — 20 с. |
| 6. | Семенова Т.В. Алгебраїчний метод побудови та аналізу структурно-логічних моделей предметних областей інформаційних систем : автореф. дис... канд. техн. наук: 01.05.02 / Т.В. Семенова / Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2007. — 20 с. |
| 7. | Новицький Д.В. Алгебраїчні методи в теорії нейронної асоціативної пам'яті : Автореф. дис... канд. фіз.-мат. наук: 01.05.02 / Д.В. Новицький / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 20 с.: рис. |
| 8. | Потієнко С.В. Алгебраїчні методи верифікації асинхронних паралельних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / С.В. Потієнко / Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2009. — 16 с. |
| 9. | РА319165 Андрійчук В.І. Алгебраїчні многовиди та поля алгебраїчних функцій над псевдоскінченними полями : Автореф. дис... д-ра фіз.-мат. наук: 01.01.06 / В.І. Андрійчук / Київ. нац. ун-т ім. Т.Шевченка. — К., 2002. — 32 с. |
| 10. | РА317051 Соколов О.Ю. Алгебраїчні моделі та методи аналізу і синтезу систем керування слабо формалізованими процесами : Автореф. дис... д-ра техн. наук: 05.13.03 / О.Ю. Соколов / Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". — Х., 2001. — 32 с. |
| 11. | Крамарь В.О. Алгебраїчні форми аналізу і синтезу грубих лінійних неперервних систем автоматичного управління : Автореф. дис... канд. техн. наук: 05.13.03 / В.О. Крамарь / Севастоп. держ. техн. ун-т. — Севастополь, 1999. — 17 с. |
| 12. | Стрілець О.В. Алгебри з додатковими структурами та їх зображення : Автореф. дис... канд. фіз.-мат. наук: 01.01.01 / О.В. Стрілець / НАН України. Ін-т математики. — К., 2002. — 20 с. |
| 13. | РА375031 Максименко Д. В. Алгебри Лі з обмеженнями на систему доповнюваних підалгебр : автореф. дис. ... канд. фіз.-мат. наук : 01.01.06 / Д. В. Максименко / Ін-т математики НАН України. — К., 2010. — 16 с. |
| 14. | Бондаренко Алгебри Лі, асоційовані з силовськими p-підгрупами скінченних симетричних груп : Автореф. дис... канд. фіз.-мат. наук: 01.01.06 / Наталія Вячеславівна Бондаренко / Київський національний ун-т ім. Тараса Шевченка. — К., 2006. — 20 с. |
| 15. | РА314332 Кравець Н.С. Алгебри предикатних операцій та їх застосування у системах штучного інтелекту : Автореф. дис... канд. техн. наук: 01.05.02 / Н.С. Кравець / Харк. держ. техн. ун-т радіоелектрон. — Х., 2001. — 19 с. |
| 16. | Велика О.Т. Алгебро-графові моделі синтезу числових кодів з кільцевою структурою : Автореф. дис... канд. техн. наук: 01.05.02 / О.Т. Велика / Нац. ун-т "Львів. політехніка". — Л., 2006. — 20 с. |
| 17. | РА312554 Ревенчук І.А. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів : Автореф. дис... канд. техн. наук: 01.05.03 / І.А. Ревенчук / Харк. держ. техн. ун-т радіоелектрон. — Х., 2001. — 19 с. |
| 18. | Брусенцев В.О. Алгебро-логічні моделі формалізації семантики речень та їх застосування в інформаційних системах штучного інтелекту : Автореф. дис... канд. техн. наук: 05.13.23 / В.О. Брусенцев / Харк. нац. ун-т радіоелектрон. — Х., 2003. — 19 с.: рис. |
| 19. | Левицька В.С. Алгебро-топологічні властивості функторів, породжених функціональними просторами : Автореф. дис... канд. фіз.-мат. наук: 01.01.06 / В.С. Левицька / Київ. ун-т ім. Т.Шевченка. — К., 1999. — 17 с. |
| 20. | Гаврилків В.М. Алгебро-топологічні структури на суперрозширеннях : автореф. дис... канд. фіз-мат. наук: 01.01.06 / В.М. Гаврилків / Львів. нац. ун-т ім. І.Франка. — Л., 2009. — 16 с. |
| | |
Простий пошук
Віртуальна довідка