91(47)
   П 41


   
    По Москве. Прогулки по Москве и ее художественным и просветительным учреждениям / под ред. Н. А. Гейнике [и др.], Репринт. воспроизвед. изд. М. и С. Сабашниковых. - М. : Изобраз. искусство, 1991. - 672 с. - ISBN 5-85200-251-8 : 15.00 р., 40.00 р.
УДК
Рубрики: География
Кл.слова (ненормированные):
Москва город (история) -- Москва город (путеводитель) -- Путеводители


Доп.точки доступа:
Гейнике, Н. А. \ред.\; Елагин, Н. С. \ред.\; Ефимова, Е. А. \ред.\; Шитц, И. И. \ред.\
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)

   55
   М 150


    Мак-Куиллин, Р.
    Введение в сейсмическую интерпретацию [] / Р. Мак-Куиллин, М. Бекон, У. Барклай ; пер. с англ. Е. А. Ефимова ; ред. А. М. Епинатьева. - Москва : Недра, 1985. - 308 с. : ил. - Библиогр. в конце глав. - Предм. указ.: с. 303-306. - 1.80 р., 1.80 р.
ГРНТИ
УДК
Рубрики: Геология
Кл.слова (ненормированные):
сейсмические волны -- сейсмический импульс -- геофоны -- скважинные наблюдения -- каротажное оборудование -- геофизическая интерпретация -- углеводороды (обнаружение залежей)


Доп.точки доступа:
Бекон, М.; Барклай, У.; Ефимова, Е. А. \пер. с англ.\; Епинатьева, А. М. \ред.\
Экземпляры всего: 2
ЧЗЕ (1), Х (1)
Свободны: ЧЗЕ (1), Х (1)

   55
   К 431


    Кири, П.
    Введение в геофизическую разведку : [учебное пособие] : перевод с английского / П. Кири, М. Брукс ; пер.: Е. А. Ефимова, В. А. Шевнин ; ред. Г. Н. Гогоненков. - Москва : Мир, 1988. - 382 с. : ил. - Библиогр.: с. 366-373. - Предм. указ.: с. 374-379. - ISBN 5-03-000731-8 : 1.20 р., 1.20 р., 4.20 р.
ГРНТИ
УДК
Рубрики: Геология--Учебные издания
Кл.слова (ненормированные):
геофизические данные (обработка) -- сейсморазведка -- волны (сейсмический метод) -- гравиразведка -- магниторазведка -- разведка (методы)


Доп.точки доступа:
Брукс, М.; Ефимова, Е. А. \пер.\; Шевнин, В. А. \пер.\; Гогоненков, Георгий Николаевич \ред.\
Экземпляры всего: 3
ЧЗЕ (1), АБУ (1), Х (1)
Свободны: ЧЗЕ (1), АБУ (1), Х (1)

   55
   Ш 493


   Шерифф, Р.

    Сейсморазведка : [монография учебного характера] : перевод с английского : в 2 т. / Р. Шерифф, Л. Гелдарт ; ред. А. В. Калинин. - Москва : Мир, 1987 - .
   Т. 1 : История, теория и получение данных / пер. Е. А. Ефимова. - 1987. - 448 с. - ). - 4.40 р., 4.40 р.
ГРНТИ
УДК
Рубрики: Геология
   Сейсмический и акустический методы поисков, разведки и зондирования

Кл.слова (ненормированные):
разведочная геофизика -- инженерная геология -- исследования земных недр -- поиск полезных ископаемых -- геометрия сейсмических лучей


Доп.точки доступа:
Гелдарт, Л.; Калинин, А. В. \ред.\; Ефимова, Е. А. \пер.\
Экземпляры всего: 3
АБУ (1), ЧЗЕ (1), Х (1)
Свободны: АБУ (1), ЧЗЕ (1), Х (1)

   55
   Ш 493


   Шерифф, Р.

    Сейсморазведка : [монография учебного характера] : перевод с английского : в 2 т. / Р. Шерифф, Л. Гелдарт ; ред. А. В. Калинин. - Москва : Мир, 1987 - .
   Т. 2 : Обработка и интерпретация данных / пер.: Е. А. Ефимова, М. А. Стор. - 1987. - 400 с. : ил. - ). - 3.90 р., 3.90 р., 3.00 р.
ГРНТИ
УДК
Рубрики: Геология
   Сейсмический и акустический методы поисков и разведки

Кл.слова (ненормированные):
разведочная геофизика -- инженерная геология -- обработка сейсмических данных -- сейсмические волны


Доп.точки доступа:
Гелдарт, Л.; Калинин, А. В. \ред.\; Ефимова, Е. А. \пер.\; Стор, М. А. \пер.\
Экземпляры всего: 3
АБУ (1), ЧЗЕ (1), Х (1)
Свободны: АБУ (1), ЧЗЕ (1), Х (1)

   553
   У 650


    Уотерс, Кеннет Х..
    Отражательная сейсмология: методика отражения волн как инструмент для поисков нефти и газа / К. Х. Уотерс ; пер. с англ. Е. А. Ефимовой ; ред.: А. В. Калинин, Е. Ф. Саваренский. - Москва : Мир , 1981. - 452 с. : ил. + 2 л. ил. - Библиогр. в конце глав. - 4.70 р.
ГРНТИ
УДК
Рубрики: Месторождения полезных ископаемых--Поиски и разведка--Сборники
Кл.слова (ненормированные):
НЕФТЯНЫЕ МЕСТОРОЖДЕНИЯ (ПОИСКИ И РАЗВЕДКА) -- ГАЗОВЫЕ МЕСТОРОЖДЕНИЯ (ПОИСКИ И РАЗВЕДКА) -- СЕЙСМИЧЕСКАЯ РАЗВЕДКА


Доп.точки доступа:
Ефимова, Е. А. \пер.\; Калинин, А. В. \ред.\; Саваренский, Е. Ф. \ред.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   519
   С 781


   
    Статистические методы оценивания и проверки гипотез [Электронный ресурс] : межвузовский сборник научных трудов / Перм. гос. ун-т им. А. М. Горького ; [редкол.: В. М. Кондаков и др.]. - Электрон. текстовые дан. - Пермь : [б. и.], 1986. - 1 on-line. - Загл. с домашней страницы Интернета. - Библиогр. в конце ст. - Б. ц.
    Содержание:
Гальченко, М. В. Минимально-контрастное оценивание с учетом дополнительной информации / М. В. Гальченко, В. А. Гуревич
Ивченко, Г. И. Об оценивании параметров расслоенной конечной совокупности / Г. И. Ивченко
Кондаков, Виталий Михайлович. Об асимптотическом поведении эквивариантных обобщенно байесовых оценок плотности / В. М. Кондаков
Лумельский, Ян Петрович. Предельное поведение распределений вероятностей и оценивание в схеме обобщенных случайных блужданий Пойа / Я. П. Лумельский, Е. Г. Цылова
Лумельский, Ян Петрович. Статистическое оценивание в схеме марковских случайных блужданий / Я. П. Лумельский, В. В. Чичагов
Никулин, В. Н. Модель инвариантного оценивания параметра сдвига на группах / В. Н. Никулин
Сапожников, Павел Николаевич. Единый подход к получению наилучших несмещенных оценок в задачах контроля и линейных моделях / П. Н. Сапожников
Симаков, А. А. Интервальная оценка надежности системы на основе условной функции распределения количества отказов / А. А. Симаков
Абусев, Ракип Ахметович. Вычисление байесовского риска при классификации групп из многомерных совокупностей / Р. A. Абусев
Бернштейн, А. В. Строго мажорирующие критерии в задачах с мешающими параметрами / А. В. Бернштейн
Иванов, В. А. Асимптотика моментов в схеме размещения со случайными уровнями / В. А. Иванов
Кудлаев, Э. М. О разделимых статистиках в схемах одной и двух выборок / Э. М. Кудлаев
Львовский, Я. М. Случайное размещение частиц по ячейкам, отвечающее размещению Пойа / Я. М. Львовский
Тихов, М. С. О предельных распределениях отношения правдоподобия и оценок по цензурированным выборкам / М. С. Тихов
Цуканов, С. В. О мощности статистических критериев в полиномиальной схеме, основанных на обобщенных разделимых статистиках / С. В. Цуканов
Шамилова, Н. М. К расчету планов контроля в моделях с ошибками классификаций / Н. М. Шамилова
Бобров, Н. Е. Стохастические модели однородности / Н. Е. Бобров
Дугина, Т. Н. 0 вычислении функции распределения отношения квадратичных форм от нормальных случайных величин / Т. Н. Дугина, Г. В. Мартынов
Ефимова, Е. А. Предельные свойства порядковых статистик / Е. А. Ефимова
Кущ, И. А. Функция распределения абсолютного максимума случайных гармонических колебаний / И. А. Кущ, Е. С. Переверзев
Орлов, К. Л. Метрика подобия: аксиоматическое введение, асимптотическая нормальность / К. Л. Орлов, Г. В. Раушенбах
Пенская, Марианна Яновна. Применение регуляризирущих операторов в теории статистического оценивания / М. Я. Пенская
Черкасов, И. Д. Статистическое оценивание коэффициентов одной диффузионной динамической системы / И. Д. Черкасов
ГРНТИ
УДК
Рубрики: Математическая статистика--Сборники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- ВЕРОЯТНОСТНО-СТАТИСТИЧЕСКИЕ МОДЕЛИ -- СТАТИСТИЧЕСКАЯ ГИПОТЕЗА (ПРОВЕРКА) -- ТОЧЕЧНОЕ ОЦЕНИВАНИЕ -- ИНТЕРВАЛЬНОЕ ОЦЕНИВАНИЕ

Перейти: Полный текст

Доп.точки доступа:
Кондаков, Виталий Михайлович \ред.\; Пермский государственный университет им. А. М. Горького
Свободных экз. нет

39556

    Ефимова, Е. А.
    Основы программирования на языке Visual Prolog [Электронный ресурс] : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 265 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 32.97

Кл.слова (ненормированные):
visual prolog -- логическое программирование -- управление перебором -- язык запросов -- язык пролог
Аннотация: В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.

Перейти: Перейти к просмотру издания
Свободных экз. нет