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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (2)Реферативна база даних (36)
Пошуковий запит: (<.>U=З973-018.01<.>)
Загальна кількість знайдених документів : 14
Представлено документи з 1 до 14
1.
ДС57085
Кривой, Сергей Лукьянович.
Итеративные методы анализа процедурных программ [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Кривой Сергей Лукьянович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 266 л.

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


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

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

2.
ДС59896
Маранджян, Грант Бабкенович.
Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69

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


Дод. точки доступу:
Институт проблем информатики и автоматизации НАН Республики Армения

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

3.
ДС73858
   Буй, Дмитро Борисович.
Теорія програмних алгебр композиційного типу та її застосування [Текст] : дис... д-ра фіз.-мат. наук: 01.05.03 / Буй Дмитро Борисович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 364 арк. - арк. 313-329

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


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

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

4.
РА298911
Кривий, Сергій Лук"янович.
Ітеративні методи аналізу процедурних програм [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Кривий Сергій Лук"янович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 33 с.

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


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

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

5.
РА304885
Ель-фард Салем Шеріф
Порівняльний аналіз методів модулярної редукції [Текст] : автореф. дис... канд. фіз.- мат. наук: 01.05.01 / Ель-фард Салем Шеріф ; Київський ун-т ім. Тараса Шевченка. - К., 1999. - 14 с.

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


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

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

6.
РА320200
   Буй, Дмитро Борисович.
Теорія програмних алгебр композиційного типу та її застосування [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Буй Дмитро Борисович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 34 с.

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


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

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

7.
В341094/. 2
Логика и компьютер [Текст] / РАН. - М. : Наука. - (Кибернетика - неограниченные возможности и возможные ограничения).
2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В. А. Смирнов. - [Б. м.] : [б.в.], 1995. - 131 с. - ISBN 5-02-006896-9

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


Дод. точки доступу:
Смирнов, В. А. (отв. ред.); РАН

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

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

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


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

9.
ВА643503
Вольфенгаген, Вячеслав Эрнстович.
Комбинаторная логика в программировании [Текст] : вычисления с объектами в примерах и задачах / В. Э. Вольфенгаген ; Институт актуального образования "ЮрИнфоР-МГУ". Кафедра перспективных компьютерных исследований и информационных технологий. - 2.изд. - М. : АО "Центр ЮрИнфоР", 2003. - 335 с.: рис., табл. - (Библиотека "ЮрИнфоР") (Серия : компьютерные науки и информационные технологии). - Библиогр.: с. 291-308. - ISBN 5-89158-101-9

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


Дод. точки доступу:
Институт актуального образования "ЮрИнфоР-МГУ". Кафедра перспективных компьютерных исследований и информационных технологий

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

10.
Глушков В.М./ВА97
Грездов, Геннадий Иванович.
Теория и применение гибридных моделей [Текст] : монография / Г. И. Грездов ; АН УССР, Ин-т электродинамики. - К. : Наукова думка, 1975. - 276 с. : рис. - Бібліогр.: с. 271-277. - 3200 прим.
З дар. написом В. М. Глушкову.

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


Дод. точки доступу:
Академия наук Украинской ССР (Киев); Институт электродинамики (Киев)

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

11.
Глушков В.М./Р140
   Глушков, Виктор Михайлович.
Теорема о неполноте формальных теорий с позиций программиста [Текст] / В. М. Глушков. - [К.] : [б. и.], [1979]. - [5] с.
Окр. відб. з журн.: Кибернетика. - 1979, март-апрель.- № 2. - С. 1-5.

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


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

12.
MFI3485/1-2
Shi, Fei.
Finding patterns in strings [Text] : diss. / F. Shi ; Swiss Federal institute of technology Zürich. - Zürich : [б.в.], 1997. - 108 p.: fig. - (Diss ETH ; 12014)
2 mfishe

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


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

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

13.
ІВ216445
Li, Ming.
An introduction to Kolmogorov complexity and its applications [Text] / Ming Li, Paul Vitányi. - New York[etc.] : Springer-Verlag, 1993. - 546 p. - (Texts and monographs in computer science). - Бібліогр.: с. 493-525. - ISBN 0-387-94053-7. - ISBN 3-540-94053-7

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


Дод. точки доступу:
Vitányi, Paul

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

14.
ВА763083
   Овсяк, Олександр Володимирович.
Інформаційна технологія та інструментальні засоби ефективного опрацювання формул алгоритмів [Текст] / О. В. Овсяк ; Київ. нац. ун-т культури і мистец. - Л. : Вид-во Укр. акад. друкарства, 2013. - 227, [1] с. : рис., табл. - Бібліогр.: с. 215-[228]. - 300 прим. - ISBN 978-966-322-362-9

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


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

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

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

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