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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (1)Реферативна база даних (5)
Пошуковий запит: (<.>U=З973-018.022.1<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
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.
ВА619005
Валидов, Фарит Искандерович.
Введение в теорию формального вывода программ [Текст] / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999. - 98 с. - Библиогр.: с. 151. - ISBN 5-8399-001-X
Библиогр.: с. 98

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


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

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

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

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


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

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

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


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

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

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

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