Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (1)Реферативна база даних (7)
Пошуковий запит: (<.>U=З973-018.022.1$<.>)
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
1.
ДС76317
Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145

Рубрикатор НБУВ:
 В123 
 З973-018.022.1 
Тематичні рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Формальні методи програмування 


Дод. точки доступу:
Харьковский национальный университет радиоэлектроники

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

2.
РА321007
Гуца, Олег Миколайович.
Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.

Рубрикатор НБУВ:
 В123 
 З973-018.022.1 
Тематичні рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Формальні методи програмування 


Дод. точки доступу:
Харківський національний університет радіоелектроніки

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

3.
ВА596705
Бєгун, Анатолій Володимирович.
Технологія програмування: об'єктно-орієнтований підхід [Текст] : навч.- метод. посіб. для самостійного вивч. дисципліни / А. В. Бєгун ; ред. О. П. Бондаренко ; Київський національний економічний ун-т. - К. : КНЕУ, 2000. - 200 с. - ISBN 966-574-138-1
На обкл. авт. не зазнач.

Рубрикатор НБУВ:
 З973-018.022.1 я73 
 З973-018.123 я73 
 У.в61 я73 
Тематичні рубрики:
 Комп'ютери та програмування 
 Навчальні посібники для вищої школи з економічної кібернетики 


Дод. точки доступу:
Бондаренко, О. П. (ред.); Київський національний економічний університет

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

4.
ВА619005
Валидов, Фарит Искандерович.
Введение в теорию формального вывода программ [Текст] / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999. - 98 с. - Библиогр.: с. 151. - ISBN 5-8399-001-X
Библиогр.: с. 98

Рубрикатор НБУВ:
 З973-018.022.1 
Тематичні рубрики:
 Формальні методи програмування 


Дод. точки доступу:
Институт экономики, управления и права (Казань)

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

5.
ВА619289
Кузьменкова, Евгения Анатольевна.
Формальная спецификация программ на языке RSL [Текст] : конспект лекций / Е. А. Кузьменкова, А. К. Петренко ; Московский гос. ун-т им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М. : Издательский отдел фак. вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, 2001. - 107 с. - ISBN 5-89407-104-6

Рубрикатор НБУВ:
 З973-018.022.1 я73-2 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Петренко, Александр Константинович; Московский гос. университет имени М. В. Ломоносова. Факультет вычислительной математики и кибернетики

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

6.
Р104492
Пандорин, Александр Константинович.
Технология программирования и создания программных продуктов [Текст] : конспект лекций / А. К. Пандорин ; Харьковский национальный экономический ун-т. - Х. : ХНЭУ, 2005. - 32 с.: рис. - Библиогр.: с. 28-31
75 років ХНЕУ

Рубрикатор НБУВ:
 З973-018.022.1 я73-2 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Харьковский национальный экономический университет

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

7.
Глушков В.М./ВА65
Вельбицкий, Игорь Вячеславович.
Технология программирования [Текст] / И. В. Вельбицкий. - К. : Техніка, 1984. - 280 с. : рис., табл. - (Библиотека инженера). - Бібліогр.: с. 274-277 . - 13 000 прим.
З дарчим написом від авт.

Рубрикатор НБУВ:
 З973-018.022.1 
Тематичні рубрики:
 Формальні методи програмування 


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

8.
ВА848977

Формальні методи специфікації програм [Текст] : навч. посіб. / [А. Ю. Дорошенко та ін.] ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2018. - 367 с. : рис. - Бібліогр.: с. 310-332. - 100 прим. - ISBN 978-966-439-990-3

Рубрикатор НБУВ:
 З973-018.022.1 я73 
УДК:
 004.42(075.8) 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Дорошенко, Анатолій Юхимович; Жереб, Костянтин Анатолійович; Іванов, Євген В'ячеславович; Нікітченко, М. С.; Яценко, О. А.; Київський національний університет імені Тараса Шевченка

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

9.
В359496/1
Рудий, Тарас Володимирович
Алгоритмізація та програмування [Текст] : навч. посіб. / Тарас Рудий, Ярослав Паранчук, Володимир Сеник. - Львів : Львів. держ. ун-т внутр. справ, 2023 .
Ч. 1 : Структурне програмування. - 2023. - 239 с. : рис., табл. - Бібліогр.: с. 236. - ISBN 978-617-511-373-8

Рубрикатор НБУВ:
 З973-018.022.1 
УДК:
 004.415.2.043 
Тематичні рубрики:
 Формальні методи програмування 


Дод. точки доступу:
Паранчук, Ярослав Степанович; Сеник, Володимир Васильович

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

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

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