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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
 Знайдено в інших БД:Журнали та продовжувані видання (58)Автореферати дисертацій (5)Реферативна база даних (350)
Пошуковий запит: (<.>U=З973-018.2$<.>)
Загальна кількість знайдених документів : 1158
Представлено документи з 1 до 20
...
1.
ДС83148
Вінник, Вадим Юрійович.
Еталонні моделі символьної обробки [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. - арк. 134-139

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


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

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

2.
ДС106219
Мейтус, Владимир Юльевич.
Категорные методы в теории языковых преобразователей [Текст] : дис... д-ра физ.-мат. наук: 01.05.03 / Мейтус Владимир Юльевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2008. - 252 л. - Библиогр.: л. 239-252

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


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

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

3.
ДС58791
Калина, Олена Анатоліївна.
Дослідження та розробка інструментальних засобів інтерактивного розв'язування інженерних і наукових задач методами комп'ютерної алгебри [Текст] : дис... канд. техн. наук: 01.05.03 / Калина Олена Анатоліївна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1998. - 186 л. - Бібліогр.: арк. 147-157.

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


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

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

4.
ДС62088
Вінничук, Ігор Петрович.
Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 120 л. - л. 111-114

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


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

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

5.
ДС97435
Паскевич, Андрій Юрійович.
Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 141 арк.: рис. - арк. 128-134

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


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

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

6.
РА280618
Петухин, Вячеслав Алексеевич.
Анализ логических программ и компиляция языка Флэнг [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.16 / Петухин Вячеслав Алексеевич ; Иркутский ун-т. - Иркутск, 1993. - 13 с.

Рубрикатор НБУВ:
 з973-018.021 
 з973-018.2 фленг 
Тематичні рубрики:
 Автоматизація програмування 
 Комп'ютери та програмування 


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

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

7.
РА335911
Лютый, Виктор Григорьевич.
Язык Модула-90К и его реализация [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Лютый Виктор Григорьевич ; Вычислительный центр РАН. - М., 1993. - 16 с.

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


Дод. точки доступу:
Вычислительный центр РАН

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

8.
РА340396
Паскевич, Андрій Юрійович.
Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 20 с.

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


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

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

9.
РА361668
Нигиян, Арам Вигенович.
Логическое моделирования процедурных языков программирования и недетерминированных конечных автоматов [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Нигиян Арам Вигенович ; Ереванский гос. ун-т. - Ереван, 2009. - 14 с.

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


Дод. точки доступу:
Ереванский государственный университет

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

10.
РА368702
Лялецький, Олександр Олександрович.
Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.

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


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

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

11.
РА301328
Калина, Олена Анатоліївна.
Дослідження та розробка інструментальних засобів інтерактивного розв'язування інженерних і наукових задач методами комп'ютерної алгебри [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Калина Олена Анатоліївна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1998. - 18 с.

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


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

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

12.
РА302827
Абдрахимов, Илья Сабитович.
Процедурная семантика и стратегии поиска решения в системе Флэнг [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.16 / Абдрахимов Илья Сабитович. - Иркутск, 1998. - 15 с.

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


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

13.
РА306020
Вінничук, Ігор Петрович.
Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 17 с.

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


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

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

14.
РА305331
Имамов, Толкин Турдыалиевич.
Разработка и реализация системы аналитических преобразований ПЛ- ОСИАЛ [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Имамов Толкин Турдыалиевич ; АН БССР, Ин-т математики. - Минск, 1989. - 13 с.

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


Дод. точки доступу:
АН БССР; Институт математики (Минск)

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

15.
РА327368
Вінник, Вадим Юрійович.
Еталонні моделі символьної обробки [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2003. - 22 с.

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


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

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

16.
РА356973
   Мейтус, Володимир Юлійович.
Категорні методи в теорії мовних перетворювачів [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Мейтус Володимир Юлійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 27 с.

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


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

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

17.
В338521//2
Системная информатика [Текст] / ред. В. Котов ; РАН. СО, Институт систем информатики. - Новосибирск : ВО "Наука", 1991 .
2 : Системы программирования. Теория и приложения. - 1993. - 247 с. - ISBN 5-02-029970-7

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


Дод. точки доступу:
Котов, В. Е. \ред.\; РАН. СОИнститут систем информатики

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

18.
В339931
Рубенкинг, Нейл.
Турбо Паскаль для Windows [Текст] : в 2.т.:Пер.с англ. / Н. Рубенкинг. - М. : Мир, 1994.. - ISBN 1-56276-035-1

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

19.
В340384/Ч. 1
Программирование на Borland C++ для Windows [Текст] : по материалам книги Borland C++ programming for Windows. Peter Norton, Paul L. Yao. - М. : ИВК-СОФТ, 1993 . - (Библиотекаа программиста).
Ч. 1. - [Б. м.] : [б.в.], 1993. - 273 с. - ISBN 5-85477-005-9

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


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

20.
В340384/Ч. 2
Программирование на Borland C++ для Windows [Текст] : по материалам книги Borland C++ programming for Windows. Peter Norton, Paul L. Yao. - М. : ИВК-СОФТ, 1993 . - (Библиотекаа программиста).
Ч. 2. - [Б. м.] : [б.в.], 1993. - 250 с. - ISBN 5-85477-005-9

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


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

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

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