Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>A=Препарата, $<.>

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Кибернетический сборник [Текст] : новая серия / под ред.: А. А. Ляпунова, О. Б. Лупанова. - М. : Изд-во "Мир", 1965 - .
Вып. 7 : сб. пер. / Н. Д. Слоен [и др.] ; пер. Б. С. Цибакова. - 1970. - 237 с. : ил., черт. ; 22 см. - Библиогр. в конце ст. - 1.24 р.

ГРНТИ	28.01
УДК	62-50

Рубрики: Кибернетика

Кл.слова (ненормированные):
ТЕОРИЯ КОДИРОВАНИЯ -- СИНТЕЗ ЛОГИЧЕСКИХ УСТРОЙСТВ -- ТЕОРИЯ ГРАФОВ -- МАШИННОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- ДИНАМИЧЕСКИЕ СИСТЕМЫ
Аннотация: В сборнике представлены работы по теории кодирования, синтезу логических устройств, теории графов, а также статьи по вопросам машинного доказательства теорем, алгоритме моделирования динамических систем.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Пирс, Д.
Препарата, Ф. П.
Клейтмен, Д.
Спимра, Ф. М.
Габидулина, Э. М.
Ляпунова, А. А. \\ред.\\
Лупанов, О. Б. \\ред.\\
Найти похожие

Кибернетический сборник [Текст] : новая серия / под ред. О. Б. Лупанова. - М. : Изд-во "Мир", 1965 - .
Вып. 20 : сб. ст.: пер. с англ. / Д. Маллер [и др.]. - 1983. - 224 с. : ил. ; 22 см. - Библиогр. в конце ст. - 2.10 р.

ГРНТИ	28.01
УДК	007

Рубрики: Кибернетика

Кл.слова (ненормированные):
ВЫПУКЛЫЕ МНОГОГРАННИКИ -- ЧИСЛО УМНОЖЕНИЙ -- ВЫЧИСЛЕНИЕ МНОГОЧЛЕНОВ -- СЛОЖНОСТНЫЕ РЕЗУЛЬТАТЫ -- АЛЬТЕРНИРОВАНИЕ -- СЛУЧАЙНЫЕ ВЕЛИЧИНЫ -- ВЫЧИСЛИТЕЛЬНАЯ ГЕОМЕТРИЯ -- ТЕОРЕТИЧЕСКАЯ КИБЕРНЕТИКА -- ТЕОРИЯ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ
Аннотация: В выпуске содержатся обзорные статьи и оригинальные работы известных зарубежных ученых по наиболее актуальным проблемам теоретической кибернетики. Большой интерес представляют статьи Д. Маллера и Ф. Препараты по проблемам вычислительной геометрии.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Маллер, Д.
Препарата, Ф.
Шнорр, К.
Хайнц, И.
Лупанов, О. Б. \\ред.\\
Найти похожие

    Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / под ред. О. Б. Лупанова. - Москва : Мир, 1965 - . - (Новая серия).
   Вып. 21. - 1984. - 263, [1] с. - Библиогр. в конце ст. - (в пер.) : 2.50 р.
    Содержание:
Храпченко, В. М. Нижние оценки сложности схем из функциональных элементов : обзор / В. М. Храпченко. - С .3-54
Препарата, Ф. Нахождение пересечения n полупространств за время 0 (n log n) / Ф. Препарата, Д. Маллер. - С .55-68
Вегенер, И. Булевы функции, чья монотонная сложность имеет величину порядка n2/log n / И. Вегенер. - С .69-84
Дельсарт, Ф. Нумераторы спектра для некоторых кодов над целочисленными алфавитами, исправляющих аддитивные ошибки / Ф. Дельсарт, Ф. Пире. - С .85-104
Франкл, П. О семействах Шпернера, удовлетворяющих дополнительному условию / П. Франкл. - С .105-116
Пауль, В. Оценка памяти для одной игры на графах / В. Пауль, Р. Э. Тарьян, Д. Р. Селони. - С .117-132
Пауль, В. О соотношении времени и памяти в игре в камни / В. Пауль, Р. Э. Тарьян. - С .133-138
Плейстид, Д. А. Доказательство теорем с помощью абстракций / Д. А. Плейстид. - С .139-212
Зикманн, Й. Универсальная унификация и классификация эквациональных теорий / Й. Зикманн, П. Сабо. - С .213-234
Воз, Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем / Л. Воз. - С .235-263

ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
абстракции -- автоматическое доказательство теорем -- булевы функции -- эквациональные теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Лупанов, О. Б. \\ред.\\
Найти похожие

    Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / под ред. О. Б. Лупанова. - Москва : Мир, 1965 - . - (Новая серия).
   Вып. 24 : Сборник статей. - 1987. - 230 с. - Библиогр. в конце ст. - 2.50 р.
    Содержание:
Ли, Д. Вычислительная геометрия / Д. Ли, Ф. Препарата
Вэльянт, Л. Простые монотонные формулы для функции голосования / Л. Вэльянт
Коэн, Х. Проверка чисел на простоту и суммы Якоби / Х. Коэн, Х. Лентстра
Ленстра, Х. Делители в классах вычетов / Х. Ленстра
Юбо, К. Сильно регулярные графы / К. Юбо
Браувер, А. Е. Сильно регулярные графы и частичные геометрии / А. Е. Браувер, П. Х. Ван Линт

ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
Якоби суммы -- вычислительная геометрия -- дискретный анализ -- проверка чисел -- простые монотонные формулы -- сильно регулярные графы -- суммы Якоби -- теория графов -- теория кодирования -- теория сложности -- частичные геометрии
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Лупанов, О. Б. \\ред.\\
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)