Пошуковий запит: (<.>K=ФОРМАЛЬНІ$<.>+<.>K=ПІДЗАГОЛОВКИ$<.>) |
Загальна кількість знайдених документів : 28
Представлено документи з 1 до 20
|
| |
1. |
Білоус, Тетяна Миколаївна. Роль ідеалізації в сучасній формальній епістемології : дис... канд. філос. наук: 09.00.01 / Білоус Тетяна Миколаївна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 195 арк. - арк. 180-195
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
|
2. |
Четвериков, Григорій Григорович. Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем : дис... д-ра техн. наук: 05.13.23 / Четвериков Григорій Григорович ; Харківський національний ун-т радіоелектроніки. - Х., 2005. - 320 арк. - арк. 275-293
|
3. |
Сидоренко, Вікторія Вікторівна. Формальні і функціональні вияви керування : дис... канд. філол. наук: 10.02.01 / Сидоренко Вікторія Вікторівна ; Донецький національний ун-т. Кафедра української мови. - Донецьк, 2006. - 214 арк. - арк. 185-207
Дод. точки доступу: Донецький національний університет. Кафедра української мови
|
4. |
Білоус, Тетяна Миколаївна. Роль ідеалізації в сучасній формальній епістемології : автореф. дис... канд. філос. наук: 09.00.01 / Білоус Тетяна Миколаївна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 18 с.
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
|
5. |
Четвериков, Григорій Григорович. Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем : автореф. дис... д-ра техн. наук: 05.13.23 / Четвериков Григорій Григорович ; Харківський національний ун-т радіоелектроніки. - Х., 2005. - 32 с.
Дод. точки доступу: Харківський національний університет радіоелектроніки
|
6. |
Сидоренко, Вікторія Вікторівна. Формальні і функціональні вияви керування : автореф. дис... канд. філол. наук: 10.02.01 / Сидоренко Вікторія Вікторівна ; Донецький національний ун-т. - Донецьк, 2006. - 20 с.
Дод. точки доступу: Донецький національний університет
|
7. |
Волох, Олександр Анатолійович. Похідні Гельфонда-Леонтьєва та формальні степеневі ряди : автореф. дис... канд. фіз.-мат. наук: 01.01.01 / Волох Олександр Анатолійович ; Львівський національний ун-т ім. Івана Франка. - Л., 2008. - 16 с.
Дод. точки доступу: Львівський національний університет імені Івана Франка
|
8. |
Волох, Олександр Анатолійович. Похідні Гельфонда-Леонтьєва та формальні степеневі ряди : дис. ... канд. фіз.-мат. наук : 01.01.01 / Волох Олександр Анатолійович ; Львів. нац. ун-т ім. І. Франка. - Л., 2008. - 139 арк. - Бібліогр.: арк. 133-139.
Дод. точки доступу: Львівський національний університет імені Івана Франка
|
9. |
Проценко, Володимир Семенович. Формальні специфікації мов програмування : навч.посібник для студ. вищ.навч.закладів / В. С. Проценко, П. Й. Чаленко. - К. : Либідь, 1994. - 183 с. - ISBN 5-325-00485-9
Дод. точки доступу: Чаленко, Павло Йосипович
|
10. |
Шрамченко, Борис Лазаревич Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 . Ч. 1 : Формальні мови та граматики, скінчені автомати, лексичний аналіз. - [Б. м.] : [б.в.], 1995. - 68 с.
Дод. точки доступу: Державна академія легкої промисловості України(Київ)
|
11. |
Варій, Мирон Йосипович. Формальні групи військового підрозділу: соціально- психологічний аспект : наук.-метод. посібник / М. Й. Варій ; Державний ун-т "Львівська політехніка". Відділення військової підготовки. - Львів : [б.в.], 1997. - 32 с.
Дод. точки доступу: Державний ун-т "Львівська політехніка". Відділення військової підготовки
|
12. |
Інформаційні технології. Електронний документообіг. Архітектура службових документів (ODA) та обмінний формат. - К. : Держстандарт України, 1999 . - (Державний стандарт України). Ч. 10 : Формальні задання. ДСТУ 3719-10-98 (ISO 8613-10:1991). - [Б. м.] : [б.в.], 1999. - IV, 384 с.
|
13. |
Ільман, Валерій Михайлович. Формальні структури та їх застосування : монографія / В. М. Ільман, В. В. Скалозуб, В. І. Шинкаренко ; Дніпропетр. нац. ун-т залізничного трансп. ім. В. Лазаряна. - Д. : Вид-во Дніпропетр. нац. ун-ту залізн. трансп. ім. В. Лазаряна, 2009. - 205 с. : рис., табл. - Бібліогр.: с. 199-205. - 300 прим. - ISBN 978-966-8471-43-8
Дод. точки доступу: Скалозуб, Владислав Васильович; Шинкаренко, Віктор Іванович; Дніпропетровський національний університет залізничного транспорту імені В. Лазаряна
|
14. |
Системне програмування: формальні граматики та методи синтаксичного аналізу : навч. посіб. / О. В. Авдюшина [та ін.] ; Донец. нац. ун-т, Мат. ф-т. - Донецьк : ДонНУ, 2011. - 188 с. : рис., табл. - Парал. тит. арк. англ. - Бібліогр.: с. 187. - 300 прим. - ISBN 978-966-639-363-3
Дод. точки доступу: Авдюшина, Олена Володимирівна; Дзундза, Алла Іванівна; Моісеєнко, Ігор Олексійович; Нескородєв, Роман Миколайович; Донецький національний університет. Математичний факультет
|
15. |
Вінтонів, Михайло Олексійович. Актуальне членування речення і тексту: формальні та функційні вияви : монографія / М. О. Вінтонів ; Донец. нац. ун-т, Філол. ф-т. - Донецьк : ДонНУ, 2013. - 327 с. - Бібліогр.: с. 270-327. - 300 прим. - ISBN 978-966-639-557-6
Дод. точки доступу: Донецький національний університет. Філологічний факультет
|
16. |
Бісікало, Олег Володимирович. Формальні методи образного аналізу та синтезу природно-мовних конструкцій : монографія / О. В. Бісікало ; Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2013. - 315 с. : рис., табл. - Бібліогр.: с. 259-283. - 300 (1-й запуск 1-75) прим. - ISBN 978-966-641-528-1
Дод. точки доступу: Вінницький національний технічний університет
|
17. |
Розсоха, Сергій Володимирович. Формальні методи ідентифікації та прогнозування об'єктів і процесів програмної інженерії : навч. посіб. / С. В. Розсоха, І. Б. Туркін, І. В. Шостак ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків : ХАІ, 2014. - 132 с. : рис., табл. - Бібліогр.: с. 128-130. - 100 прим. - ISBN 978-966-662-330-3
Дод. точки доступу: Туркін, Ігор Борисович; Шостак, Ігор Володимирович; "Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
|
18. |
Nesterenko, B. B. Formal means of the simulation of parallel processes and systems / B. B. Nesterenko, M. A. Novotarskyi ; Nat. acad. of sciences of Ukraine, Inst. of mathematics. - Kyiv : Akademperiodyka, 2016. - 192, [1] с. : рис., табл. - (Проект "Українська наукова книга іноземною мовою"). - Назва на дод. тит. арк. : Формальні засоби моделювання паралельних процесів та систем / Б. Б. Нестеренко, М. А. Новотарський. - Текст англ. - Бібліогр.: с. 187-190. - 300 пр. прим. - ISBN 978-966-360-309-4
Дод. точки доступу: Novotarskyi, M. A.; Новотарський, Михайло Анатолійович; Нестеренко, Борис Борисович; Національна академія наук України; Інститут математики (Київ)
|
19. |
Захарія, Любов Михайлівна. Формальні мови, граматики та автомати : навч. посібник / Л. М. Захарія, М. М. Заяць ; Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2016. - 194 с. : рис., табл. - Бібліогр.: с. 192. - 200 прим. - ISBN 978-617-607-941-5
Дод. точки доступу: Заяць, Марія Михайлівна; "Львівська політехніка", національний університет
|
20. |
Крилов, Микола Митрофанович (доктор математики, академік ; 1879–1955). Про деякі формальні розклади нелінійної механіки / акад. М. М. Крилов і д-р М. М. Боголюбов ; Всеукр. акад. наук. - Київ : Вид-во Всеукр. акад. наук, 1934. - 89, [3] с. : рис. - ([Записки] / Всеукр. акад. наук, Ін-т буд. механіки, Каф. мат. фізики ; № 5). - Бібліогр.: с. [91]. - 600 прим.
Дод. точки доступу: Боголюбов, Микола Миколайович (доктор фізико–математичних наук, академік ; 1909–1992); Всеукраїнська академія наук
|
| |