Пошуковий запит: (<.>U=З973-018.022.1$<.>) |
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
|
|
| | |
|
1. | ДС76317
Гуца, Олег Николаевич. Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | РА321007
Гуца, Олег Миколайович. Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ВА596705
Бєгун, Анатолій Володимирович. Технологія програмування: об'єктно-орієнтований підхід [Текст] : навч.- метод. посіб. для самостійного вивч. дисципліни / А. В. Бєгун ; ред. О. П. Бондаренко ; Київський національний економічний ун-т. - К. : КНЕУ, 2000. - 200 с. - ISBN 966-574-138-1 На обкл. авт. не зазнач.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ВА619005
Валидов, Фарит Искандерович. Введение в теорию формального вывода программ [Текст] / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999. - 98 с. - Библиогр.: с. 151. - ISBN 5-8399-001-X Библиогр.: с. 98
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ВА619289
Кузьменкова, Евгения Анатольевна. Формальная спецификация программ на языке RSL [Текст] : конспект лекций / Е. А. Кузьменкова, А. К. Петренко ; Московский гос. ун-т им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М. : Издательский отдел фак. вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, 2001. - 107 с. - ISBN 5-89407-104-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | Р104492
Пандорин, Александр Константинович. Технология программирования и создания программных продуктов [Текст] : конспект лекций / А. К. Пандорин ; Харьковский национальный экономический ун-т. - Х. : ХНЭУ, 2005. - 32 с.: рис. - Библиогр.: с. 28-31 75 років ХНЕУ
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | Глушков В.М./ВА65
Вельбицкий, Игорь Вячеславович. Технология программирования [Текст] / И. В. Вельбицкий. - К. : Техніка, 1984. - 280 с. : рис., табл. - (Библиотека инженера). - Бібліогр.: с. 274-277 . - 13 000 прим. З дарчим написом від авт.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ВА848977
Формальні методи специфікації програм [Текст] : навч. посіб. / [А. Ю. Дорошенко та ін.] ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2018. - 367 с. : рис. - Бібліогр.: с. 310-332. - 100 прим. - ISBN 978-966-439-990-3
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | В359496/1
Рудий, Тарас Володимирович Алгоритмізація та програмування [Текст] : навч. посіб. / Тарас Рудий, Ярослав Паранчук, Володимир Сеник. - Львів : Львів. держ. ун-т внутр. справ, 2023 . Ч. 1 : Структурне програмування. - 2023. - 239 с. : рис., табл. - Бібліогр.: с. 236. - ISBN 978-617-511-373-8
Рубрики:
Видання зберігається у :
Основний фонд
| |