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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Автореферати дисертацій (5)Реферативна база даних (81)
Пошуковий запит: (<.>U=З973-018.022$<.>)
Загальна кількість знайдених документів : 149
Представлено документи з 1 до 20
...
1.
ДС59229
   Єршов, Сергій Володимирович.
Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р-схем [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Міжнар. наук. центр технології програмування ТЕХНОСОФТ. - К., 1998. - 163 л. - Бібліогр.: . 152-163.

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


Дод. точки доступу:
Національна академія наук України; "ТЕХНОСОФТ", міжнародний науковий центр технології программування (Київ)

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

2.
ДС71563
   Семеріков, Сергій Олексійович.
Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування [Текст] : дис... канд. пед. наук: 13.00.02 / Семеріков Сергій Олексійович ; Криворізький держ. педагогічний ун-т. - Кривий Ріг, 2000. - 255 арк. - арк.191-215

Рубрикатор НБУВ:
 З973-018.022.02 
 Ч481.22 
Тематичні рубрики:
 Об'єктно-зорієнтоване програмування 
 Процес навчання, саморегуляція в галузі вищої освіти 


Дод. точки доступу:
Криворізький державний педагогічний університет

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

3.
ДС76317
Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145

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


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

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

4.
ДС95781
Альбахлул, Ахмед И. А..
Модели структурно-объектной технологии разработки интерфейсного комплекса корпоративной информационной системы [Текст] : дис... канд. техн. наук: 05.13.06 / Альбахлул Ахмед И. А. ; Харьковский национальный ун-т радиоэлектроники. - Х., 2005. - 201 л. - Библиогр.: л. 140-148

Рубрикатор НБУВ:
 З970.41-018.1 
 З973-018.022.0 
Тематичні рубрики:
 Програмне забезпечення інформаційних систем 
 Окремі методи програмування 


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

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

5.
ДС98250
Омельчук, Людмила Леонідівна.
Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 142 арк.: рис. - арк. 125-134

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


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

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

6.
РА340459
Альбахлул, Ахмед І. А..
Моделі структурно-об'єктної технології розробки інтерфейсного комплексу корпоративної інформаційної системи [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Альбахлул Ахмед І. А. ; Харківський національний ун-т радіоелектроніки. - Х., 2005. - 19 с.: рис.

Рубрикатор НБУВ:
 З970.41-018.1 
 З973-018.022.0 
Тематичні рубрики:
 Програмне забезпечення інформаційних систем 
 Окремі методи програмування 


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

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

7.
РА349925
Омельчук, Людмила Леонідівна.
Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 17 с.

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


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

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

8.
РА364210
Грачян, Гурген Гагикович.
Об основной семантике функциональных программ [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Грачян Гурген Гагикович. - Ереван, 2009. - 14 с.

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


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

9.
РА302266
   Єршов, Сергій Володимирович.
Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р- схем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1998. - 16 с.

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


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

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

10.
РА314104
   Семеріков, Сергій Олексійович.
Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування [Текст] : автореф. дис... канд. пед. наук: 13.00.02 / Семеріков Сергій Олексійович ; Національний педагогічний ун-т ім. М.П.Драгоманова. - К., 2001. - 20 с.

Рубрикатор НБУВ:
 З973-018.022.02 
 Ч481.22 
Тематичні рубрики:
 Об'єктно-зорієнтоване програмування 
 Процес навчання, саморегуляція в галузі вищої освіти 


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

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

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

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


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

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

12.
В343658/Т. 2
Мешков, Андрей
Visual C++ и MFC. Программирование для Windows NT и Windows 95 [Текст] : в 3 т. / А. Мешков, Ю. Тихомиров. - СПб.[та ін.]1997.
Т. 2. - [Б. м.] : [б.и.], 1997. - 464с.: ил.+ 1 ГМД. - ISBN 5-7791-0039-Х
Содержание:

Рубрикатор НБУВ:
 З973-018.2 с++ visual я77 
 З973-018.41 windows я 77 
 З973-018.022 я77 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Тихомиров, Юрий

Видання зберігається у :

13.
ВА568794
Филд, Антони.
Функциональное программирование [Текст] / А. Филд, П. Харрисон ; пер. М. В. Горбатова [и др.]. - М. : Мир, 1993. - 637 с.:ил. - ISBN 5-03-001870-0

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


Дод. точки доступу:
Харрисон, Петер; Горбатова, М. В. (пер.); (пер. с англ.)

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

14.
ВА578557
Чеппел, Дэвид.
Технологии ActiveX и OLE [Текст] / Д. Чеппел. - М. : Русская редакция, 1997. - 301 с. - (Стратегия программирования). - ISBN 5-7502-0029-9

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


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

15.
ВА580140
Набебин, Алексей Александрович.
Логика и пролог в дискретной математике [Текст] / А. А. Набебин. - М. : Изд-во МЭИ, 1996. - 452 с.:ил. - ISBN 5-7046-0162-6

Рубрикатор НБУВ:
 В126 
 З973-018.01 
 З973-018.022 
 З973-018.2 пролог 
Тематичні рубрики:
 Дискретна математика. Комбінаторика. Теорія графів 
 Теорія програмування 
 Методи програмування 
 Комп'ютери та програмування 


Видання зберігається у :

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

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


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

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

17.
ВА601965
   Кузьомін, Олександр Якович.
Від основ C++ до об'єктно-орієнтованого програмування додатків [Текст] : навч. посіб. / О. Я. Кузьомін ; Науково-методичний центр вищої освіти, Харківський держ. технічний ун-т радіоелектроніки. - Х. : ХТУРЕ, 2000. - 124 с. - ISBN 5-7763-2715-6

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


Дод. точки доступу:
Науково-методичний центр вищої освіти; Харківський державний технічний університет радіоелектроніки

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

18.
В343227/Ч. 1
   Устенко, Сергій Анатолійович
Функціональне та логічне програмування [Текст] : навч. посіб. / С. А. Устенко. - Миколаїв : Український держ. морський технічний ун-т, 1998 .
Ч. 1 : Функціональне програмування. - [Б. м.] : [б.в.], 1998. - 60 с.

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


Дод. точки доступу:
Український держ. морський технічний університет

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

19.
Р96672
Глотова, Татьяна Владимировна.
Объектно-ориентированная методология разработки сложных систем [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению 6546 "Информатика и вычислительная техника" / Т. В. Глотова ; Пензенский гос. ун-т. - Пенза : Издательство Пензенского гос. ун-та, 2001. - 40 с.: рис. - Библиогр.: с739.

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


Дод. точки доступу:
Пензенский гос. университет

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

20.
В343658/Т. 1
Мешков, Андрей
Visual C++ и MFC. Программирование для Windows NT и Windows 95 [Текст] : в 3 т. / А. Мешков, Ю. Тихомиров. - СПб.[та ін.]1997.
Т. 1. - [Б. м.] : [б.и.], 1997. - 464с.: ил.+ 1 ГМД. - ISBN 5-7791-0035-7
Содержание:

Рубрикатор НБУВ:
 З973-018.2 с++ visual я77 
 З973-018.41 windows я 77 
 З973-018.022 я77 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Тихомиров, Юрий

Видання зберігається у :

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

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