Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Книжкові видання та компакт-диски - результати пошуку

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

Рубрики:
 Формальні методи програмування 




Видання зберігається у :
Основний фонд

 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського