Пошуковий запит: (<.>K=АКСІОМА$<.>) |
Загальна кількість знайдених документів : 37
Представлено документи з 1 до 20
|
| |
1. | РА314190 Кондратенко В.О. Аксіоматичні моделі і методи проектування лінгвістичних трансляторів : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / В.О. Кондратенко / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2001. — 16 с. |
2. | Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Л.Л. Омельчук / Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 17 с. |
3. | Калиниченко О.В. Алгебра ідей як апарат формалізації семантики природної мови в системах штучного інтелекту : Автореф. дис... канд. техн. наук: 05.13.23 / О.В. Калиниченко / Харк. нац. ун-т радіоелектрон. — Х., 2004. — 20 с. |
4. | Вишняков О.К. Апроксимація правового забезпечення цивільних майнових відносин в Україні до умов внутрішнього ринку Європейського Союзу : автореф. дис... д-ра юрид. наук: 12.00.03 / О.К. Вишняков / Одес. нац. юрид. акад. — О., 2008. — 36 с. |
5. | Іващук О.В. Багатомісна асоціативність і пов'язані з нею групоїди : Автореф. дис... канд. фіз.-мат. наук: 01.01.06 / О.В. Іващук / НАН України. Ін-т математики. — К., 2006. — 20 с. |
6. | Костриця М.Ю. Географічне краєзнавство України: теоретико-методологічні засади, історія, практика : автореф. дис... д-ра геогр. наук: 11.00.13 / М.Ю. Костриця / Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 32 с. |
7. | РА319908 Тарароєв Я.В. Гносеологічні проблеми космології раннього Всесвіту : Автореф. дис... канд. філос. наук: 09.00.09 / Я.В. Тарароєв / Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2002. — 16 с. |
8. | Осін В.В. Контент-аналіз як засіб конституювання та відтворення політичної науки : Автореф. дис... канд. політ. наук: 23.00.01 / В.В. Осін / Дніпропетр. нац. ун-т. — Д., 2003. — 19 с. |
9. | РА376563 Козін І. В. Математичні моделі розміщення, упаковки, розподілу з умовою інваріантності щодо груп перетворень : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.02 / І. В. Козін / Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2010. — 31 с. |
10. | Єршов С.В. Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р-схем : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / С.В. Єршов / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 1998. — 16 с. |
11. | Омар А.Х. Методи і моделі створення природно-мовного інтерфейсу експертної системи медичної діагностики : Автореф. дис... канд. техн. наук: 05.13.06 / А.Х. Омар / Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2006. — 20 с. |
12. | РА315368 Єфремова О.І. Міжпредметні зв'язки фізики і математики у 9 - 11 класах середньої загальноосвітньої школи : Автореф. дис... канд. пед. наук: 13.00.02 / О.І. Єфремова / Нац. пед. ун-т ім. М.П.Драгоманова. — К., 2001. — 20 с. |
13. | Ченцов О.І. Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / О.І. Ченцов / Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 15 с. |
14. | Граб М.В. Модель, методи та алгоритми розповсюдження лісових пожеж : Автореф. дис... канд. техн. наук: 01.05.02 / М.В. Граб / Харк. нац. ун-т радіоелектрон. — Х., 2004. — 20 с. |
15. | РА312220 Христіановський В.В. Моделювання і управління виробничо-економічними системами з урахуванням дестабілізуючих впливів : Автореф. дис... д-ра екон. наук: 08.03.02 / В.В. Христіановський / Київ. нац. екон. ун-т. — К., 2000. — 40 с. |
16. | Боднар Є.Б. Підвищення експлуатаційної надійності локомотивів шляхом впровадження раціональної системи утримування : Автореф. дис... канд. техн. наук: 05.22.07 / Є.Б. Боднар / Укр. держ. акад. залізн. трансп. — Х., 2004. — 17 с.: рис. |
17. | Мельник І.О. Примарні розклади диференціальних скрутів, ідеалів та модулів : автореф. дис... канд. фіз.-мат. наук: 01.01.06 / І.О. Мельник / Ін-т математики НАН України. — К., 2008. — 17 с. |
18. | РА371986 Капіца М. І. Розвиток наукових основ удосконалення систем утримування тягового рухомого складу : автореф. дис. ... д-ра техн. наук : 05.22.07 / М. І. Капіца / Дніпропетр. нац. ун-т залізн. трансп. ім. В. Лазаряна. — Д., 2010. — 39 с. |
19. | Сидоренко І.І. Синтез пасивних віброізолюючих пристроїв з механічним зворотним зв'язком : автореф. дис... д-ра техн. наук: 05.02.02 / І.І. Сидоренко / Одес. нац. політехн. ун-т. — О., 2008. — 40 с. |
20. | Стасенко С.О. Соціально-філософські засади культури постмодернізму : автореф. дис... канд. філософ. наук: 09.00.03 / С.О. Стасенко / Донец. нац. ун-т. — Донецьк, 2009. — 20 с. |
| |