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

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

Бази даних


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


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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (206)Інститут біохімії імені О. В. Палладіна (2)Інститут економіки та прогнозування (7)Інститут електродинаміки (6)Інститут зоології (4)Інститут літератури імені Т. Г. Шевченка (1)Інститут математики (27)Інститут проблем міцності
імені Г. С. Писаренка (2)
Інститут сходознавства імені А. Ю. Кримського (4)Інститут фізики (1)Інститут фізіології імені О. О. Богомольця (1)Інститут філософії (2)Інституту соціології (6)
Формат представлення знайдених документів:
повний стислий
Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>)
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
1.Саломаа А. Жемчужины теории формальных языков / Саломаа А.. - Москва : Мир, 1986. - 159 с.
2.Грис Д. Наука программирования / Грис Д.. - Москва : Мир, 1984. - 416 с.
3.Смальян Р. Теория формальных систем / Смальян Р.. - Москва : Наука, 1981. - 207 с.. - (Математическая логика и основания математики)
4.Итоги науки и техники: Т.10 / Гамкрелидзе Р.В.. - Москва : ВИНИТИ, 1978. - 286 с.. - (Современные проблемы математики)
5.Грис Д. Конструирование компиляторов для цифровых вычислительных машин / Грис Д.. - Москва : Мир, 1975. - 544 с.
6.Гладкий А. В. Элементы математической лингвистики / Гладкий А.В., Мельчук И.А.. - Москва : Наука, 1969. - 192 с.
7.Крилов М. М. Про деякі формальні розклади нелінійної механіки / Крилов М.М., Боголюбов М.М.. - Київ : Вид-цтво ВУАН, 1934. - 87 с.
 
Інститут теоретичної фізики імені М. М. Боголюбова

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