Каталоги бібліотек установ Національної академії наук України

Простий пошук	Розширений пошук	Абеткові покажчики
Каталоги бібліотек установ Національної академії наук України

Бази даних

Національна бібліотека України імені В. І. Вернадського - результати пошуку

Національна бібліотека України імені В. І. Вернадського

Інститут археології

Інститут біоорганічної хімії та нафтохімії

Інститут біохімії імені О. В. Палладіна

Інститут ботаніки
імені М. Г. Холодного

Інститут гідробіології

Інститут географії

Інститут економіки та прогнозування

Інститут електродинаміки

Інститут зоології

Інститут історії України

Інститут клітинної біології та генетичної інженерії

Інститут літератури імені Т. Г. Шевченка

Інститут математики

Інститут проблем кріобіології і кріомедицини

Інститут проблем міцності
імені Г. С. Писаренка

Інститут сходознавства імені А. Ю. Кримського

Інститут теоретичної фізики імені М. М. Боголюбова

Інститут технічної теплофізики

Інститут фізики

Інститут фізики напівпровідників

Інститут фізіології імені О. О. Богомольця

Інститут філософії

Інституту соціології

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

у знайденому

Сортувати знайдені документи за:
автором	назвою	роком видання

Знайдено в інших БД:

Інститут біохімії імені О. В. Палладіна (2)

Інститут економіки та прогнозування (7)

Інститут електродинаміки (6)

Інститут зоології (4)

Інститут літератури імені Т. Г. Шевченка (1)

Інститут математики (27)

Інститут проблем міцності
імені Г. С. Писаренка (2)

Інститут сходознавства імені А. Ю. Кримського (4)

Інститут теоретичної фізики імені М. М. Боголюбова (7)

Інститут фізики (1)

Інститут фізіології імені О. О. Богомольця (1)

Інститут філософії (2)

Інституту соціології (6)

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>)

Загальна кількість знайдених документів : 206
Представлено документи з 1 до 20

...

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.; Новотарський, Михайло Анатолійович; Нестеренко, Борис Борисович; Національна академія наук України; Інститут математики (Київ)

Fundamentals of formal composition : study guide / V. Hryhorieva [et al.] ; transl. from Ukr. Zoia Heorhiievska. - Odesa : Astroprint, 2023. - 115 p. : fig. - Бібліогр.: с. 92-94. - 300 cop. прим. - ISBN 978-966-927-946-0

Переклад назви: Основи формальної композиції (англ. мовою).

Дод. точки доступу:
Hryhorieva, Valentyna; Григор'єва, Валентина Борисівна; Bilgorodska, Olena; Білгородська, Олена Євгеніївна; Nedoshytko, Oleg; Недошитко, Олег Михайлович; Kucherenko, Kateryna; Кучеренко, Катерина Панасівна; Heorhiievska, Zoia (пер.); Георгієвська, Зоя Анатоліївна

МОТ. Международная конференция труда. Сессия (103 ; 2014 ; Женева).

[Доклады] / МОТ. Международная конференция труда. Сессия (103 ; 2014 ; Женева). - Женева : МБТ, 2013 , ISSN 0251-3730.

Докл. 5(1) : Переход от неформальной к формальной экономике. - Женева : МБТ, 2013. - iv, 90 с. - ISBN 978-92-2-427754-2

Дод. точки доступу:
МОТ. Международная конференция труда. Сессия(102 ; 2013 ; Женева)

ИКАО.

[Приложения] к Конвенции о международной гражданской авиации / ИКАО. - Монреаль : ИКАО, 2000- . - (Международные стандарты и рекомендуемая практика).

Прил. 9 : Упрощение формальностей : настоящее изд. включает все поправки, принятые Советом до 8 марта 2011 г., и с 17 ноября 2011 г. заменяет все предыдущие изд. Прил. 9. - 13-е изд. - Монреаль : ИКАО, 2011. - Разд. паг. - ISBN 978-92-9231-797-3

Дод. точки доступу:
ИКАО

ИКАО

[Приложения] к Конвенции о международной гражданской авиации. - Монреаль : ИКАО, 2000- . - (Международные стандарты и рекомендуемая практика).

Прил. 9 : Упрощение формальностей : настоящее изд. включает все поправки, принятые Советом до 8 марта 2005 г., и с 24 ноября 2005 г. заменяет все предыдущие изд. Прил. 9. - 12-е изд. - 2005. - Разд. паг. - ISBN 92-9194-577-3

Дод. точки доступу:
ИКАО

ИКАО

Прил. 9 : Упрощение формальностей : настоящее изд. включает все поправки, принятые Советом до 2 марта 2002 г., и с 28 ноября 2002 г. заменяет все предыдущие изд. Прил. 9. - 11-е изд. - 2002. - Разд. паг.

Дод. точки доступу:
ИКАО

Северинюк, Валентин Матвійович.

І Конфуцій, і Шевченко : [вибране] / Валентин Северинюк. - Київ : Ліра-К, 2021. - 275 с. - Бібліогр.: с. 266-275 та в кінці ст. - ISBN 978-617-520-071-1

Анотація: Назва книги – «І Конфуцій, і Шевченко» – не випадкова. І обрана автором не з метою здивувати читача формальним поєднанням імен всесвітньовідомих людей. У ній підкреслено цивілізаційне значення гуманістичного світогляду, що був однаково властивий обом видатним мислителям, хоча вони й представляли дуже різні історичні епохи, національні культури, духовні традиції. Саме на важливості людського начала, цінностей свободи, патріотизму, національної гідності, моральних чеснот, які лежать в основі суспільного прогресу, прагне наголосити й автор у своїх працях. Валентин Северинюк, український історик і політолог, пропонує читачам вибрані праці різних періодів своєї 35-річної науково-педагогічної діяльності. їхні теми й аналіз питань стосуються вітчизняної історії, теоретичної та прикладної політології, конституційного права, педагогіки тощо. Книга розрахована не тільки на фахове середовище. Автор сподівається, що її тематичне розмаїття задовольнить інтереси широкого кола читачів.
Файл: IMG - 0

Дод. точки доступу:
Конфуцій (про нього); Шевченко, Тарас Григорович (український письменник, художник ; 1814–1861) (про нього)

Інноваційні концептуальні та формально-аналітичні інструменти обгрунтування, підготовки та впровадження будівельних інвестиційних проектів : монографія / В. О. Поколенко [та ін.] ; наук. ред. В. О. Поколенко ; Київський національний ун-т будівництва і архітектури. - К. : Видавництво Європейського ун-ту, 2008. - 208 с.: табл. - Бібліогр.: с. 202-205. - ISBN 978-966-301-154-7

Дод. точки доступу:
Поколенко, Вадим Олегович; Ушацький, Сергій Андрійович; Лагутін, Геннадій Володимирович; Тугай, Олексій Анатолійович; Борисова, Наталія Олександрівна; Рубцова, Оксана Сергіївна; Поколенко, Вадим Олегович (наук. ред.); Київський національний університет будівництва і архітектури

Бабич, Богдан Віталійович.

Інтерпретаційна модель формально- синтаксичних структур української мови : автореф. дис... канд. філол. наук: 10.02.01 / Бабич Богдан Віталійович ; НАН України, Ін-т мовознав. ім. О. О. Потебні. - К., 2000. - 15 с.

Дод. точки доступу:
Національна академія наук України; Інститут мовознавства імені О. О. Потебні (Київ)

10.

Бабич, Богдан Віталійович.

Інтерпретаційна модель формально-синтаксичних структур української мови : дис... канд. філол. наук: 10.02.01 / Бабич Богдан Віталійович ; Нац. акад. наук України, Укр. мовно-інформ. фонд. - К., 2000. - 200 л. - Бібліогр.: л. 180-200.

Дод. точки доступу:
Національна академія наук України; Український мовно-інформаційний фонд (Київ)

11.

Інформаційні технології. Електронний документообіг. Архітектура службових документів (ODA) та обмінний формат. - К. : Держстандарт України, 1999 . - (Державний стандарт України).

Ч. 10 : Формальні задання. ДСТУ 3719-10-98 (ISO 8613-10:1991). - [Б. м.] : [б.в.], 1999. - IV, 384 с.

12.

Збишко, Ірина Степанівна.

Інфраструктура громадянського суспільства в Україні: співвідношення формальних ознак та реальна практика : дис. ... канд. політ. наук : 23.00.02 / Збишко Ірина Степанівна ; Нац. пед. ун-т ім. М. П. Драгоманова. - Київ, 2013. - 211 арк. : рис., табл. - Бібліогр.: арк. 170-195.

Дод. точки доступу:
Національний педагогічний університет імені М. П. Драгоманова (Київ)

13.

Збишко, Ірина Степанівна.

Інфраструктура громадянського суспільства в Україні: співвідношення формальних ознак та реальної практики : автореф. дис. ... канд. політ. наук : 23.00.02 / Збишко Ірина Степанівна ; Нац. пед. ун-т ім. М. П. Драгоманова. - К., 2013. - 20 с.

Дод. точки доступу:
Національний педагогічний університет імені М. П. Драгоманова (Київ)

14.

Вінтонів, Михайло Олексійович.

Актуальне членування речення і тексту: формальні та функційні вияви : монографія / М. О. Вінтонів ; Донец. нац. ун-т, Філол. ф-т. - Донецьк : ДонНУ, 2013. - 327 с. - Бібліогр.: с. 270-327. - 300 прим. - ISBN 978-966-639-557-6

Дод. точки доступу:
Донецький національний університет. Філологічний факультет

15.

Лукасевич, Ян.

Аристотелевская силлогистика с точки зрения современной формальной логики / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ ред. и вступ. ст. проф. П. С. Попова. - М. : Изд-во иностр. лит., 1959. - 312 с. - Пер. изд. : Aristotle's sillogistic from the standpoint of modern formal logic / Jan Łukasiewicz. - Oxford, 1957

Дод. точки доступу:
Стяжкин, Н. И. (пер.); Субботин, А. Л. (пер.); Попов, П. С. (ред., авт. вступ. ст.); Аристотель (pers.); Łukasiewicz, Jan

16.

Шрайберг, Яков Леонидович.

Библиотека как объект автоматизации: схема формального описания, структуризация и моделирование на этапе предпроектного исследования / Я. Л. Шрайберг ; Государственная публичная научно-техническая библиотека России. - Препр. - М. : Издательство ГПНТБ России, 1998. - 33 с.: рис.

Дод. точки доступу:
Государственная публичная научно-техническая библиотека России

17.

Вовк, Віра.

Варіації на тему кохання : сонети і сонетоїди : формальні етюди / Віра Вовк. - Ріо-де-Жанейро : Contraste, 2019. - 20 с.

18.

Валидов, Фарит Искандерович.

Введение в теорию формального вывода программ / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999. - 98 с. - Библиогр.: с. 151. - ISBN 5-8399-001-X

Дод. точки доступу:
Институт экономики, управления и права (Казань)

19.

Гулина, О. М..

Введение в теорию формальных языков : учеб. пособие по курсу "Языки и грамматики" / О. М. Гулина ; Обнинский ин-т атомной энергетики. Факультет заочного обучения. - Обнинск : ИАТЭ, 2000. - 56 с.: рис.

Дод. точки доступу:
Обнинский институт атомной энергетики. Факультет заочного обучения

20.

Панич, А. О..

Введение в формальную логику : учеб. пособие для студ. гуманит. спец. / А. О. Панич ; Донецкий национальный ун-т, Донецкий гуманитарный ин-т. - Донецк : ДонГИ ДонНУ, 2002. - 136 с.

Дод. точки доступу:
Донецкий национальный университет; Донецкий гуманитарный институт

...

Центр бібліотечних електронних ресурсів і технологій