Пошуковий запит: (<.>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
Рубрики:
Видання зберігається у :
Основний фонд
| |
| | |
|
Простий пошук
Віртуальна довідка