Пошуковий запит: (<.>U=З973-018.21$<.>) |
Загальна кількість знайдених документів : 55
Представлено документи з 1 до 20
|
| |
1. | ДС83148 Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. - арк. 134-139.
Тематичний рубрикатор:
Дод. точки доступу: Житомирський державний технологічний університет
Видання зберігається у :
Основний фонд
|
2. | ДС106219 Мейтус, Владимир Юльевич. Категорные методы в теории языковых преобразователей [Текст] : дис... д-ра физ.-мат. наук: 01.05.03 / Мейтус Владимир Юльевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2008. - 252 л. - Библиогр.: л. 239-252.
Тематичний рубрикатор:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
3. | ДС97435 Паскевич, Андрій Юрійович. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 141 арк.: рис. - арк. 128-134.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
4. | РА340396 Паскевич, Андрій Юрійович. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 20 с.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
5. | РА361668 Нигиян, Арам Вигенович. Логическое моделирования процедурных языков программирования и недетерминированных конечных автоматов [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Нигиян Арам Вигенович ; Ереванский гос. ун-т. - Ереван, 2009. - 14 с.
Тематичний рубрикатор:
Дод. точки доступу: Ереванский государственный университет
Видання зберігається у :
|
6. | РА368702 Лялецький, Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
7. | РА302827 Абдрахимов, Илья Сабитович. Процедурная семантика и стратегии поиска решения в системе Флэнг [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.16 / Абдрахимов Илья Сабитович. - Иркутск, 1998. - 15 с.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
8. | РА327368 Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2003. - 22 с.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
9. | РА356973 Мейтус, Володимир Юлійович. Категорні методи в теорії мовних перетворювачів [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Мейтус Володимир Юлійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 27 с.
Тематичний рубрикатор:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
10. | ВА559167 Проценко, Володимир Семенович. Формальні специфікації мов програмування [Текст] : навч.посібник для студ. вищ.навч.закладів / В. С. Проценко, П. Й. Чаленко. - К. : Либідь, 1994. - 183 с.
Тематичний рубрикатор:
Дод. точки доступу: Чаленко, Павло Йосипович
Видання зберігається у :
|
11. | В340795/Ч. 1 Шрамченко, Борис Лазаревич Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" [Текст] : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 . Ч. 1 : Формальні мови та граматики, скінчені автомати, лексичний аналіз. - [Б. м.] : [б.в.], 1995. - 68 с.
Тематичний рубрикатор:
Дод. точки доступу: Державна академія легкої промисловості України(Київ)
Видання зберігається у :
Основний фонд
|
12. | В340795/Ч. 2 Шрамченко, Борис Лазаревич Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" [Текст] : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 . Ч. 2 : Синтаксичний аналіз, геенерація коду, використання пам'яті. - [Б. м.] : [б.в.], 1996. - 85 с.
Тематичний рубрикатор:
Дод. точки доступу: Державна академія легкої промисловості України(Київ)
Видання зберігається у :
Основний фонд
|
13. | Р78903 Фастовець, Геннадій Павлович. Конспект лекцій до розділу "Мови програмування" з курсу "Системи штучного Інтелекту" [Текст] : для студ. спец. "Обчислювальні машини, комплекси, системи й мережі" / Г. П. Фастовець [та ін.] ; Харківський технічний ун-т радіоелектроніки. - Х. : [б.в.], 1994. - 18 с.
Тематичний рубрикатор:
Дод. точки доступу: Мурашко, Анрі Гаврилович; Іванов, Володимир Ілліч; Харківський технічний ун-т радіоелектроніки
Видання зберігається у :
Основний фонд
|
14. | ВА582370 Шибицкая, Наталья Николаевна. Алгоритмические языки и программное обеспечение [Текст] : конспект лекций / Н. Н. Шибицкая ; Киевский международный ун-т гражданской авиации. - К. : [б.и.], 1998. - 159 с.
Тематичний рубрикатор:
Дод. точки доступу: Киевский международный университет гражданской авиации
Видання зберігається у :
Основний фонд
|
15. | В344471/Ч. 1 Георгиев, Константин Анатольевич Элементы теории вычислительных процессов [Текст] : учеб. пособие / К. А. Георгиев. - Ростов-на-Дону : Донской гос. технический ун-т, 2000 . Ч. 1 : Введение в теорию автоматов. Системы уравнений с регулярными коэффициентами. - Ростов-на-Дону : [б.и.], 2000. - 77 с.: рис.
Тематичний рубрикатор:
Дод. точки доступу: Донской гос. технический университет
Видання зберігається у :
Основний фонд
|
16. | В341582/Ч. 1 Методичні вказівки до курсової роботи з дисципліни "Обчислювальна техніка та мови програмування" [Текст] / Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1997 . Ч. 1 / уклад. О. В. Хоменко, А. А. Марченко. - [Б. м.] : [б.в.], 1997. - 68 с.
Тематичний рубрикатор:
Дод. точки доступу: Хоменко, Олег Володимирович (уклад.); Марченко, Анатолій Андрійович (уклад.); Національний технічний університет України "Київський політехнічний інститут"(Київ)
Видання зберігається у :
Основний фонд
|
17. | Р83991 Герзон, С. А.. Динамические модели для описания взаимодействия слов языка [Текст] / С. А. Герзон ; Институт теоретической и экспериментальной физики. - М. : ЦНИИатоминформ, 1987. - 7 с. - (Препр. / Институт теоретической и экспериментальной физики ; 139).
Тематичний рубрикатор:
Дод. точки доступу: Институт теоретической и экспериментальной физики
Видання зберігається у :
|
18. | Р84609 Никитин, С. Г.. Программный инструментарий реализации языков диалоговых систем [Текст] / С. Г. Никитин, В. В. Сиколенко. - Серпухов : [б.в.], 1989. - 20 с. - (Препр. / Институт физики высоких энергий ; 89-18).
Тематичний рубрикатор:
Дод. точки доступу: Сиколенко, В. В.; Институт физики высоких энергий
Видання зберігається у :
|
19. | ВА610226 Степанов, Михаил Федорович. Машинный перевод и общение на естественном языке [Текст] : учеб. пособие по дисциплине "Компьютерный перевод иностранных языков" для студ. спец. 210100 / М. Ф. Степанов ; Саратовский гос. технический ун-т. - Саратов : Саратовский гос. технический ун-т, 2000. - 97 с.: рис. - Библиогр.: с.94-95.
Тематичний рубрикатор:
Дод. точки доступу: Саратовский гос. технический университет
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
20. | ВА615065 Коваль, Валерий Николаевич. Концепторные языки. Доказательное проектирование [Текст] / В. Н. Коваль ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наукова думка, 2001. - 182 с.: табл. - Библиогр.: с. 173-182.
Тематичний рубрикатор:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| |