Пошуковий запит: (<.>U=З973-018.21$<.>) |
Загальна кількість знайдених документів : 55
Представлено документи з 1 до 20
|
| | |
1.  |
ІВ214647
Lundkvist, Torbjörn.
Applications of graph transformation in tools for domain-specific modeling languages [Text] : diss. / Torbjörn Lundkvist ; Åbo akad. univ. Dep. of information technologies. - Turku : Åbo akademi university, 2011. - Pag. var. : fig. - Бібліогр. в кінці ст. - ISBN 978-952-12-2601-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Åbo akademi university. Department of information technologies
Видання зберігається у :
Основний фонд
|
| 2. |
ІВ207827
Sebesta, Robert W.
Concepts of programming languages [Text] / R. W. Sebesta. - 4. ed. - Reading, Massachusetts[etc.] : Addison- Wesley, 1999. - XV, 670 p. - Бібліогр.: P.641-651. - ISBN 0-201-38596-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| 3. |
ІВ222424
Sebesta, Robert W..
Concepts of programming languages [Text] / Robert W. Sebesta. - 10th ed. - Boston[etc.] : Pearson, 2012. - XIX, 795 p. : fig. - Бібліогр.: с. 763-771. - ISBN 10: 0-13-139531-9. - ISBN 13: 978-0-13-139531-2Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 4. |
ІВ207941
Sebesta, Robert W..
Concepts of programming languages [Text] / R. W. Sebesta. - 5. ed. - Boston[etc.] : Addison Wesley, 2002. - XIII, 698 p.: fig. - Бібліогр.: p. 665-676. - ISBN 0-201-75295-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| 5. |
В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)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| 6. |
ІВ208547
Modeling languages in mathematical optimization [Text] / ed. J. Kallrath. - Boston[etc.] : Kluwer Academic Publishers, 2004. - XXX, 407 p.: fig. - (Applied optimization ; vol. 88). - Бібліогр.: p. 383-402. - ISBN 1-4020-7547-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Kallrath, Josef (ed.)
Видання зберігається у :
|
| 7. |
ІВ207873
Kernighan, Brian W..
The C programming language [Text] / B. W. Kernighan, D. M. Ritchie. - 2. ed. - Upper Saddle River, New Jersey : Prentice Hall PTR, 1988. - XII, 272 p. - (Prentice Hall software series). - ISBN 0-13-110362-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ritchie, Dennis M.
Видання зберігається у :
|
| 8. |
СТ1636/Ч. 15
Інформаційні технології; Словник термінів [Текст]. - К. : Держспоживстандарт України, 2005 . - (Національний стандарт України).
Ч. 15 : ДСТУ ISO/IEC 2382-15:2005; Мови програмування (ISO/IEC 2382-15:1999, IDT) / пер. і наук.-техн. ред. О. Перевозчикова [та ін.]. - На заміну ДСТУ 2872-94; Чинний від 01.10.2006. - [Б. м.] : [б.в.], 2007. - IV, 58 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Перевозчикова, О (пер. і наук.-техн. ред.)
Видання зберігається у :
Основний фонд
|
| 9. |
Глушков В.М./Р124
 Глушков, Виктор Михайлович.
Автоматизация поиска доказательств теорем математических теорий и интеллектуальные машины [Текст] / В. М. Глушков, Ю. В. Капитонова. - [К.] : [б. и.], [1972]. - [6] с.
Окр. відб. з журн.: Кибернетика. - 1972, сент.-окт.-№ 5. - С. 1-6. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Капитонова, Ю. В.
Видання зберігається у :
Основний фонд
|
| 10. |
ВА582370
Шибицкая, Наталья Николаевна.
Алгоритмические языки и программное обеспечение [Текст] : конспект лекций / Н. Н. Шибицкая ; Киевский международный ун-т гражданской авиации. - К. : [б.и.], 1998. - 159 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевский международный университет гражданской авиации
Видання зберігається у :
Основний фонд
|
| 11. |
Глушков В.М./ВА108
Баррон, Дэвид.
Введение в языки программирования [Текст] / Д. Баррон ; пер. с англ. В. А. Серебрякова ; под ред. Ю. М. Баяковского. - М. : Мир, 1980. - 189 с. - (Математическое обеспечение ЭВМ). - Пер. изд. : An introduction to the study of programming languages / D. W. Barron. - London [etc.], 1977. - 58000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Серебряков, В. А. (пер.); Баяковский, Ю. М. (ред.); Barron, D. W.
Видання зберігається у :
Основний фонд
|
| 12. |
В352915/1
Бородавка, Євгеній Володимирович
Діалогові системи та лінгвістичне забезпечення САПР [Текст] : конспект лекцій для студ., які навчаються за напрямом підготов. 6.050101 "Комп'ютерні науки" : у 2 ч. / Є. В. Бородавка, В. В. Демченко ; Київ. нац. ун-т буд-ва і архіт. - К. : [КНУБА], 2010 - 2011.
Ч. 1 : Лінгвістичне забезпечення. - 2010. - 67 с. : рис. - Бібліогр.: с. 64. - 75 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Демченко, Віктор Вікторович; Київський національний університет будівництва і архітектури
Видання зберігається у :
Основний фонд
|
| 13. |
Р83991
Герзон, С. А..
Динамические модели для описания взаимодействия слов языка [Текст] / С. А. Герзон ; Институт теоретической и экспериментальной физики. - М. : ЦНИИатоминформ, 1987. - 7 с. - (Препр. / Институт теоретической и экспериментальной физики ; 139)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт теоретической и экспериментальной физики
Видання зберігається у :
|
| 14. |
РА327368
Вінник, Вадим Юрійович.
Еталонні моделі символьної обробки [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2003. - 22 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 15. |
ДС83148
Вінник, Вадим Юрійович.
Еталонні моделі символьної обробки [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Вінник Вадим Юрійович ; Житомирський держ. технологічний ун-т. - Житомир, 2003. - 139 арк. - арк. 134-139Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Житомирський державний технологічний університет
Видання зберігається у :
Основний фонд
|
| 16. |
РА340396
Паскевич, Андрій Юрійович.
Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 17. |
ДС97435
Паскевич, Андрій Юрійович.
Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Паскевич Андрій Юрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 141 арк.: рис. - арк. 128-134Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 18. |
Глушков В.М./Р125
К построению практического формального языка для записи математических теорий [Текст] / В. М. Глушков [и др.]. - [К.] : [б. и.], [1972]. - [10] с.
Окр. відб. з журн.: Кибернетика. - 1972.- № 5. - С. 19-28. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Глушков, Виктор Михайлович; Капитонова, Ю. В.; Летичевский, А. А.; Вершинин, К. П.; Малеваный, Н. П.
Видання зберігається у :
Основний фонд
|
| 19. |
РА356973
Мейтус, Володимир Юлійович.
Категорні методи в теорії мовних перетворювачів [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Мейтус Володимир Юлійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 27 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 20. |
ДС106219
Мейтус, Владимир Юльевич.
Категорные методы в теории языковых преобразователей [Текст] : дис... д-ра физ.-мат. наук: 01.05.03 / Мейтус Владимир Юльевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2008. - 252 л. - Библиогр.: л. 239-252Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача