Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>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Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Паранчук, Ярослав Степанович; Сеник, Володимир Васильович
Видання зберігається у :
Основний фонд
|
|
|