Пошуковий запит: (<.>U=З973-018<.>) |
Загальна кількість знайдених документів : 66
Представлено документи з 1 до 20
|
| |
1. ![](/irbis_nbuv/images/printer.jpg) | РА335026 Крамар, Юлія Михайлівна. Методи та інформаційно-програмні засоби синтезу та аналізу стилів програмування [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Крамар Юлія Михайлівна ; Нац. акад. наук України, Ін-т пробл. моделювання в енергетиці ім. Г. Є. Пухова. - К., 2005. - 19 с.: рис.Рубрикатор НБУВ: Дод. точки доступу: Національна академія наук України; Інститут проблем моделювання в енергетиці імені Г. Є. Пухова (Київ)
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | РА339824 Карнаух, Тетяна Олександрівна. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.01.08 / Карнаух Тетяна Олександрівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | РА361126 Редько, Ігор Володимирович. Теорія дескриптивних середовищ та її застосування [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Редько Ігор Володимирович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 32 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | РА376553 Шкільняк, Степан Степанович. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 32 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | РА406199 Іванов, Євген В'ячеславович. Дослідження абстрактних систем із входами та виходами як частковими функціями часу [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Іванов Євген В'ячеславович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2014. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | ДС89726 Крамар, Юлия Михайловна. Методы и информационно-программные средства синтеза и анализа стилей программирования [Текст] : дис... канд. техн. наук: 05.13.06 / Крамар Юлия Михайловна ; Национальный авиационный ун-т. - К., 2004. - 200 л. - Библиогр.: л. 129-135Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальный авиационный университет (Киев)
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | ДС97618 Карнаух, Тетяна Олександрівна. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : дис... канд. фіз.-мат. наук: 01.01.08 / Карнаух Тетяна Олександрівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 188 арк. - арк. 146-150Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
8. ![](/irbis_nbuv/images/printer.jpg) | ДС108151 Редько, Игорь Владимирович. Теория дескриптивных сред и её применения [Текст] : дис... д-ра физ.-мат. наук: 01.05.03 / Редько Игорь Владимирович ; Национальный технический ун-т Украины "Киевский политехнический ин-т". - К., 2008. - 403 л. - Библиогр.: л. 392-403Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальный технический университет Украины "Киевский политехнический институт" (Киев)
Видання зберігається у :
Основний фонд
|
9. ![](/irbis_nbuv/images/printer.jpg) | ДС125296 Шкільняк, Степан Степанович. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 348 арк. - Бібліогр.: арк. 294-309.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
10. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА790 Уилкс, М. Составление программ для электронных счётных машин [Текст] / М. Уилкс, Д. Уилер, С. Гилл ; пер. с англ. Н. П. Жидкова ; под ред. Д. Ю. Панова. - М. : Изд-во иностр. лит., 1953. - 208 с. : ил. - Пер. изд. : The preparation of programs for an electronic digital computer / Maurice V. Wilkes, David J. Wheeler and Stanley Gill. - Cambridge, 1951.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Уилер, Д.; Гилл, С.; Жидков, Н. П. (пер.); Панов, Д. Ю. (ред.); Wilkes, Maurice V.; Wheeler, David J.; Gill, Stanley
Видання зберігається у :
Основний фонд
|
11. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ІВ69 McCracken, D. D. Digital computer programming [Text] / D. D. McCracken. - New York : John Wiley & Sons ; London : Chapman & Hall, 1957. - 253 p. : fig. - (General electric series). - Бібліогр.: с. 247-248 Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./Р172 Ляпунов, А. А. О логических схемах программ [Текст] / А. А. Ляпунов. - М. : [б. и.], 1958. - [28] с. Окр. відб. з вид.: Проблемы кибернетики.- 1958.- Вып.1.- С.46-74.- З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
13. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА805 Мак-Кракен, Д. Д. Программирование для цифровых вычислительных машин [Текст] : [учебник] / Д. Д. Мак-Кракен ; пер. с англ.: В. М. Курочкина [и др.] ; под ред. В. М. Курочкина. - М. : Изд-во иностр. лит., 1960. - 306 с. : рис., табл. - Бібліогр.: с. 301-302. - Пер. изд. : Digital Computer Programming / D. D. McCkacken. - New York; London, 1957 Дод. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Курочкин, В. М. (пер., ред.); Поддерюгина, В. Д. (пер.); Черенина, В. П. (пер.); McCkacken, D. D.
Видання зберігається у :
Основний фонд
|
14. ![](/irbis_nbuv/images/printer.jpg) | Глушков В. М. ВА297 Ющенко, Екатерина Логвиновна. Адресное программирование и особенности решения задач на машине "УРАЛ" [Текст] / Е. Л. Ющенко ; под ред. Бушко-Жук М. М. ; Киев. высш. инженерное радиотехническое училище войск противовоздуш. обороны страны. - К. : [б. и.], 1960. - 229, [2] с. : рис. - Бібліогр.: с. 192 З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Бушко-Жук, М. М. (ред.); Киевское высшее инженерное радиотехническое училище войск противовоздушной обороны страны
Видання зберігається у :
Основний фонд
|
15. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА844 Трахтенброт, Борис Авраамович. Алгоритмы и машинное решение задач [Текст] / Б. А. Трахтенброт ; под ред. С. В. Яблонского. - Изд. 2-е. - М. : Физматгиз, 1960. - 120 с. : рис., табл. - 25 000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Яблонский, С. В. (ред.)
Видання зберігається у :
Основний фонд
|
16. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./АО30 Программирование для электронной цифровой машины М-20 [Текст] : [учеб. пособие]. - [Б. м. : б. и.], 1960. - 128 с. : рис., табл. - Бібліогр.: с. 126Рубрикатор НБУВ: Видання зберігається у :
Основний фонд
|
17. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА1062 Смольников, Н. Я. Основы программирования для цифровой машины "Урал" [Текст] / Н. Я. Смольников. - М. : Советское радио, 1961. - 327 с. : рис., табл. - Бібліогр.: с. 324-325. - 14 000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
18. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА568 Биркган, А. Ю. Программирование для цифровой вычислительной машины Урал-2 [Текст] / А. Ю. Биркган, Г. П. Воскресенский. - М. : Советское радио, 1962. - 207 с. : рис. - Бібліогр.: с. 200. - 14000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Воскресенский, Г. П.
Видання зберігається у :
Основний фонд
|
19. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ІР26 Newell, Allen. Some problems of basic organization in problem-solving programs [Text] / Allen Newell ; Systems and communication sciences Carnegie inst. of technology. - Pittsburgh, Pennsylvania : [s. n.], 1962. - [31] p. : fig. - Бібліогр.: с. 422-423 Відбиток з : Self-organizing systems. Problems of basic organization/Systems and communication sciences Carnegie inst. of technology. - Pittsburgh, Pennsylvania. - 1962. - p. 393-423Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Systems and communication sciences Carnegie institute of technology
Видання зберігається у :
Основний фонд
|
20. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА817 Курс программирования для ГАММА 60 [Текст] / пер. с фр. Н. Н. Рикко ; под ред. и с предисл. М. Р. Шура-Бура. - М. : Изд-во иностр. лит., 1962. - 309 с. : рис., табл. - Пер. изд. : Cours de Programmation GAMMA 60. Дод. тит. арк. фр.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Рикко, Н. Н. (пер.); Шура-Бура, М. Р. (ред.)
Видання зберігається у :
Основний фонд
|
| |