Пошуковий запит: (<.>K=ТЕОРИ$<.>+<.>K=ФОРМАЛЬН$<.>+<.>K=ЯЗЫК$<.>+<.>K=ГРАММАТИК$<.>+<.>K=ПРОГРАММИРОВАНИ$<.>+<.>K=ПРЕДИКАТ$<.>) |
Загальна кількість знайдених документів : 239
Представлено документи з 1 до 20
|
| |
1. |
Теория и практика управления водными ресурсами суши. / Отв. ред. Г.В. Воропаев, С.Л. Вендров. АН СССР, Науч. совет по проблемам биосферы. - М. : Наука, 1985. - 151 с. - Б. ц.
|
2. |
Экология-народонаселение-расселение: теория и политика. : тезисы докладов VI Всесоюзного совещания по проблемам теории и практики взаимодействия экологии, народонаселения и расселения (Грозный, сент. 1989 г.) / АН СССР. Геогр. о-во СССР; Отв. ред. О.П. Литовка и др. - Л. : ГО СССР, 1989. - 193 с. - Б. ц.
|
3. |
Мороз, А. И. Курс теории систем. : учеб. пособие для вузов. / А. И. Мороз. - М. : Высшая школа, 1987. - 304 с. - Б. ц.
|
4. |
Замулин, А. В. Системы программирования баз данных и знаний / А. В. Замулин ; отв. ред. В. Е. Котов ; АН СССР. Сиб. отд-ние. Вычислительный центр. - Новосибирск : Наука, 1990. - 352 с. - ISBN 5-02-029673-2 : Б. ц.
Держатели документа: Інститут географії НАН України : Київ, вул. Володимирська, 44 Дод. точки доступу: Котов, В. Е. (отв. ред.)
|
5. |
Булах, Евгений Георгиевич. Основы векторного анализа и теория поля. : учеб. пособие. / НАН Украины. Ин-т геофизики им. С.И. Субботина. ; НАН Украині. Ин-т геофизики им. С. И. Субботина. - К. : Наукова думка, 1998. - 360 с. - ISBN 966-00-0170-3 : Б. ц.
Дод. точки доступу: Шуман, Владимир Николаевич; НАН Украині. Ин-т геофизики им. С. И. Субботина
|
6. |
Абрамов, С. А. Начала програмирования на языке паскаль. / С. А. Абрамов. - Москва : Наука; Главная редакция физико-математической литературы., 1987. - 111 с. - Б. ц.
Дод. точки доступу: Зима, Е.В.
|
7. |
Брандт, Дж. Солнечный ветер. Введение в проблему : переводное издание / Дж. Брандт ; Пер. с англ.; Под ред. К. И. Грингауза. - М. : Мир, 1973. - 207 с. - Б. ц.
Анотація: В книге изложены современные представления о солнечном ветре - потоке частиц, испускаемых Солнцем и заполняющих межпланетное пространство. После краткого историческог введения автор знакомит читателя с физикой Солнца. Затем следует изложение существующих моделей и теорий солнечного ветра и рассматриваются методы измерения - как космические наземные (наблюдения хвостов комет, радиолокация, радиоизлучение Солнца, космические лучи), так и прямые исследования плазмы и магнитных полей в межпланетном пространстве. Рассмотрены различные аспекты взаимодействия солнечного ветра с телами солнечной системы. В заключение приводятся различные астрофизические приложения. Книга весьма интересна и полезна как начинающим исследователям, так и специалистам астрономам, физикам, геофизикам, радиофизикам Дод. точки доступу: Грингауз, К. И. (ред.)
|
8. |
Еремеев, В. Ф. Теория высот в гравитационном поле Земли / В. Ф. Еремеев. - М. : Недра, 1971. - 144 с. - Б. ц.
|
9. |
Дробышев, Ф. В. Основы аэрофотосъемки и фотограмметрии : учебник для вузов. - Изд. 3-е, доп. / Ф. В. Дробышев. - М. : Недра, 1973. - 287 с. - Б. ц.
Анотація: В книге излагаются основные методы и процессы работ по созданию топографических карт при посредстве воздушных и наземных фотоснимков. В ней рассмотрены теория и устройство основных аэрофотосъемочных, фотограмметрических и стереофотограмметрических приборов. Уделено внимание универсальным стереофотограмметрическим приборам с фотопечатающими устройствами. Предназначена для студентов оптико-механической специальности институтов инженеров геодезии, аэрофотосъемки и картографии |
10. |
Модели полей в географии: теория и опыт картографирования. / Отв. ред. Ю.П. Михайлов; АН СССР. Сиб. отд-ние. Ин-т географии. - Новосибирск : Наука, 1989. - 144 с. - ISBN 5-02-028922-1 : Б. ц.
Дод. точки доступу: Червяков, В.А.; Черванец, И.Г.; Кренке, А.Н.
|
11. |
Українське географічне товариство. . Системное картографирование природы и хозяйства Украинской ССР (теория, опят, задачи). : сб. науч. тр. / Редкол.: Золовский А.П. (отв. ред.) и др.; АН УССР, Геогр. о-во УССР. - К. : Наукова думка, 1985. - 235 с. - Б. ц.
|
12. |
Тематическое картографирование: Теория, методы, практика. / Отв. ред. В.В. Воробьев, Б.А. Богоявленский. - Новосибирск : Наука, 1985. - 200 с. - Б. ц.
|
13. |
Сингер, С. Природа шаровой молнии : переводное издание / С. Сингер ; Пер. с англ. П. С. Гурова и В. В. Рыбина ; под ред. А. М. Комелькова. - М. : Мир, 1973. - 239 с. - Пер. изд. : The nature of ball lightning / S. Singer. - New York, 1971. - Б. ц.
Анотація: Книга содержит довольно полный обзор существующих наблюдений и теорий одного из удивительных явлений природы - шаровой молнии, до сих пор не получившего общепринятого объяснения. ??Автор знакомит читателя со свидетельствами многочисленных очевидцев, обсуждает вопрос о реальности явления ШМ, суммирует ее характерные особенности, вытекающие из наблюдений, кратко и популярно разбирает все (на год написания книги!) имеющиеся теории ШМ. ??Книга представляет интерес для лиц, работающих в области атмосферного электричества и разрядов в газах, а также для читателей, интересующихся различными проблемами науки Держатели документа: Институт географии НАН Украины : Киев, ул. Владимирская, 44 Дод. точки доступу: Гуров, П. С. (пер.); Рыбин, В. В. (пер.); Комельков, А. М. (ред.); Singer, S.
|
14. |
Павловский, М. А. Теоретическая механика. Динамика : учебник / М. А. Павловский, Л. Ю. Акинфиева, О. Ф. Бойчук ; под общ. ред. М. А. Павловского. - К. : Вища школа, 1990. - 480 с. : ил. - ISBN 5-11-001856-1 : Б. ц. Рубрики: Механика--Теоретическая механика Кл.слова: Динамика -- твердое тело -- аналитическая механика -- механика -- теоретическая механика -- теория колебаний Анотація: В учебнике изложены основы динамики материальной точки, системы материальных точек и абсолютно твердого тела, а также элементы аналитической механики и теории колебаний. Приведены методические указания к решению задач основных типов, которые иллюстрируются конкретными примерами, в том числе с использованием ЭВМ. Даны вопросы для самоконтроля. Для студентов технических вузов всех форм обучения как с полной, так и сокращенной программой по теоретической механике Держатели документа: Інститут географії НАН України : Київ, вул. Володимирська, 44 Дод. точки доступу: Акинфиева, Л.Ю.; Бойчук, О.Ф.; Павловский, М. А. (ред.)
|
15. |
Кулиев, Г.Г. оглы Основы математической теории устойчивости сважин. / АН АзССР. Ин-т математики и механики. - Баку : ЭЛМ, 1988. - 170 с. - Б. ц.
|
16. |
Фекличев, В. Г. Диагностика минералов. Теория, методика, автоматизация / В. Г. Фекличев ; АН СССР. М-во геологии СССР. Ин-т минералов, геохимии и кристаллохимии редких элементов. - М. : Наука, 1975. - 350 с. - Б. ц.
Держатели документа: Інститут географії НАН України : Київ, вул. Володимирська, 44 |
17. |
Кудрявцев, Ю. И. Теория поля и ее применение в геофизике. : учебник для вузов. / Ю. И. Кудрявцев. - Л. : Недра, 1988. - 335 с. - ISBN 5-247-00323-3 : Б. ц.
|
18. |
Субботин, Серафим Иванович. Вопросы гравиметрии исследования земной коры и мантии. Теория тектогенеза : избр. тр. / С. И. Субботин ; АН УССР, Ин-т геофизики им. С. И. Субботина. - К. : Наукова думка, 1979. - 474 с. - Б. ц.
Держатели документа: Інститут географії НАН України : Київ, вул. Володимирська, 44 |
19. |
Круть, Игорь Васильевич. Введение в общую теорию Земли : уровни организации геосистем / И. В. Круть ; авт. послесл.: Б. С. Соколов, С. В. Мейен. - М. : Мысль, 1978. - 367 с. - Б. ц.
Держатели документа: Інститут географії НАН України : Київ, вул. Володимирська, 44 Дод. точки доступу: Соколов, Б. С. (авт. послесл.); Мейен, С. В. (авт. послесл.)
|
20. |
Войткевич, Г. В. Основы теории происхождения Земли. / Г. В. Войткевич. - М. : Недра, 1988. - 112 с. - Б. ц.
|
| |