Реєстрація
Користувач
Пароль
 

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

Бази даних


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


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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Інститут біохімії імені О. В. Палладіна (2)Інститут економіки та прогнозування (7)Інститут електродинаміки (6)Інститут зоології (4)Інститут літератури імені Т. Г. Шевченка (1)Інститут математики (27)Інститут проблем міцності
імені Г. С. Писаренка (2)
Інститут сходознавства імені А. Ю. Кримського (4)Інститут теоретичної фізики імені М. М. Боголюбова (7)Інститут фізики (1)Інститут фізіології імені О. О. Богомольця (1)Інститут філософії (2)Інституту соціології (6)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>)
Загальна кількість знайдених документів : 206
Представлено документи з 1 до 20
...
1.

Крилов, Микола Митрофанович (доктор математики, академік ; 1879–1955).
Про деякі формальні розклади нелінійної механіки / акад. М. М. Крилов і д-р М. М. Боголюбов ; Всеукр. акад. наук. - Київ : Вид-во Всеукр. акад. наук, 1934. - 89, [3] с. : рис. - ([Записки] / Всеукр. акад. наук, Ін-т буд. механіки, Каф. мат. фізики ; № 5). - Бібліогр.: с. [91]. - 600 прим.

Дод. точки доступу:
Боголюбов, Микола Миколайович (доктор фізико–математичних наук, академік ; 1909–1992); Всеукраїнська академія наук
2.

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

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

Кратко, М. И.
Формальные исчисления Поста и конечные автоматы / М. И. Кратко. - М. : [б. и.], 1966. - [24] с. - Бібліогр.: с. 65
4.


Формальное описание алгоритмического языка АЛГЭК - У / Моск. экон.-стат. ин-т, Отраслевая науч.-исслед. лаб. теории механизир. обраб. экон. информ. ; [подгот.: Королёв М. А. и др.]. - М. : [б. и.], 1966. - 59 с. - 800 прим.

Дод. точки доступу:
Королёв, М. А. (подгот.); Алферова, З. В. (подгот.); Данелян, Т. Я. (подгот.); Московский экономико-статистический институт. Отраслевая научно-исследовательская лаборатория теории механизированной обработки экономической информации
5.

Николаева, Ольга Михайловна.
Старославянизмы (церковнославянизмы) в современных белорусском и русском литературных языках: формальные, семантико-стилистические и функциональные сходства и различия : автореф. дис... канд. филол. наук: 10.02.02; 10.02.01 / Николаева Ольга Михайловна ; АН Белорусской ССР, Институт языкознания им. Якуба Коласа. - Минск, 1989. - 19 с.

Дод. точки доступу:
Институт языкознания имени Якуба Коласа; АН Белорусской ССР; Институт языкознания имени Якуба Коласа
6.

Хаславская, Лидия Михайловна.
Средневековая торевтика Южной Сибири (VІ-Х вв.) (опыт формального подхода) : автореф. дис... канд. ист. наук: 07.00.06 / Хаславская Лидия Михайловна ; АН СССР. СО, Институт истории, филологии и философии. - Новосибирск, 1990. - 19 с.

Дод. точки доступу:
Институт истории, филологии и философии; АН СССР. СО; Институт истории, филологии и философии
7.

Церлюкевич, Виталий Казимирович.
Формальный и функциональый аспекты в анализе дифференциальных признаков простого предложения русского языка как лингвистической единицы : автореф. дис... канд. филол. наук: 10.02.01 / Церлюкевич Виталий Казимирович ; Белорусский гос. ун-т им. В.И.Ленина. - Минск, 1990. - 21 с.

Дод. точки доступу:
Белорусский гос. университет имени В. И. Ленина
8.

Гуйванюк, Ніна Василівна.
Формально-семантичні співвідношення в системі синтаксичних одиниць : автореф. дис...д-ра філол. наук: 10.02.02 / Гуйванюк Ніна Василівна ; АН України, Ін-т мовознав. ім. О. О. Потебні. - О., 1993. - 34 с.

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

Журавская, Татьяна Михайловна.
Роль формального в пропедевтическом курсе дизайна : автореф. дис... канд. искусствоведения: 17.00.06 / Журавская Татьяна Михайловна ; Государственный комитет по высшему образованию Российской Федерации, Санкт-Петербургское высшее художественно-промышленное училище им. В.И.Мухиной. - СПб., 1994. - 27 с.

Дод. точки доступу:
Санкт-Петербургское высшее художественно-промышленное училище имени В. И. Мухиной; Государственный комитет по высшему образованию Российской Федерации; Санкт-Петербургское высшее художественно-промышленное училище имени В. И. Мухиной
10.

Проценко, Володимир Семенович.
Формальні специфікації мов програмування : навч.посібник для студ. вищ.навч.закладів / В. С. Проценко, П. Й. Чаленко. - К. : Либідь, 1994. - 183 с. - ISBN 5-325-00485-9

Дод. точки доступу:
Чаленко, Павло Йосипович
11.

Шрамченко, Борис Лазаревич
Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 .
Ч. 1 : Формальні мови та граматики, скінчені автомати, лексичний аналіз. - [Б. м.] : [б.в.], 1995. - 68 с.

Дод. точки доступу:
Державна академія легкої промисловості України(Київ)
12.

Жлуктенко, Святослав Володимирович.
Розробка і дослідження формальних процедур системного аналізу для вирішення задач моделювання і прийняття рішень в складних системах з невизначеністю опису : автореф. дис... канд. технічний наук: 05.13.02 / Жлуктенко Святослав Володимирович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1996. - 16 с.

Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)
13.

Резаненко, Володимир Федорович.
Формально- змістові взаємозв"язки елементів сучасної ієрогліфічної писемності : автореф. дис... д-ра філол. наук: 10.02.15 / Резаненко Володимир Федорович ; Київський ун-т ім. Тараса Шевченка. - К., 1996. - 37 с.

Дод. точки доступу:
Київський університет імені Тараса Шевченка
14.

Резаненко, Володимир Федорович.
Формально- змістові взаємозв'язки елементів сучасної ієрогліфічної писемності : дис... д-ра філол. наук: 10.02.15 / Резаненко Володимир Федорович ; Київський ун-т ім. Т.Г.Шевченка. - К., 1996. - 431 с.: табл.

Дод. точки доступу:
Київський університет імені Т. Г. Шевченка
15.

Жлуктенко, Святослав Володимирович.
Розробка і дослідження формальних процедур системного аналізу для вирішення задач моделювання і прийняття рішень в складних системах з невизначеністю опису : дис... канд. технічний наук: 05.13.02 / Жлуктенко Святослав Володимирович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1996. - 219 л.

Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)
16.

Амоша, Александр Иванович.
Логико-формальное моделирование и функциональное прогнозирование общественного производства : препринт / А. И. Амоша, Е. Т. Иванов ; НАН Украины, Ин-т экономики пром-сти. - Донецк : [б.в.], 1997. - 47 с.

Дод. точки доступу:
Иванов, Евгений Тимофеевич; Национальная академия наук УкраиныИнститут экономики промышленности (Донецк)
17.

Степаненко, Микола Іванович.
Взаємодія формально-граматичної і семантичної валентності у структурі словосполучення та речення / М. І. Степаненко ; НАН України, Укр. мовно-інформ. фонд. - К. : [б.в.], 1997. - 216 с. - ISBN 966-02-0297-0

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

Варій, Мирон Йосипович.
Формальні групи військового підрозділу: соціально- психологічний аспект : наук.-метод. посібник / М. Й. Варій ; Державний ун-т "Львівська політехніка". Відділення військової підготовки. - Львів : [б.в.], 1997. - 32 с.

Дод. точки доступу:
Державний ун-т "Львівська політехніка". Відділення військової підготовки
19.

Системная информатика / ред. В. Котов ; РАН. СО, Институт систем информатики. - Новосибирск : ВО "Наука", 1991 .
Вып. 5 : Архитектурные, формальные и программные модели / РАН. СО, Институт систем информатики имени А. П. Ершова ; ред. И. В. Поттосин. - Новосибирск : Наука. Сибирское предприятие РАН, 1997. - 334 с. - (Системная информатика / РАН. СО, Институт систем информатики им. А.П.Ершова). - ISBN 5-02-030697-5

Дод. точки доступу:
Котов, В.Е. \ред.\; Поттосин, И. В. (ред.); РАН. СО; Институт систем информатики имени А. П. ЕршоваРАН. СО; Институт систем информатики
20.

Ніка, Оксана Іванівна.
Дієприслівник у структурі речень староукраїнської мови другої половини XVI- першої половини XVІІ ст. (формально- синтаксичний, семантичний та комунікативний аспекти) : дис... канд. філол. наук: 10.02.01 / Ніка Оксана Іванівна ; Київський ун-т ім. Тараса Шевченка. - К., 1998. - 165 л. - л.154-165

Дод. точки доступу:
Київський університет імені Тараса Шевченка
...
 
Центр бібліотечних електронних ресурсів і технологій

Всі права захищені © Національна бібліотека України імені В. І. Вернадського