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

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

Бази даних


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


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

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


Итоги науки и техники: Т.10 / Гамкрелидзе Р.В. - Москва : ВИНИТИ, 1978. - 286 с. - (Современные проблемы математики). - Б. ц.

Кл.слова: алгебраическая топология теория формальных групп Ли -- алгебраическая -- топология -- теория -- формальных -- групп -- ли

Дод. точки доступу:
Гамкрелидзе, Р. В.
2.

Гладкий, А. В.
Элементы математической лингвистики / Гладкий А.В., Мельчук И.А. - Москва : Наука, 1969. - 192 с. - Б. ц.

Кл.слова: Математическая лингвистика формальные грамматики порождающие  -- математическая -- лингвистика -- формальные -- грамматики -- порождающие

Дод. точки доступу:
Мельчук, И. А.
3.

Грис, Д.
Конструирование компиляторов для цифровых вычислительных машин / Грис Д. - Москва : Мир, 1975. - 544 с. - Б. ц.

Кл.слова: Компиляторы цифровые вычислительные машины теория формальных языков грамматика  -- компиляторы -- цифровые -- вычислительные -- машины -- теория -- формальных -- языков -- грамматика
4.

Грис, Д.
Наука программирования / Грис Д. - Москва : Мир, 1984. - 416 с. - Б. ц.

Кл.слова: теория формальных языков грамматика программирование предикаты  -- теория -- формальных -- языков -- грамматика -- программирование -- предикаты
5.

Крилов, М. М.
Про деякі формальні розклади нелінійної механіки / Крилов М.М., Боголюбов М.М. - Київ : Вид-цтво ВУАН, 1934. - 87 с. - Б. ц.

Кл.слова: Нелінійна механіка формальні розклади -- нелінійна -- механіка -- формальні -- розклади

Дод. точки доступу:
Боголюбов, М. М.
6.

Саломаа, А.
Жемчужины теории формальных языков / Саломаа А. - Москва : Мир, 1986. - 159 с. - Б. ц.

Кл.слова: Теория формальные языки вычислительная математика -- теория -- формальные -- языки -- вычислительная -- математика
7.

Смальян, Р.
Теория формальных систем / Смальян Р. - Москва : Наука, 1981. - 207 с. - (Математическая логика и основания математики). - Б. ц.

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

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