Электронный каталог МУБиНТ - результаты поиска

Базы данных:

Электронный каталог МУБиНТ, г. Ярославль

Электронный каталог МУБиНТ, г. Рыбинск

Центр иностранной литературы

Сводный каталог НТЛ по Ярославской области

"Руконт"-Национальный цифровой ресурс

Электронный каталог выпускных квалификационных работ

Виды поиска:

Стандартный

Расширенный

По словарю

Поиск в найденном

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

Поисковый запрос: (<.>K=ПОСЛЕДОВАТЕЛЬНАЯ<.>)
Общее количество найденных документов : 3 Показаны документы с 1 по 3

1..3

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
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

621.6
Ш 19

    Шаммазов, А. М.
    Основы трубопроводного транспорта нефти и нефтепродуктов [Электронный ресурс] : учебное пособие / А. М. Шаммазов, А. А. Коршак , К. Р. Ахмадуллин. - Электрон. текстовые дан. (6,62 Mb). - Уфа : ДизайнПолиграфСервис, 2000. - Загл. с титул. экрана. - Б. ц.
    Содержание:
Основные сведения о нефти и нефтепродуктах
История развития трубопроводного транспорта
Техника и технология трубопроводного транспорта нефти и нефтепродуктов
Защита трубопроводов от коррозии
Трубопроводный транспорт высоковязких и высокозастывающих нефтей
Последовательная перекачка нефтепродуктов
Источники потерь и мероприятия по их сокращению при транспортировке нефти и нефтепродуктов по трубопроводам

ГРНТИ	55.39
УДК	621.6

ББК 33.36
Рубрики: Нефть--Трубопроводный транспорт
Аннотация: В учебном пособии приводятся основные сведения о происхождении, составе и свойствах нефти, рассмотрена история развития нефтепроводного транспорта, дается классификация трубопроводов, описываются основные объекты, сооружения и системы магистральных нефтепроводов, резервуарные парки и их оборудование, специальные методы перекачки нефти, источники их потерь при транспортировке и хранении, принципы нормирования потерь и методы их сокращения.

Перейти: http://elib.mubint.ru/lib/knigi/Truboprovodnii_transport.pdf
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Коршак , А. А.; Ахмадуллин, К. Р.
Экземпляры всего: 1
Сервер электронной библиотеки (1)
Свободны: Сервер электронной библиотеки (1)
Найти похожие

621.643
Т 77


    Трубопроводный транспорт нефти и газа [Электронный ресурс] : учебник для вузов / Р. А. Алиев [и др.]. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. (5,72 Mb). - М. : Недра, 1988. - : ил. - Загл. с титул. экрана. - Предм. указ. - ISBN 5-247-00064-1 : Б. ц.
    Содержание:
Обоснование строительства и изыскания трасс магистральных трубопроводов
Расчет трубопровода на прочность
Подготовка нефти и газа к транспорту
Технологический расчет магистральных нефтепроводов
Технологический расчет магистральных газопроводов
Последовательная перекачка нефти и нефтепродуктов
Особые случаи перекачки нефтей, нефтепродуктов и газа по трубопроводам
Перекачка высокозастывающих и высоковязких нефтей с подогревом
Эксплуатация магистральных трубопроводов
Техническая диагностика трубопроводных систем

ГРНТИ	55.39
УДК	621.643

ББК 39.7
Рубрики: Нефть--Трубопроводный транспорт
Аннотация: Показана роль трубопроводного транспорта в хозяйстве. Приведены технологические расчеты магистральных газо-, нефте- и нефтепродуктоводов. Рассмотрена перекачка нефтей в смеси с разбавителями, депрессаторами, поверхностно-активными веществами, а также перекачка нестабильного конденсата и широкой фракции легких углеводородов.

Перейти: http://elib.mubint.ru/lib/knigi/Trubopr_transport_neft_i_gaz_Aliev.pdf
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Алиев, Р. А.; Белоусов, В. Д.; Немудров, А. Г.; Юфин, В. А.
Экземпляры всего: 1
Сервер электронной библиотеки (1)
Свободны: Сервер электронной библиотеки (1)
Найти похожие

1..3