Пошуковий запит: (<.>U=З973-018.01$<.>) |
Загальна кількість знайдених документів : 100
Представлено документи з 1 до 20
|
| | |
1.  |
ДС42661
Яковлев, Сергей Викторович.
Исследование и реализация методов и средств теоретико-множественного программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Яковлев Сергей Викторович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1993. - 144 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 2. |
ДС93620
Козачко, Олексій Миколайович.
Моделювання надійності алгоритмічних процесів, які виконуються з помилками різних типів [Текст] : дис... канд. техн. наук: 01.05.02 / Козачко Олексій Миколайович ; Вінницький національний технічний ун-т. - Вінниця, 2005. - 202 арк.: рис., табл. - арк. 167-177Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 3. |
ДС57085
Кривой, Сергей Лукьянович.
Итеративные методы анализа процедурных программ [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 4. |
ДС55722
 Провотар, Олександр Іванович.
Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 211 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 5. |
ДС59896
Маранджян, Грант Бабкенович.
Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
| 6. |
ДС64725
Канаева, Наталья Николаевна.
Исследование локальных алгоритмов решения блочных задач булевого программирования [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Канаева Наталья Николаевна ; Крымская академия природоохранного и курортного строительства. - Симф., 2000. - 170 с. - с.136-151Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Крымская академия природоохранного и курортного строительства
Видання зберігається у :
Основний фонд
|
| 7. |
ДС69475
Самофалов, Павел Леонидович.
Методы применения таблиц решений в системах формального вывода и програмных комплексах [Текст] : дис... канд. техн. наук: 01.05.03 / Самофалов Павел Леонидович ; Харьковский гос. технический ун-т радиоэлектроники. - Х., 2001. - 166 л.: рис. - Библиогр.: л. 157-162Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский гос. технический университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 8. |
ДС73858
Буй, Дмитро Борисович.
Теорія програмних алгебр композиційного типу та її застосування [Текст] : дис... д-ра фіз.-мат. наук: 01.05.03 / Буй Дмитро Борисович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 364 арк. - арк. 313-329Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 9. |
РА295837
Провотар, Олександр Іванович.
Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 29 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 10. |
РА343888
Козачко, Олексій Миколайович.
Моделювання надійності алгоритмічних процесів, які виконуються з помилками різних типів [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Козачко Олексій Миколайович ; Вінницький національний технічний ун-т. - Вінниця, 2006. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 11. |
РА298911
Кривий, Сергій Лук"янович.
Ітеративні методи аналізу процедурних програм [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Кривий Сергій Лук"янович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 33 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 12. |
РА304244
Сапаров, Мурад.
Исследование бинарных рекуррентных теоретико-графовых функций и алгоритмы их вычисления [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.01.09 / Сапаров Мурад ; Киевский гос. ун-т им. Т.Г.Шевченко. - К., 1990. - 36 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевский государственный университет имени Т. Г. Шевченко
Видання зберігається у :
Основний фонд
|
| 13. |
РА304885
Ель-фард Салем Шеріф
Порівняльний аналіз методів модулярної редукції [Текст] : автореф. дис... канд. фіз.- мат. наук: 01.05.01 / Ель-фард Салем Шеріф ; Київський ун-т ім. Тараса Шевченка. - К., 1999. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 14. |
РА314153
Самофалов, Павло Леонідович.
Методи застосування таблиць рішень у системах формального виводу і програмних комплексах [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Самофалов Павло Леонідович ; Харківський держ. технічний ун-т радіоелектроніки. - Х., 2001. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський державний технічний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 15. |
РА308845
Канаєва, Наталія Миколаївна.
Дослідження локальних алгоритмів розв'язання блочних задач булевого програмування [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Канаєва Наталія Миколаївна ; Дніпропетровський держ. ун-т. - Д., 2000. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Дніпропетровський державний університет
Видання зберігається у :
Основний фонд
|
| 16. |
РА320200
Буй, Дмитро Борисович.
Теорія програмних алгебр композиційного типу та її застосування [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Буй Дмитро Борисович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 34 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 17. |
В341694/Ч. 1
Глинський, Ярослав Миколайович
Основи інформатики та обчислювальної техніки [Текст] : експериментальний підручник для 10 класу серед. школи / Я. М. Глинський. - Львів, 1997 . - ISBN 5-7707-9298-1.
Ч. 1 : Алгоритми Алгоритми. - 2. вид. доп. - [Б. м.] : [б.в.], 1997. - 176 с. - ISBN 966-7065-09-XРубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 18. |
В341094/. 2
Логика и компьютер [Текст] / РАН. - М. : Наука. - (Кибернетика - неограниченные возможности и возможные ограничения).
2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В. А. Смирнов. - [Б. м.] : [б.в.], 1995. - 131 с. - ISBN 5-02-006896-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Смирнов, В. А. (отв. ред.); РАН
Видання зберігається у :
Основний фонд
|
| 19. |
ВС44114
Алгоритмы. Построение и анализ [Текст] : пер. с англ. / Т. Кормен [и др.]. - 2-е изд. - М. ; СПб. ; К. : Вильямс, 2007. - 1296 с. - Библиогр.: с. 1256-1276. - ISBN 5-8459-0857-4 (рус.). - ISBN 0-07-013151-1 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кормен, Томас; Лейзерсон, Чарльз; Ривест, Рональд; Штайн, Клиффорд
Видання зберігається у :
Універсальний підсобний фонд
Основний фонд
|
| 20. |
ВА568335
Теорія обчислювальних процесів і структур [Текст] : навч. посібник для студ. спец. "Програмне забезпечення обчислювальної техніки та автоматизованих систем" / М. Ф. Бондаренко [та ін.] ; Харківський держ. технічний ун-т радіоелектроніки. - К. : ІСДО, 1995. - 72 с. - ISBN 5-7763-9949-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Бондаренко, Михайло Федорович; Дудар, Зоя Володимирівна; Кайкова, Олена Борисівна; Лісная, Наталія Советівна; Терзіян, Ваган Якович; Харківський державний технічний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача