Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.022.1<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. | В359496/1 Рудий, Тарас Володимирович Алгоритмізація та програмування [Текст] : навч. посіб. / Тарас Рудий, Ярослав Паранчук, Володимир Сеник. - Львів : Львів. держ. ун-т внутр. справ, 2023 . Ч. 1 : Структурне програмування. - 2023. - 239 с. : рис., табл. - Бібліогр.: с. 236. - ISBN 978-617-511-373-8Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Паранчук, Ярослав Степанович; Сеник, Володимир Васильович
Видання зберігається у :
Основний фонд
| 2. | ВА619005 Валидов, Фарит Искандерович. Введение в теорию формального вывода программ [Текст] / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999. - 98 с. - Библиогр.: с. 151. - ISBN 5-8399-001-X Библиогр.: с. 98Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт экономики, управления и права (Казань)
Видання зберігається у :
Основний фонд
| 3. | Глушков В.М./ВА65 Вельбицкий, Игорь Вячеславович. Технология программирования [Текст] / И. В. Вельбицкий. - К. : Техніка, 1984. - 280 с. : рис., табл. - (Библиотека инженера). - Бібліогр.: с. 274-277 . - 13 000 прим. З дарчим написом від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 4. | ДС76317 Гуца, Олег Николаевич. Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
| 5. | РА321007 Гуца, Олег Миколайович. Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
|
|