Пошуковий запит: (<.>U=з973-018.021<.>) |
Загальна кількість знайдених документів : 26
Представлено документи з 1 до 20
|
| |
1. ![](/irbis_nbuv/images/printer.jpg) | ДС84508 Тульчинский, Петр Григорьевич. Разработка механизма расширенного запроса по образцу в приложениях баз данных [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Тульчинский Петр Григорьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2003. - 129 л. - Библиогр.: л. 117-125Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | ДС57085 Кривой, Сергей Лукьянович. Итеративные методы анализа процедурных программ [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | ДС62088 Вінничук, Ігор Петрович. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 120 л. - л. 111-114Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | ДС55922сл Теслер, Геннадий Семенович. Ускорение вычислений на основе совершенствования алгоритмического базиса: теория и практика [Текст] : дис... д-ра техн. наук: 05.13.09 / Теслер Геннадий Семенович ; Нац. акад. наук Украины, Ин-т проблем мат. машин и систем. - К., 1996. - 312 л. Для сл. пользованияРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт проблем математических машин и систем (Киев)
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | РА280618 Петухин, Вячеслав Алексеевич. Анализ логических программ и компиляция языка Флэнг [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.16 / Петухин Вячеслав Алексеевич ; Иркутский ун-т. - Иркутск, 1993. - 13 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Иркутский университет
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | РА280502 Подольская, Нина Аркадьевна. Исследование и разработка инструментальных редакторов программ [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.11 / Подольская Нина Аркадьевна ; МГУ им. М.В.Ломоносова. - М., 1993. - 13 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: МГУ имени М. В. Ломоносова
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | РА326221 Тульчинський, Петро Григорович. Розробка механізму розширеного запиту за зразком у застосуваннях баз даних [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Тульчинський Петро Григорович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2003. - 15 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
8. ![](/irbis_nbuv/images/printer.jpg) | РА280465 Ярко, Людмила Владимировна. Полнота тестирования реализации контекстных свойств языка программирования в трансляторах [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.11 / Ярко Людмила Владимировна ; МГУ им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М., 1992. - 12 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: МГУ имени М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Видання зберігається у :
Основний фонд
|
9. ![](/irbis_nbuv/images/printer.jpg) | РА298911 Кривий, Сергій Лук"янович. Ітеративні методи аналізу процедурних програм [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Кривий Сергій Лук"янович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 33 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
10. ![](/irbis_nbuv/images/printer.jpg) | РА296086сл Теслер, Геннадій Семенович. Прискорення обчислень на основі удосконалення алгоритмічного базису: теорія і практика [Текст] : автореф. дис... д-ра техн. наук: 05.13.09 / Теслер Геннадій Семенович ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1997. - 34 с. Для сл. користування.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут проблем математичних машин і систем (Київ)
Видання зберігається у :
Основний фонд
|
11. ![](/irbis_nbuv/images/printer.jpg) | РА306020 Вінничук, Ігор Петрович. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | РА332505 Давтян, Эдмон Манукович. Разработка программного инструментального средства для реализации систолических алгоритмов в среде вычислительного кластера [Текст] : автореф. дис... канд. техн. наук: 05.13.05 / Давтян Эдмон Манукович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2004. - 15 с. Описано по переводу.- Текст на арм. яз.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
13. ![](/irbis_nbuv/images/printer.jpg) | ВА647979 Иванищев, Вячеслав Васильевич. Автоматизация моделирования экологических систем [Текст] / В. В. Иванищев, В. В. Михайлов. - СПб. : Издательство СПБГТУ, 2000. - 172 с.: рис. - Библиогр.: с. 160-171Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Михайлов, Владимир Валентинович
Видання зберігається у :
Основний фонд
|
14. ![](/irbis_nbuv/images/printer.jpg) | ВА649769 Трофимов, Сергей Анатольевич. CASE-технологии: Практическая работа в Rational Rose [Текст] / С. А. Трофимов. - 2.изд. - М. : Издательство БИНОМ, 2002. - 286 с.: ил. - Библиогр.: с. 284. - ISBN 5-9518-0001-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
15. ![](/irbis_nbuv/images/printer.jpg) | Глушков В. М. ВА54 Система автоматического программирования для машины М-20. Транслятор с адресного языка [Текст] : справ. рук. / Л. П. Бабенко, Л. И. Довгополая, Г. М. Корниенко, Е. Л. Ющенко ; АН УССР. - К. : Наукова думка, 1965. - 154 с. : рис., табл. - Бібліогр.: с. 155. - 7750 прим. З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Бабенко, Людмила Петровна; Довгополая, Людмила Ивановна; Корниенко, Галина Михайловна; Ющенко, Екатерина Логвиновна; Академия наук Украинской ССР (Киев)
Видання зберігається у :
Основний фонд
|
16. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА670 Система автоматизации производства программ ( АПРОП ) [Текст] / АН УССР, Ин-т кибернетики АН УССР, Спец. конструкт. бюро мат. машин и систем, Респ. фонд алгоритмов и программ ; [разраб.: В. М. Глушков и др.]. - К. : [б. и.], 1976. - 134 с. - Бібліогр.: с. 129-130. - 500 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Глушков, Виктор Михайлович (разраб.); Стогний, А. А. (разраб.); Лаврищева, Е. М. (разраб.); Академия наук Украинской ССР (Киев); Институт кибернетики. Специальное конструкторское бюро математических машин и систем; Республиканский фонд алгоритмов и программ
Видання зберігається у :
Основний фонд
|
17. ![](/irbis_nbuv/images/printer.jpg) | Глушков В. М. Р8 Ющенко, Е. Л. Программирующая программа машины "Киев" [Текст] / Е. Л. Ющенко, Л. Н. Иваненко. - [Б. м.] : [б. и.], 1959. - C. 205-214. - Библиогр.: с. 214 Отд. отт. из изд.: Методы программирования и решения задач на цифровых вычислительных машинах. - 1959. - (Труды войсковой части 06669; вып. 36)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Иваненко, Л. Н.
Видання зберігається у :
Основний фонд
|
18. ![](/irbis_nbuv/images/printer.jpg) | Глушков В. М./РА1 Ершов, А. П.. Некоторые вопросы теориии программирования и конструирования трансляторов [Текст] : автореф. дис... д-ра физ.-мат. наук / Ершов А. П. ; Акад. наук СССР, Сиб. отд-ние, Совет мат. секции Объед. Совета по физ.-мат. и техн. наукам. - Новосибирск : [б. и.], 1966. - 32 с. С дарств. надписьюРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Академия наук СССР. Сибирское отделение; Объединённый совет по физико-математическим и техническим наукам. Математическая секция. Совет
Видання зберігається у :
Основний фонд
|
19. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА910 Вайнгартен, Ф. Трансляция языков программирования [Текст] : [монография] / Ф. Вайнгартен ; пер. с англ. Л. В. Ухова ; под ред. В. В. Мартынюка. - М. : Мир, 1977. - 190 с. : рис. - (Математическое обеспечение ЭВМ). - Бібліогр.: с. 182-184. - Пер. изд. : Translation of computer languages / Frederick W. Weingarten. - San Francisko [et al], 1973Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ухов, Л. В. (пер.); Мартынюк, В. В. (ред.); Weingarten, Frederick W.
Видання зберігається у :
Основний фонд
|
20. ![](/irbis_nbuv/images/printer.jpg) | РА378609 Богушевська, Наталія Володимирівна. Автоматизація синтезу сітьових дискретно-подійних імітаційних моделей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богушевська Наталія Володимирівна ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К., 2011. - 22 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: "Київський політехнічний інститут", національний технічний університет України
Видання зберігається у :
Основний фонд
|
| |