Пошуковий запит: (<.>U=З973-018.210$<.>) |
Загальна кількість знайдених документів : 34
Представлено документи з 1 до 20
|
| |
1. | Р83991 Герзон, С. А.. Динамические модели для описания взаимодействия слов языка [Текст] / С. А. Герзон ; Институт теоретической и экспериментальной физики. - М. : ЦНИИатоминформ, 1987. - 7 с. - (Препр. / Институт теоретической и экспериментальной физики ; 139)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт теоретической и экспериментальной физики
Видання зберігається у :
|
2. | Р84609 Никитин, С. Г.. Программный инструментарий реализации языков диалоговых систем [Текст] / С. Г. Никитин, В. В. Сиколенко. - Серпухов : [б.в.], 1989. - 20 с. - (Препр. / Институт физики высоких энергий ; 89-18)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Сиколенко, В. В.; Институт физики высоких энергий
Видання зберігається у :
|
3. | В340795/Ч. 1 Шрамченко, Борис Лазаревич Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" [Текст] : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 . Ч. 1 : Формальні мови та граматики, скінчені автомати, лексичний аналіз. - [Б. м.] : [б.в.], 1995. - 68 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Державна академія легкої промисловості України(Київ)
Видання зберігається у :
Основний фонд
|
4. | В340795/Ч. 2 Шрамченко, Борис Лазаревич Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" [Текст] : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 . Ч. 2 : Синтаксичний аналіз, геенерація коду, використання пам'яті. - [Б. м.] : [б.в.], 1996. - 85 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Державна академія легкої промисловості України(Київ)
Видання зберігається у :
Основний фонд
|
5. | В344471/Ч. 1 Георгиев, Константин Анатольевич Элементы теории вычислительных процессов [Текст] : учеб. пособие / К. А. Георгиев. - Ростов-на-Дону : Донской гос. технический ун-т, 2000 . Ч. 1 : Введение в теорию автоматов. Системы уравнений с регулярными коэффициентами. - Ростов-на-Дону : [б.и.], 2000. - 77 с.: рис. - ISBN 5-7890-0136-XРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Донской гос. технический университет
Видання зберігається у :
Основний фонд
|
6. | ВА629279 Формальные грамматики и их применение в распознавании образов [Текст] : учеб. пособие для студ., обуч. по направлению 551100 и спец. 220500 и 200800 / О. И. Атакищев [и др.] ; Курский гос. технический ун-т. - Курск : [б.и.], 2000. - 115 с. - ISBN 5-7681-0077-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Атакищев, Олег Игоревич; Волков, Александр Петрович; Титов, Виталий Семенович; Старков, Федор Александрович; Курский гос. технический университет
Видання зберігається у :
Основний фонд
|
7. | ВА610226 Степанов, Михаил Федорович. Машинный перевод и общение на естественном языке [Текст] : учеб. пособие по дисциплине "Компьютерный перевод иностранных языков" для студ. спец. 210100 / М. Ф. Степанов ; Саратовский гос. технический ун-т. - Саратов : Саратовский гос. технический ун-т, 2000. - 97 с.: рис. - Библиогр.: с.94-95. - ISBN 5-7433-0659-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Саратовский гос. технический университет
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
8. | В346285/Ч. 1 Малявко, Александр Антонович Теория формальных языков [Текст] : учеб. пособие: В 3 ч. / А. А. Малявко. - Новосибирск : Новосибирский гос. технический ун-т, 2001 . Ч. 1. - Новосибирск : [б.и.], 2001. - 96 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Новосибирский гос. технический университет
Видання зберігається у :
Основний фонд
|
9. | ВА615065 Коваль, Валерий Николаевич. Концепторные языки. Доказательное проектирование [Текст] / В. Н. Коваль ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наукова думка, 2001. - 182 с.: табл. - Библиогр.: с. 173-182. - ISBN 966-00-0717-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
10. | ВА650165 Бешенков, Сергей Александрович. Моделирование и формализация [Текст] : метод. пособие / С. А. Бешенков, Е. А. Ракитина. - М. : Лаборатория Базовых Знаний, 2002. - 333 с.: рис., табл. - (Серия "Информатика"). - Библиогр.: с. 331-333. - ISBN 5-93208-117-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ракитина, Елена Александровна
Видання зберігається у :
Універсальний підсобний фонд Основний фонд
|
11. | ДС83148 Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. - арк. 134-139Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Житомирський державний технологічний університет
Видання зберігається у :
Основний фонд
|
12. | РА327368 Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2003. - 22 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
13. | В348822/Т. 1, гл. 1-4, кн. 1 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 1, гл. 1-4, кн. 1 : Типы языков и машин. - [Б. м.] : [б.и.], 2005. - 272 с. - Библиогр.: с. 264-269. - ISBN 966-651-251-3 (том І). - ISBN 966-651-270-X (книга І)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
14. | В348822/Т. 1, гл. 5-12, кн. 2 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 1, гл. 5-12, кн. 2 : Алгебра и автоматы.І (Кн.2). - [Б. м.] : [б.и.], 2005. - 272 с. - Библиогр.: с. 260-263. - ISBN 966-651-225-4Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Філія №2 Універсальний підсобний фонд Основний фонд
|
15. | ДС97435 Паскевич, Андрій Юрійович. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 141 арк.: рис. - арк. 128-134Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
16. | РА340396 Паскевич, Андрій Юрійович. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
17. | В349284/Т. 2, кн. 1 Лисовик, Леонид Петрович Формальные языки и трансдьюсеры [Текст] : [В 4 т.] / Л. П. Лисовик. - К. : Феникс, 2006 . - ISBN 966-651-282-3. Т. 2, кн. 1 : Вычисления над размеченными деревьями. - [Б. м.] : [б.и.], 2006. - 400 с. - Библиогр.: с. 389-397. - ISBN 966-651-283-1 (т. 2). - ISBN 966-651-284-X (кн. 1)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
18. | В349284/Т. 2, кн. 2 Лисовик, Леонид Петрович Формальные языки и трансдьюсеры [Текст] : [В 4 т.] / Л. П. Лисовик. - К. : Феникс, 2006 . - ISBN 966-651-282-3. Т. 2, кн. 2 : Вычисления над размеченными деревьями. - [Б. м.] : [б.и.], 2006. - 440 с. - Библиогр.: с. 416-435. - ISBN 966-651-283-1(том 2). - ISBN 966-651-313-7(книга 2-я)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
19. | В349537/Ч. 1 Лисовик, Леонид Петрович Трансдьюсеры [Текст] / Л. П. Лисовик. - К. : Феникс, 2006 . Ч. 1. - [Б. м.] : [б.и.], 2006. - 368 с. - Библиогр.: с. 326-364. - ISBN 966-651-340-4Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
20. | В348822/Т. 2, кн. 4 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 2, кн. 4 : Размеченные деревья. - [Б. м.] : [б.и.], 2006. - 352 с. - Библиогр.: с. 341-348. - ISBN 966-651-393-5 (т. 2). - ISBN 966-651-394-3 (кн. 4)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
| |