Пошуковий запит: (<.>U=З973-018.2$<.>) |
Загальна кількість знайдених документів : 1158
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | ДС83148
Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. - арк. 134-139
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | ДС106219
Мейтус, Владимир Юльевич. Категорные методы в теории языковых преобразователей [Текст] : дис... д-ра физ.-мат. наук: 01.05.03 / Мейтус Владимир Юльевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2008. - 252 л. - Библиогр.: л. 239-252
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ДС58791
Калина, Олена Анатоліївна. Дослідження та розробка інструментальних засобів інтерактивного розв'язування інженерних і наукових задач методами комп'ютерної алгебри [Текст] : дис... канд. техн. наук: 01.05.03 / Калина Олена Анатоліївна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1998. - 186 л. - Бібліогр.: арк. 147-157.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ДС62088
Вінничук, Ігор Петрович. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 120 л. - л. 111-114
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ДС97435
Паскевич, Андрій Юрійович. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 141 арк.: рис. - арк. 128-134
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | РА280618
Петухин, Вячеслав Алексеевич. Анализ логических программ и компиляция языка Флэнг [Текст] : автореф.дис...канд.физ.-мат.наук:05.13.16 / Петухин Вячеслав Алексеевич ; Иркутский ун-т. - Иркутск, 1993. - 13 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | РА335911
Лютый, Виктор Григорьевич. Язык Модула-90К и его реализация [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Лютый Виктор Григорьевич ; Вычислительный центр РАН. - М., 1993. - 16 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | РА340396
Паскевич, Андрій Юрійович. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | РА361668
Нигиян, Арам Вигенович. Логическое моделирования процедурных языков программирования и недетерминированных конечных автоматов [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Нигиян Арам Вигенович ; Ереванский гос. ун-т. - Ереван, 2009. - 14 с.
Рубрики:
Видання зберігається у :
| |
|
| | |
|
10. | РА368702
Лялецький, Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
11. | РА301328
Калина, Олена Анатоліївна. Дослідження та розробка інструментальних засобів інтерактивного розв'язування інженерних і наукових задач методами комп'ютерної алгебри [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Калина Олена Анатоліївна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 1998. - 18 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | РА302827
Абдрахимов, Илья Сабитович. Процедурная семантика и стратегии поиска решения в системе Флэнг [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.16 / Абдрахимов Илья Сабитович. - Иркутск, 1998. - 15 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | РА306020
Вінничук, Ігор Петрович. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінничук Ігор Петрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1999. - 17 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
14. | РА305331
Имамов, Толкин Турдыалиевич. Разработка и реализация системы аналитических преобразований ПЛ- ОСИАЛ [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Имамов Толкин Турдыалиевич ; АН БССР, Ин-т математики. - Минск, 1989. - 13 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | РА327368
Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2003. - 22 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | РА356973
Мейтус, Володимир Юлійович. Категорні методи в теорії мовних перетворювачів [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Мейтус Володимир Юлійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 27 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | В338521//2
Системная информатика [Текст] / ред. В. Котов ; РАН. СО, Институт систем информатики. - Новосибирск : ВО "Наука", 1991 . 2 : Системы программирования. Теория и приложения. - 1993. - 247 с. - ISBN 5-02-029970-7
Рубрики:
Видання зберігається у :
| |
|
| | |
|
18. | В339931
Рубенкинг, Нейл. Турбо Паскаль для Windows [Текст] : в 2.т.:Пер.с англ. / Н. Рубенкинг. - М. : Мир, 1994.. - ISBN 1-56276-035-1
Рубрики:
| | | | |
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
Рубрики:
Видання зберігається у :
Основний фонд
| |
| | | | |
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
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |
|