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

Бази даних

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

8.
Р92157
Горская, Е. А..
Моделирование сложных информационных систем на основе конечных автоматов [Текст] / Е. А. Горская, В. Н. Самойлов. - Дубна : [б.и.], 2000. - 16 с. - (Препр. / Объединенный ин-т ядерных исследований ; р10-2000-188). - Библиогр.: с. 15-16
Направлено в журнал "Автоматизация проектирования"

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


Дод. точки доступу:
Самойлов, В. Н; Объединенный институт ядерных исследований

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

9.
ВА684810
Лаврищева, Екатерина Михайловна.
Методы программирования: теория, инженерия, практика [Текст] / Е. М. Лаврищева ; НАН Украины, Ин-т програм. систем. - К. : Наукова думка, 2006. - 452 с.: ил. - Библиогр.: с. 426-444. - ISBN 978-966-00-0614-4

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


Дод. точки доступу:
Национальная академия наук Украины; Институт программных систем (Киев)

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

10.
MFI2756/1-2-3
Brandis, Marc.
Optimizing compilers for structural programming languages [Text] : diss. / M. Brandis ; Swiss Federal Institute of technology Zürich. - Zürich : [б.в.], 1995. - 221 p.: fig. - (Diss ETH ; 11024)
3 mfishe

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


Дод. точки доступу:
Swiss Federal Institute of technology Zürich

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

11.
ІВ194398
Stair, Ralph M.
Basic programming for personal computers [Text] : with structured programming, applications, and cases / R. M. Stair. - Homewood, Illinois : [б.в.] ; Boston, MA : Irwin, 1989. - XVII, 582 p. - ISBN 0-256-06071-1

Рубрикатор НБУВ:
 З973-018.022 
 З973-018.2 Basic 
 З973.86-018.1 
Тематичні рубрики:
 Методи програмування 
 Комп'ютери та програмування 
 Програмне забезпечення персональних комп'ютерів 


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

12.
ВС60502

C# 5.0 и платформа .NET 4.5 для профессионалов [Текст] / Кристиан Нейгел [и др.] ; [пер. с англ. и ред. Ю. Н. Артеменко]. - М. ; СПб. ; Киев : Диалектика : Вильямс, 2014. - 1435 с. : рис., табл. - Дод. тит. арк. англ. - 1500 прим. - ISBN 978-5-8459-1850-5 (рус.). - ISBN 978-1-1183-1442-5 (англ.)

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


Дод. точки доступу:
Нейгел, Кристиан; Ивьен, Билл; Глинн, Джей; Уотсон, Карли; Скиннер, Морган; Артеменко, Ю. Н. (пер., ред.)

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

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

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