Пошуковий запит: (<.>U=З973-018.022$<.>) |
Загальна кількість знайдених документів : 150
Представлено документи з 1 до 20
|
| | |
1.  |
РА302266
 Єршов, Сергій Володимирович.
Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р- схем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1998. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 2. |
РА314104
Семеріков, Сергій Олексійович.
Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування [Текст] : автореф. дис... канд. пед. наук: 13.00.02 / Семеріков Сергій Олексійович ; Національний педагогічний ун-т ім. М.П.Драгоманова. - К., 2001. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національний педагогічний університет імені М. П. Драгоманова (Київ)
Видання зберігається у :
Основний фонд
|
| 3. |
РА321007
Гуца, Олег Миколайович.
Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 4. |
РА340459
Альбахлул, Ахмед І. А..
Моделі структурно-об'єктної технології розробки інтерфейсного комплексу корпоративної інформаційної системи [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Альбахлул Ахмед І. А. ; Харківський національний ун-т радіоелектроніки. - Х., 2005. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 5. |
РА349925
Омельчук, Людмила Леонідівна.
Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 6. |
РА364210
Грачян, Гурген Гагикович.
Об основной семантике функциональных программ [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Грачян Гурген Гагикович. - Ереван, 2009. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 7. |
РА374093
Акопян, Рубен Юрьевич.
Об алгоритмах интерпретации строго типизированных функциональных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.04 / Акопян Рубен Юрьевич ; Ин-т пробл. информатики и автоматизации НАН РА. - Ереван, 2010. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Республики Армения; Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
| 8. |
РА381378
Казарян, Гор Арамович.
О преобразованиях бестиповых функциональных программ и их процедурных семантиках [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Казарян Гор Арамович ; Ереван. гос. ун-т. - Ереван, 2011. - 19 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
| 9. |
РА381376
Аракелян, Ара Гайкович.
О типовой корректности функциональных программ [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Аракелян Ара Гайкович ; Ереван. гос. ун-т. - Ереван, 2011. - 22 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
| 10. |
ДС59229
Єршов, Сергій Володимирович.
Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р-схем [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Міжнар. наук. центр технології програмування ТЕХНОСОФТ. - К., 1998. - 163 л. - Бібліогр.: . 152-163.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; "ТЕХНОСОФТ", міжнародний науковий центр технології программування (Київ)
Видання зберігається у :
Основний фонд
|
| 11. |
ДС71563
Семеріков, Сергій Олексійович.
Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування [Текст] : дис... канд. пед. наук: 13.00.02 / Семеріков Сергій Олексійович ; Криворізький держ. педагогічний ун-т. - Кривий Ріг, 2000. - 255 арк. - арк.191-215Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Криворізький державний педагогічний університет
Видання зберігається у :
Основний фонд
|
| 12. |
ДС76317
Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 13. |
ДС95781
Альбахлул, Ахмед И. А..
Модели структурно-объектной технологии разработки интерфейсного комплекса корпоративной информационной системы [Текст] : дис... канд. техн. наук: 05.13.06 / Альбахлул Ахмед И. А. ; Харьковский национальный ун-т радиоэлектроники. - Х., 2005. - 201 л. - Библиогр.: л. 140-148Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 14. |
ДС98250
Омельчук, Людмила Леонідівна.
Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 142 арк.: рис. - арк. 125-134Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 15. |
Глушков В. М./ВА535
Йодан, Э.
Структурное проектирование и конструирование программ [Текст] / Э. Йодан ; пер. с англ. В. В. Фролова и Л. А. Теплицкого ; под ред. Л. Н. Королева. - М. : Мир, 1979. - 415 с. - Бібліогр. в кінці глав. - Пер. изд. : Techniques of Program Strycture and Desigh / E. Yourdon. - 1975. - 27 000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Фролов, В. В. (пер.); Теплицкий, Л. А. (пер.); Королев, Л. Н. (ред.); Yourdon, E.
Видання зберігається у :
Основний фонд
|
| 16. |
Глушков В.М./ВА65
Вельбицкий, Игорь Вячеславович.
Технология программирования [Текст] / И. В. Вельбицкий. - К. : Техніка, 1984. - 280 с. : рис., табл. - (Библиотека инженера). - Бібліогр.: с. 274-277 . - 13 000 прим.
З дарчим написом від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 17. |
ІВ194398
Stair, Ralph M.
Basic programming for personal computers [Text] : with structured programming, applications, and cases / R. M. Stair. - Homewood, Illinois : [б.в.] ; Boston, MA : Irwin, 1989. - XVII, 582 p. - ISBN 0-256-06071-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| 18. |
ІВ192842
Visual programming environments [Text] : applications and issues / ed. E. P. Glinert. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1990. - 661 p.:ill.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Glinert, Ephraim P. (ed.)
Видання зберігається у :
|
| 19. |
ІВ192832
Visual programming environments [Text] : paradigms and systems / ed. E. P. Glinert. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1990. - III, 661 p.:ill. - ISBN 0-8186-8973-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Glinert, Ephraim P. (ed.)
Видання зберігається у :
|
| 20. |
ВА568794
Филд, Антони.
Функциональное программирование [Текст] / А. Филд, П. Харрисон ; пер. М. В. Горбатова [и др.]. - М. : Мир, 1993. - 637 с.:ил. - ISBN 5-03-001870-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харрисон, Петер; Горбатова, М. В. (пер.); (пер. с англ.)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача