Простийпошук |
Розширений пошук |
Абеткові покажчики |
||
| Каталоги бібліотек установ Національної академії наук України | ||||
Бази даних
Інститут теоретичної фізики імені М. М. Боголюбова - результати пошуку
Національна бібліотека України імені В. І. ВернадськогоІнститут археологіїІнститут біоорганічної хімії та нафтохіміїІнститут біохімії імені О. В. ПалладінаІнститут ботанікиімені М. Г. Холодного
Інститут гідробіологіїІнститут географіїІнститут економіки та прогнозуванняІнститут електродинамікиІнститут зоологіїІнститут історії УкраїниІнститут клітинної біології та генетичної інженеріїІнститут літератури імені Т. Г. ШевченкаІнститут математикиІнститут проблем кріобіології і кріомедициниІнститут проблем міцностіімені Г. С. Писаренка
Інститут сходознавства імені А. Ю. КримськогоІнститут теоретичної фізики імені М. М. БоголюбоваІнститут технічної теплофізикиІнститут фізикиІнститут фізики напівпровідниківІнститут фізіології імені О. О. БогомольцяІнститут філософіїІнституту соціології
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | ||
| автором | назвою | роком видання |
| Формат представлення знайдених документів: | ||
| повний | стислий | |
Пошуковий запит: (<.>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 с.. - (Математическая логика и основания математики) | ||
 |
| Інститут теоретичної фізики імені М. М. Боголюбова |