Пошуковий запит: (<.>U=З973-018.01$<.>) |
Загальна кількість знайдених документів : 100
Представлено документи з 1 до 20
|
| | |
1.  |
РА304244
Сапаров, Мурад.
Исследование бинарных рекуррентных теоретико-графовых функций и алгоритмы их вычисления [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.01.09 / Сапаров Мурад ; Киевский гос. ун-т им. Т.Г.Шевченко. - К., 1990. - 36 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевский государственный университет имени Т. Г. Шевченко
Видання зберігається у :
Основний фонд
|
| 2. |
РА298911
Кривий, Сергій Лук"янович.
Ітеративні методи аналізу процедурних програм [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Кривий Сергій Лук"янович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 33 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 3. |
РА295837
 Провотар, Олександр Іванович.
Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 29 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 4. |
РА304885
Ель-фард Салем Шеріф
Порівняльний аналіз методів модулярної редукції [Текст] : автореф. дис... канд. фіз.- мат. наук: 01.05.01 / Ель-фард Салем Шеріф ; Київський ун-т ім. Тараса Шевченка. - К., 1999. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 5. |
РА308845
Канаєва, Наталія Миколаївна.
Дослідження локальних алгоритмів розв'язання блочних задач булевого програмування [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Канаєва Наталія Миколаївна ; Дніпропетровський держ. ун-т. - Д., 2000. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Дніпропетровський державний університет
Видання зберігається у :
Основний фонд
|
| 6. |
РА314153
Самофалов, Павло Леонідович.
Методи застосування таблиць рішень у системах формального виводу і програмних комплексах [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Самофалов Павло Леонідович ; Харківський держ. технічний ун-т радіоелектроніки. - Х., 2001. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський державний технічний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 7. |
РА320200
Буй, Дмитро Борисович.
Теорія програмних алгебр композиційного типу та її застосування [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Буй Дмитро Борисович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 34 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 8. |
РА343888
Козачко, Олексій Миколайович.
Моделювання надійності алгоритмічних процесів, які виконуються з помилками різних типів [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Козачко Олексій Миколайович ; Вінницький національний технічний ун-т. - Вінниця, 2006. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 9. |
РА413614
Овсяк, Олександр Володимирович.
Метод і математичне та програмне забезпечення системи ефективного опрацювання формул алгебри алгоритмів [Текст] : автореф. дис. ... д-ра техн. наук : 01.05.03 / Овсяк Олександр Володимирович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2015. - 37 с. : рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 10. |
ДС42661
Яковлев, Сергей Викторович.
Исследование и реализация методов и средств теоретико-множественного программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Яковлев Сергей Викторович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1993. - 144 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 11. |
ДС55722
Провотар, Олександр Іванович.
Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 211 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 12. |
ДС57085
Кривой, Сергей Лукьянович.
Итеративные методы анализа процедурных программ [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 13. |
ДС59896
Маранджян, Грант Бабкенович.
Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
| 14. |
ДС64725
Канаева, Наталья Николаевна.
Исследование локальных алгоритмов решения блочных задач булевого программирования [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Канаева Наталья Николаевна ; Крымская академия природоохранного и курортного строительства. - Симф., 2000. - 170 с. - с.136-151Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Крымская академия природоохранного и курортного строительства
Видання зберігається у :
Основний фонд
|
| 15. |
ДС69475
Самофалов, Павел Леонидович.
Методы применения таблиц решений в системах формального вывода и програмных комплексах [Текст] : дис... канд. техн. наук: 01.05.03 / Самофалов Павел Леонидович ; Харьковский гос. технический ун-т радиоэлектроники. - Х., 2001. - 166 л.: рис. - Библиогр.: л. 157-162Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский гос. технический университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 16. |
ДС73858
Буй, Дмитро Борисович.
Теорія програмних алгебр композиційного типу та її застосування [Текст] : дис... д-ра фіз.-мат. наук: 01.05.03 / Буй Дмитро Борисович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 364 арк. - арк. 313-329Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 17. |
ДС93620
Козачко, Олексій Миколайович.
Моделювання надійності алгоритмічних процесів, які виконуються з помилками різних типів [Текст] : дис... канд. техн. наук: 01.05.02 / Козачко Олексій Миколайович ; Вінницький національний технічний ун-т. - Вінниця, 2005. - 202 арк.: рис., табл. - арк. 167-177Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 18. |
ДС142432
Щербина, Олег Александрович.
Локальные элиминационные алгоритмы для разреженных задач дискретной оптимизации [Текст] : дис. ... д-ра физ.-мат. наук : 05.13.17 / Щербина Олег Александрович ; Тавр. нац. ун-т им. В. И. Вернадського. - Симферополь, 2010. - 357, [IV] л. : табл., рис. - Бібліогр.: арк. 307-357.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Таврический национальный университет имени В. И. Вернадского (Симферополь)
Видання зберігається у :
Основний фонд
|
| 19. |
Глушков В.М./ВА827
Трахтенброт, Борис Авраамович.
Алгоритмы и машинное решение задач [Текст] / Б. А. Трахтенброт. - М. : Гостехиздат, 1957. - 96 с. : рис., табл. - (Популярные лекции по математике ; вып. 26). - 25 000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 20. |
Глушков В.М./ВА97
Грездов, Геннадий Иванович.
Теория и применение гибридных моделей [Текст] : монография / Г. И. Грездов ; АН УССР, Ин-т электродинамики. - К. : Наукова думка, 1975. - 276 с. : рис. - Бібліогр.: с. 271-277. - 3200 прим.
З дар. написом В. М. Глушкову.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Академия наук Украинской ССР (Киев); Институт электродинамики (Киев)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача