Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>) |
Загальна кількість знайдених документів : 206
Представлено документи з 1 до 20
|
| | |
| 1. | 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] с. : рис., табл.. - (Проект "Українська наукова книга іноземною мовою")
|
| 2. | Fundamentals of formal composition : study guide / V. Hryhorieva [et al.] ; transl. from Ukr. Zoia Heorhiievska. - Odesa : Astroprint, 2023.. - 115 p. : fig.
|
| 3. | МОТ. Международная конференция труда. Сессия (103 ; 2014 ; Женева) [Доклады]. Докл. 5(1):Переход от неформальной к формальной экономике. - Женева : МБТ, 2013.. - iv, 90 с.
|
| 4. | ИКАО [Приложения] к Конвенции о международной гражданской авиации. Прил. 9:Упрощение формальностей : настоящее изд. включает все поправки, принятые Советом до 8 марта 2011 г., и с 17 ноября 2011 г. заменяет все предыдущие изд. Прил. 9. - Монреаль : ИКАО, 2011.. - Разд. паг.
|
| 5. | [Приложения] к Конвенции о международной гражданской авиации. Прил. 9:Упрощение формальностей : Настоящее изд. включает все поправки, принятые Советом до 8 марта 2005 г., и с 24 ноября 2005 г. заменяет все предыдущие изд. Прил. 9. - 2005.. - Разд. паг.
|
| 6. | [Приложения] к Конвенции о международной гражданской авиации. Прил. 9:Упрощение формальностей : Настоящее изд. включает все поправки, принятые Советом до 2 марта 2002 г., и с 28 ноября 2002 г. заменяет все предыдущие изд. Прил. 9. - 2002.. - Разд. паг.
|
| 7. | Северинюк В. М. І Конфуцій, і Шевченко : [вибране] / Валентин Северинюк. - Київ : Ліра-К, 2021.. - 275 с.
|
| 8. | Інноваційні концептуальні та формально-аналітичні інструменти обгрунтування, підготовки та впровадження будівельних інвестиційних проектів : монографія / В. О. Поколенко [та ін.] ; наук. ред. В. О. Поколенко ; Київський національний ун-т будівництва і архітектури. - К. : Видавництво Європейського ун-ту, 2008.. - 208 с.: табл.
|
| 9. | Бабич Б. В. Інтерпретаційна модель формально- синтаксичних структур української мови : Автореф. дис... канд. філол. наук: 10.02.01 / Бабич Богдан Віталійович ; НАН України, Ін-т мовознав. ім. О. О. Потебні. - К., 2000.. - 15 с.
|
| 10. | Бабич Б. В. Інтерпретаційна модель формально-синтаксичних структур української мови : Дис... канд. філол. наук: 10.02.01 / Бабич Богдан Віталійович ; Нац. акад. наук України, Укр. мовно-інформ. фонд. - К., 2000.. - 200 л.
|
| 11. | Інформаційні технології. Електронний документообіг. Архітектура службових документів (ODA) та обмінний формат. Ч. 10:Формальні задання. ДСТУ 3719-10-98 (ISO 8613-10:1991). - [Б. м.] : [б.в.], 1999.. - IV, 384 с.
|
| 12. | Збишко І. С. Інфраструктура громадянського суспільства в Україні: співвідношення формальних ознак та реальна практика : дис. ... канд. політ. наук : 23.00.02 / Збишко Ірина Степанівна ; Нац. пед. ун-т ім. М. П. Драгоманова. - Київ, 2013.. - 211 арк. : рис., табл.
|
| 13. | Збишко І. С. Інфраструктура громадянського суспільства в Україні: співвідношення формальних ознак та реальної практики : автореф. дис. ... канд. політ. наук : 23.00.02 / Збишко Ірина Степанівна ; Нац. пед. ун-т ім. М. П. Драгоманова. - К., 2013.. - 20 с.
|
| 14. | Вінтонів М. О. Актуальне членування речення і тексту: формальні та функційні вияви : монографія / М. О. Вінтонів ; Донец. нац. ун-т, Філол. ф-т. - Донецьк : ДонНУ, 2013.. - 327 с.
|
| 15. | Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ ред. и вступ. ст. проф. П. С. Попова. - М. : Изд-во иностр. лит., 1959.. - 312 с.
|
| 16. | Шрайберг Я. Л. Библиотека как объект автоматизации: схема формального описания, структуризация и моделирование на этапе предпроектного исследования / Я. Л. Шрайберг ; Государственная публичная научно-техническая библиотека России. - М. : Издательство ГПНТБ России, 1998.. - 33 с.: рис.
|
| 17. | Вовк В. Варіації на тему кохання : сонети і сонетоїди : формальні етюди / Віра Вовк. - Ріо-де-Жанейро : Contraste, 2019.. - 20 с.
|
| 18. | Валидов Ф. И. Введение в теорию формального вывода программ / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999.. - 98 с.
|
| 19. | Гулина О. М. Введение в теорию формальных языков : Учеб. пособие по курсу "Языки и грамматики" / О. М. Гулина ; Обнинский ин-т атомной энергетики. Факультет заочного обучения. - Обнинск : ИАТЭ, 2000.. - 56 с.: рис.
|
| 20. | Панич А. О. Введение в формальную логику : Учеб. пособие для студ. гуманит. спец. / А. О. Панич ; Донецкий национальный ун-т, Донецкий гуманитарный ин-т. - Донецк : ДонГИ ДонНУ, 2002.. - 136 с.
|
| | |
Простий
Національна бібліотека України імені В. І. Вернадського
