Electronic catalog
Start with Т
theme:Математика и естественные науки
Search result:
581-590 of 802
not specified
Теория вычислимости и языки спецификаций : сб. науч. тр. / ... – Новосибирск : Ин-т математики СО РАН, 1991. - 194 с., ил.;– (Вычислительные системы, 139. . . – 5-7623-0102-8
UDC:
510.6
Shelf code:
Л 2007/4766
Subject headings
- Математическая логика
Annotation
В сборник входят работы по проблемам семантического программирования и теории вычислимости, касающиеся проблем семантики, описания выразительных возможностей
Keywords
математическая логика, теория вычислимости, вычислительные системы, языки спецификаций, семантика, язык высокого уровня, логическое программирование
4/4 Free
not specified
Теория графов и ее приложения : сб. науч. тр. / ... – Новосибирск : Ин-т математики СО РАН, 1994. - 120 с., ил., табл.;– (Вычислительные системы, 151. . . – 5-86134-011-0
UDC:
519.17
Shelf code:
Л 2007/4782
Subject headings
- Теория графов
Annotation
Сборник содержит статьи по теории графов и ее химическим приложениям
Keywords
вычислительные системы, теория графов, сборники научных трудов
2/2 Free
not specified
Теория графов и ее применения : сб. науч. тр. / ... – Новосибирск : Ин-т математики СО РАН, 1996. - 106 с., ил., табл.;– (Вычислительные системы, 155. . . – не указан
UDC:
519.17
Shelf code:
Л 2007/4791
Subject headings
- Теория графов
Annotation
Работы сборника посвящены теоретическим и прикладным вопросам теории графов и топологии многообразий низших размерностей
Keywords
вычислительные системы, теория графов, сборники научных трудов
2/2 Free
not specified
Теория звездных спектров / ... – М. : Наука, Гл. ред. физ.-мат. лит., 1966. - 388 с., ил., табл.; . – Библиогр.: с.384-388 .
UDC:
524-355
Shelf code:
Л 2008/4543
Subject headings
- Звездные спектры
Annotation
Книга включает пять разделов: "Физические процессы, связанные с образованием спектров", "Теория переноса излучения", "Спектры стационарных звезд", "Спектры нестационарных звезд и межзвездной среды" и "Спектры небесных тел в далекой ультрафиолетовой области"
Keywords
звездные спектры, теория звездных спектров, звезды, спектроскопия плазмы, звездная система
1/1 Free
not specified
Теория и информационная технология моделирования безопасности сложных систем ; под ред. И. А. Рябинина и Е. Д. Соложенцева ; РАН, Ин-т проблем машиноведения – Препр. 109 ,- СПб. : ИПМаш РАН , 1994. – не указан Вып. 3 .– 82 c., ил. .
UDC:
519.87:004
Shelf code:
Л 2007/3021
Subject headings
- Математические модели исследования операций в информационных технологиях
Annotation
Описаны интеллектуальные АРМ и другие компоненты интегрированной системы автоматизированного моделирования безопасности структурно сложных систем
Keywords
информационные технологии, безопасность сложных систем, автоматизированное моделирование безопасности
2/2 Free
not specified
Теория и информационная технология моделирования безопасности сложных систем ; под ред. И. А. Рябинина ; РАН, Ин-т проблем машиноведения – Препр. 109 ,- СПб. : [Б. и.] , 1994. Вып. 2 .– 88 c., ил. .
UDC:
519.87:004
Shelf code:
Л 2007/4262
Subject headings
- Математические модели исследования операций в информационных технологиях
Annotation
Рассматриваются пути решения проблем: большой размерности задачи автоматизированного логико-вероятностного моделирования
Keywords
информационные технологии, безопасность сложных систем, автоматизированное логико-вероятностное моделирование, автоматизированное моделирование безопасности
2/2 Free
not specified
Теория и информационная технология моделирования безопасности сложных систем ; под ред.: И. А. Рябинина, Е. Д. Соложенцева ; РАН, Ин-т проблем машиноведения – Препр. 110 ,- СПб. : [Б. и.] , 1994. Вып. 4 .– 83 c., ил. .
UDC:
519.87:004
Shelf code:
Л 2007/4263
Subject headings
- Математические модели исследования операций в информационных технологиях
Annotation
Рассмотрены соотношения свойств надежность-живучесть и аварийность-опасность для структурно сложных систем и даны соответствующие определения этих и других свойств
Keywords
информационные технологии, безопасность сложных систем, автоматизированное логико-вероятностное моделирование, автоматизированное моделирование безопасности
2/2 Free
not specified
Теория и практика геолого-геофизических исследований и разработки морских месторождений нефти и газа : (на примере Южно-Каспийской Впадины) ; [М. Т. Абасов [и др.]] ; АН Азербайджана ; Ин-т проблем глубинных нефтегазовых месторождений- Баку : Элм , 1991. – не указан Т. I .– 428 с.
UDC:
553.98.08
Shelf code:
Л 2006/12373
Subject headings
- Исследование месторождений углеводородов
Annotation
В работе рассматриваются актуальные вопросы геолого-геофизических исследований: литостратиграфические и тектонические особенности месторождений и др.
Keywords
геолого-геофизические исследования, морские нефтегазовые месторождения, месторождения нефти, месторождения газа
1/1 Free
not specified
Теория и практика электромагнитных методов геофизических исследований : сб. науч. тр. / ... – Екатеринбург : Наука, 1992. - 176 с., ил.; . . – 5-7691-0211-Х
UDC:
550.837.21
Shelf code:
Л 2007/4409
Subject headings
- Электромагнитные исследования в геофизике
Annotation
В книге описываются новые приемы и результаты применения электромагнитных методов для поиска проводящих рудных залежей, исследования электропроводности осадочных отложений в околовыработочном пространстве, выявления зон развития песчанных грунтов в глинистых отложениях, изучения глубины залегания многолетнемерзлых пород в районах Крайнего Севера, оценки загрязнения воды тяжелыми металлами в поверхностных водоемах.
Keywords
электромагнитное поле, зондирование дистанционное, геофизика, качества воды, физическое моделирование, электроразведочные сигналы, природные катастрофы, загрязнение воды
2/2 Free
not specified
Теория механизмов и механика машин : учеб. для втузов / . – 4-е изд., испр. .. – М. : Высш. шк., 2003. - 496 с., ил.; . . – 5-06-003118-7 (в пер.)
UDC:
531.8:621.01(075.8)
Shelf code:
Л 2005/6336
Subject headings
- Теория машин и механизмов
- Теория машиностроения (машиноведение)
Annotation
Изложены общие методы определения кинематических и динамических характеристик механизмов, машин и систем машин, расчет механизмов с учетом упругости звеньев и др.
Keywords
проектирование механизмов и машин, строение механизмов, кинематические характеристики механизмов, силовой расчет механизмов, исследование движения машины, методы синтеза механизмов, цилиндрическая зубчатая передача, многозвенные зубчатые механизмы, кулачковые механизмы, согласование движения механизмов, машины с жесткими звеньями, уравновешивание механизмов, виброактивность и виброзащита машин, пространственные зубчатые передачи, манипуляционные роботы
1/1 Free
ТЕОРИЯ ВЫЧИСЛИМОСТИ И ЯЗЫКИ СПЕЦИФИКАЦИЙ (1991)
not specified
4/4 Free
ТЕОРИЯ ГРАФОВ И ЕЕ ПРИЛОЖЕНИЯ (1994)
not specified
2/2 Free
ТЕОРИЯ ГРАФОВ И ЕЕ ПРИМЕНЕНИЯ (1996)
not specified
2/2 Free
ТЕОРИЯ ЗВЕЗДНЫХ СПЕКТРОВ (1966)
not specified
1/1 Free
ТЕОРИЯ И ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ МОДЕЛИРОВАНИЯ БЕЗОПАСНОСТИ СЛОЖНЫХ СИСТЕМ (1994)
not specified
2/2 Free
ТЕОРИЯ И ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ МОДЕЛИРОВАНИЯ БЕЗОПАСНОСТИ СЛОЖНЫХ СИСТЕМ (1994)
not specified
2/2 Free
ТЕОРИЯ И ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ МОДЕЛИРОВАНИЯ БЕЗОПАСНОСТИ СЛОЖНЫХ СИСТЕМ (1994)
not specified
2/2 Free
ТЕОРИЯ И ПРАКТИКА ГЕОЛОГО-ГЕОФИЗИЧЕСКИХ ИССЛЕДОВАНИЙ И РАЗРАБОТКИ МОРСКИХ МЕСТОРОЖДЕНИЙ НЕФТИ И ГАЗА (1991)
not specified
1/1 Free
ТЕОРИЯ И ПРАКТИКА ЭЛЕКТРОМАГНИТНЫХ МЕТОДОВ ГЕОФИЗИЧЕСКИХ ИССЛЕДОВАНИЙ (1992)
not specified
2/2 Free
ТЕОРИЯ МЕХАНИЗМОВ И МЕХАНИКА МАШИН (2003)
not specified
1/1 Free