Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (1)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=МАКСИМАЛЬНЫЕ<.>)
Общее количество найденных документов
:
7
Показаны документы
с 1 по 7
1..7
1.
681.3
Я41
Язык Пролог в
пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. -
ISBN
5-03-000537-4 : 2.60 р.
Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные
унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
50.05.09
УДК
681.3
681.3.06
ББК
22.18
Рубрики:
Информатика--Языки программирования
Аннотация:
Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
2.
517.5
К60
Колмогоров, А. Н.
Элементы теории функций и функционального анализа [Текст] : учебник для вузов / А.Н. Колмогоров, С.В. Фомин. - 4-е изд., перер. - М. : Наука , 1976. - 544 с. : ил. - Библиогр.: с.529 . -Предм. указ.: с. 531. - (в пер.) : 1.28 р.
ГРНТИ
27.25
УДК
517.5
Кл.слова (ненормированные):
теория множеств
--
МЕТРИЧЕСКИЕ
--
ТОПОЛОГИЧЕСКИЕ
--
ПРОСТРАНСТВА
--
НОРМИРОВАННЫЕ
--
ЛИНЕЙНЫЕ
--
ФУНКЦИОНАЛЫ
--
ОПЕРАТОРЫ
--
ИЗМЕРИМЫЕ
--
ФУНКЦИИ
--
НЕОПРЕДЕЛЕННЫЙ
--
интеграл Лебега
--
теория дифференцирования
--
ТРИГОНОМЕТРИЧЕСКИЕ ряды
--
преобразование Фурье
--
уравнение Фредгольма
--
уравнение Вольтерра
--
функция Эрмита
--
теорема Планшереля
--
теорема Винера
--
оператор Фредгольма
--
детерминанты
--
БАНАХОВЫ алгебры
--
леммы
--
МАКСИМАЛЬНЫЕ
идеалы
--
метод Ньютона
--
формула Тейлора
--
теорема Люстерника
--
СПЕКТРАЛЬНЫЙ радиус
--
ОБРАТНЫЙ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Фомин, С.В.
Свободных экз. нет
Найти похожие
3.
517.5
К60
Колмогоров, А. Н.
Элементы теории функций и функционального анализа [Текст] : учебник для вузов / А.Н. Колмогоров, С.В. Фомин. - 3-е изд., перер. - М. : Наука , 1972. - 496 с. : ил. - Библиогр.: с.488 . -Предм. указ.: с. 490. - (в пер.) : 1.26 р.
ГРНТИ
27.25
УДК
517.5
Кл.слова (ненормированные):
теория множеств
--
МЕТРИЧЕСКИЕ
--
ТОПОЛОГИЧЕСКИЕ
--
ПРОСТРАНСТВА
--
НОРМИРОВАННЫЕ
--
ЛИНЕЙНЫЕ
--
ФУНКЦИОНАЛЫ
--
ОПЕРАТОРЫ
--
ИЗМЕРИМЫЕ
--
ФУНКЦИИ
--
НЕОПРЕДЕЛЕННЫЙ
--
интеграл Лебега
--
теория дифференцирования
--
ТРИГОНОМЕТРИЧЕСКИЕ ряды
--
преобразование Фурье
--
уравнение Фредгольма
--
уравнение Вольтерра
--
функция Эрмита
--
теорема Планшереля
--
теорема Винера
--
оператор Фредгольма
--
детерминанты
--
БАНАХОВЫ алгебры
--
леммы
--
МАКСИМАЛЬНЫЕ
идеалы
--
метод Ньютона
--
формула Тейлора
--
теорема Люстерника
--
СПЕКТРАЛЬНЫЙ радиус
--
ОБРАТНЫЙ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Фомин, С.В.
Свободных экз. нет
Найти похожие
4.
621.83
Л47
Леонов, А. И.
Механические бесступенчатые нефрикционные передачи непрерывного действия [Текст] : производственно-практическое издание / А.И. Леонов, А.Ф. Дубровский. - М. : Машиностроение, 1984. - 192 с. : граф., рис., табл. - Библиогр.: с.187 . - 0.70 р.
ГРНТИ
55.03.45
УДК
621.83
Кл.слова (ненормированные):
ВАРИАТОРЫ
--
ТРАНСФОРМАТОРЫ
--
ТОРЦОВЫЕ
--
ШАЙБЫ
--
ВРАЩАЮЩИЕСЯ
--
НЕВРАЩАЮЩИЕСЯ
--
ЗУБЧАТЫЕ
--
МАТЕМАТИЧЕСКАЯ
--
МОДЕЛЬ
--
ТЕОРИЯ
--
РАСЧЕТ
--
ПРЕОБРАЗОВАТЕЛИ
--
ВИБРОПРИВОДЫ
--
МАКСИМАЛЬНЫЕ
--
НАГРУЗКИ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Дубровский, А.Ф.
Свободных экз. нет
Найти похожие
5.
621.83
Л47
Леонов, А. И.
Бесступенчатые рычажно - фрикционные передачи [Текст] : производственно-практическое издание / А.И. Леонов, Н.П. Ефимов. - М. : Машиностроение, 1987. - 136 с. : граф., рис. - Библиогр.: с.133. - 0.45 р.
ГРНТИ
55.03.45
УДК
621.83
Кл.слова (ненормированные):
ЗАКЛИНИВАНИЕ
--
РАСКЛИНИВАНИЕ
--
ВАРИАТОРЫ
--
ЗАЦЕПЛЕНИЕ
--
ЗАХВАТЫ
--
НАГРУЗОЧНАЯ
--
СПОСОБНОСТЬ
--
ПРОЧНОСТЬ
--
ГАБАРИТЫ
--
ПОТЕРИ
--
ЭНЕРГИЯ
--
ИСПЫТАНИЯ
--
МАКСИМАЛЬНЫЕ
--
НАГРУЗКИ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Ефимов, Н.П.
Свободных экз. нет
Найти похожие
6.
514.7
Д50
Дифференциальная геометрия, группы
Ли и механика. 10 [Текст] : сборник научных трудов / Ред. Л.Д. Фаддеев. - Л. : Наука , 1989. - 172 с. : ил. - (Записки научных семинаров ЛОМИ ; том 172). - Библиогр. в конце ст. - 1.90 р.
ГРНТИ
27.21.19
УДК
514.7
Кл.слова (ненормированные):
формула крюков
--
ТОЖДЕСТВА
--
РАССЛОЕНИЕ
--
алгебра инвариантов
--
интегралы
--
уравнение Эйлера
--
многоподрешеточное
--
уравнение Ландау - Лифшица
--
метод Дринфельда - Белавина
--
тензорные
--
КАНОНИЧЕСКИЕ поля
--
МАКСИМАЛЬНЫЕ
представления
--
уравнение Гельфанда - Левитана - Марченко
--
треугольник
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Фаддеев, Л.Д. \ред.\
Свободных экз. нет
Найти похожие
7.
514.1
К85
Крыжановский, Д. А.
Изопериметры.
Максимальные
и минимальные свойства геометрических фигур [Текст] : научно-популярная литература / Д.А. Крыжановский; Ред. И.М. Яглом. - 3-е изд. - М. : Гос. изд-во физико-математической литературы , 1959. - 115 с. : рис. - Библиогр.: с. 114-115. - 0.18 р.
Приложение: с. 108-113
ГРНТИ
27.21
УДК
514.1
Кл.слова (ненормированные):
ЭКСТРЕМАЛЬНЫЕ
--
ЭЛЕМЕНТЫ
--
ОБРАТНЫЕ
--
ТЕОРЕМЫ
--
МНОГОУГОЛЬНИКИ
--
ДОКАЗАТЕЛЬСТВО КАРАТЕОДОРИ
--
ПРОСТРАНСТВЕННАЯ
--
ИЗОПЕРИМЕТРИЯ
--
ЗАДАЧА КРАМЕРА
--
ЗАДАЧА ЛЮИЛЬЕ
--
ШТЕЙНЕР Я.
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Яглом, И.М. \ред.\
Свободных экз. нет
Найти похожие
1..7