Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.210$<.>) |
Загальна кількість знайдених документів : 34
Представлено документи з 1 до 20
|
| |
1. | В276985/Vol. A.2 Lisovyk, Leonid Petrovych The formal languages and transducers [Text] / L. P. Lisovyk. - Kiev : Phoenix, 2009 . Vol. A.2 : Algebra and automata. - 2009. - 464 p. - Бібліогр.: P.448-460. - ISBN 987-966-651-670-4. - ISBN 978-966-651-671-1 (Vol.A). - ISBN 978-966-651-672-8 (Book 2)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| 2. | ВА724077 Ільман, Валерій Михайлович. Формальні структури та їх застосування [Текст] : монографія / В. М. Ільман, В. В. Скалозуб, В. І. Шинкаренко ; Дніпропетр. нац. ун-т залізничного трансп. ім. В. Лазаряна. - Д. : Вид-во Дніпропетр. нац. ун-ту залізн. трансп. ім. В. Лазаряна, 2009. - 205 с. : рис., табл. - Бібліогр.: с. 199-205. - 300 прим. - ISBN 978-966-8471-43-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Скалозуб, Владислав Васильович; Шинкаренко, Віктор Іванович; Дніпропетровський національний університет залізничного транспорту імені В. Лазаряна
Видання зберігається у :
Основний фонд
| 3. | ВА650165 Бешенков, Сергей Александрович. Моделирование и формализация [Текст] : метод. пособие / С. А. Бешенков, Е. А. Ракитина. - М. : Лаборатория Базовых Знаний, 2002. - 333 с.: рис., табл. - (Серия "Информатика"). - Библиогр.: с. 331-333. - ISBN 5-93208-117-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ракитина, Елена Александровна
Видання зберігається у :
Універсальний підсобний фонд Основний фонд
| 4. | ДС83148 Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. - арк. 134-139Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Житомирський державний технологічний університет
Видання зберігається у :
Основний фонд
| 5. | РА327368 Вінник, Вадим Юрійович. Еталонні моделі символьної обробки [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2003. - 22 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 6. | В344471/Ч. 1 Георгиев, Константин Анатольевич Элементы теории вычислительных процессов [Текст] : учеб. пособие / К. А. Георгиев. - Ростов-на-Дону : Донской гос. технический ун-т, 2000 . Ч. 1 : Введение в теорию автоматов. Системы уравнений с регулярными коэффициентами. - Ростов-на-Дону : [б.и.], 2000. - 77 с.: рис. - ISBN 5-7890-0136-XРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Донской гос. технический университет
Видання зберігається у :
Основний фонд
| 7. | Р83991 Герзон, С. А.. Динамические модели для описания взаимодействия слов языка [Текст] / С. А. Герзон ; Институт теоретической и экспериментальной физики. - М. : ЦНИИатоминформ, 1987. - 7 с. - (Препр. / Институт теоретической и экспериментальной физики ; 139)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт теоретической и экспериментальной физики
Видання зберігається у :
| 8. | Глушков В.М./Р124 Глушков, Виктор Михайлович. Автоматизация поиска доказательств теорем математических теорий и интеллектуальные машины [Текст] / В. М. Глушков, Ю. В. Капитонова. - [К.] : [б. и.], [1972]. - [6] с. Окр. відб. з журн.: Кибернетика. - 1972, сент.-окт.-№ 5. - С. 1-6. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Капитонова, Ю. В.
Видання зберігається у :
Основний фонд
| 9. | ВА807821 Захарія, Любов Михайлівна. Формальні мови, граматики та автомати [Текст] : навч. посібник / Л. М. Захарія, М. М. Заяць ; Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2016. - 194 с. : рис., табл. - Бібліогр.: с. 192. - 200 прим. - ISBN 978-617-607-941-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Заяць, Марія Михайлівна; "Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
| 10. | Глушков В.М./Р125 К построению практического формального языка для записи математических теорий [Текст] / В. М. Глушков [и др.]. - [К.] : [б. и.], [1972]. - [10] с. Окр. відб. з журн.: Кибернетика. - 1972.- № 5. - С. 19-28. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Глушков, Виктор Михайлович; Капитонова, Ю. В.; Летичевский, А. А.; Вершинин, К. П.; Малеваный, Н. П.
Видання зберігається у :
Основний фонд
| 11. | ВА615065 Коваль, Валерий Николаевич. Концепторные языки. Доказательное проектирование [Текст] / В. Н. Коваль ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наукова думка, 2001. - 182 с.: табл. - Библиогр.: с. 173-182. - ISBN 966-00-0717-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
| 12. | В348822/Т. 1, гл. 1-4, кн. 1 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 1, гл. 1-4, кн. 1 : Типы языков и машин. - [Б. м.] : [б.и.], 2005. - 272 с. - Библиогр.: с. 264-269. - ISBN 966-651-251-3 (том І). - ISBN 966-651-270-X (книга І)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 13. | В348822/Т. 1, гл. 5-12, кн. 2 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 1, гл. 5-12, кн. 2 : Алгебра и автоматы.І (Кн.2). - [Б. м.] : [б.и.], 2005. - 272 с. - Библиогр.: с. 260-263. - ISBN 966-651-225-4Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Філія №2 Універсальний підсобний фонд Основний фонд
| 14. | В348822/Т. 2, кн. 4 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 2, кн. 4 : Размеченные деревья. - [Б. м.] : [б.и.], 2006. - 352 с. - Библиогр.: с. 341-348. - ISBN 966-651-393-5 (т. 2). - ISBN 966-651-394-3 (кн. 4)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 15. | В348822/Т. 3, кн. 6 Лисовик, Леонид Петрович Теория трансдьюсеров [Текст] / Л. П. Лисовик. - К. : Феникс, 2005 . - (Серия "Математическое мышление"). Т. 3, кн. 6 : Функции и аппликативные системы (кн. 6). - [Б. м.] : [б.и.], 2007. - 284 с. - Библиогр.: с. 273-282 (119 назв.). - ISBN 966-651-375-7 (том 3). - ISBN 978-966-651-466-3 (книга 6)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 16. | В349537/Ч. 1 Лисовик, Леонид Петрович Трансдьюсеры [Текст] / Л. П. Лисовик. - К. : Феникс, 2006 . Ч. 1. - [Б. м.] : [б.и.], 2006. - 368 с. - Библиогр.: с. 326-364. - ISBN 966-651-340-4Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 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. | ДС115257 Лялецький, Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Лялецький Олександр Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2009. - 110 арк. - Бібліогр.: арк. 106-110. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 20. | РА368702 Лялецький, Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| |
|
|