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

Базы данных:

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

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

Виды поиска:

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

Найдено в других БД:

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

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

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

1..7

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)
Найти похожие

621.6
Ш 19

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

ГРНТИ	55.39
УДК	621.6

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

Перейти: Полный текст
Держатели документа:
МУБиНТ

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

621.382
У51

Ульрих, В. А.
Микроконтроллеры PIC 16C7X. Семейство 8-разрядных КМОП микроконтроллеров с аналого-цифровым преобразователем [Текст] : материал технической информации / В.А. Ульрих; Ред. С.Л. Корякин-Черняк . - 2-е, доп. и перераб. изд. - СПб. : Наука и техника, 2002. - 320 с. : рис., схемы, табл. - (Электронные компоненты). - ISBN 5-94387-060-1 : 76.51 р.
приложения, с.309-319

ГРНТИ	47.33.31
УДК	621.382

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Корякин-Черняк, С.Л. \ред.\
Свободных экз. нет
Найти похожие

621.746
Б20

Баландин, Г. Ф.
Формирование кристаллического строения отливок. Кристаллизация в литейной форме [Текст] : научное издание / Г.Ф. Баландин. - 2-е изд., испр. и доп. - М. : Машиностроение, 1973. - 288 с. : ил. - Алф. указ.: с.282-284. -Библиогр.: с. 274-281. - (в пер.) : 2.07 р.

ГРНТИ	55.15.09
УДК	621.746

Кл.слова (ненормированные):
ТЕОРИЯ -- КРИСТАЛЛИЗАЦИИ -- МЕТАЛЛОВ -- Данилова В.И. -- Иванцова -- Саратовкина -- Уолкера -- Добаткина -- Гаген 0 Торна -- Хворинова -- Чалмерса -- Чернова Д.К. -- НЕИЗОТЕРМИЧЕСКАЯ -- ОБЪЕМНАЯ -- ПОСЛЕДОВАТЕЛЬНАЯ -- ВИБРАЦИОННЫЙ -- метод литья -- УЛЬТРАЗВУК -- ПЕРЕМЕШИВАНИЕ -- РАСПЛАВА -- СЛИТКИ -- ИЗМЕЛЬЧЕНИЕ -- ЗЕРНА -- ВИБРИРОВАНИЕ -- ЗАТРАВКИ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

621.746
Б20

Баландин, Г. Ф.
Формирование кристаллического строения отливок. Чистые металлы и однофазные сплавы [Текст] : научное издание / Г.Ф. Баландин. - М. : Машиностроение, 1965. - 256 с. : ил. - Библиогр.: с. 248-253. - (в пер.) : 0.95 р.

ГРНТИ	55.15.09
УДК	621.746

621.746
Б20

   Баландин, Г. Ф.
    Основы теории формирования отливки. В 2-х частях [Текст] / Г.Ф. Баландин. - М. : Машиностроение, 1976 - 1979.
   Ч.2 : Формирование макроскопического строения отливки : учеб. пособие для вузов / Г.Ф. Баландин. - М. : Машиностроение, 1979. - 336 с. : граф., рис. - Библиогр.: с.329-330 . - (в пер.) : 1.00 р.
Приложения: с. 315-328

ГРНТИ	55.15.09
УДК	621.746

Кл.слова (ненормированные):
НЕОДНОРОДНОСТЬ -- ДЕФЕКТЫ -- УСЛОВИЯ -- ЛИТЬЯ -- СКОРОСТЬ -- ЗАТВЕРДЕВАНИЕ -- ПЕРЕГРЕВ -- ВНЕПЕЧНАЯ -- ОБРАБОТКА -- РАСПЛАВ -- КРИСТАЛЛИЗАЦИЯ -- УСАДКА -- ДЕФОРМАЦИЯ -- МАТЕМАТИЧЕСКАЯ -- СХЕМА -- УРАВНЕНИЯ -- ТЕОРИЯ -- ОБЪЕМНАЯ -- ПОСЛЕДОВАТЕЛЬНАЯ -- ПИТАНИЕ -- ПОРИСТОСТЬ -- ЛИКВАЦИОННЫЕ -- ПРИБЫЛИ -- ФАСОННЫЕ -- КАЧЕСТВО -- АВТОМАТИЗИРОВАННОЕ -- ПРОЕКТИРОВАНИЕ -- ГОРЯЧЕЛОМКОСТЬ -- РЕОЛОГИЯ -- ТРЕЩИНОУСТОЙЧИВОСТЬ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

621.7
Г60

Голенков, В. А.
Технологические процессы обработки металлов давлением с локальным нагружением заготовки [Текст] : научное издание / В.А. Голенков, С.Ю. Радченко. - М. : Машиностроение, 1997. - 225 с. : рис., схем, табл., фото. - Библиогр.: с. 208-221. - ISBN 5-217-02873-4 (в пер.) : 21.00 р.

ГРНТИ	55.19.13
УДК	621.7

Кл.слова (ненормированные):
МОДЕЛИРОВАНИЕ -- РАСЧЕТ -- ПРОЕКТИРОВАНИЕ -- ПАКЕТ -- ПРИКЛАДНЫЕ ПРОГРАММЫ ШТАМП -- ИЗГОТОВЛЕНИЕ -- ОСЕСИММЕТРИЧНЫЕ -- ДЕТАЛИ -- НЕПРЕРЫВНО - ПОСЛЕДОВАТЕЛЬНАЯ -- ВЫСАДКА -- ОБКАТКА -- ТРУБНЫЕ -- ИЗДЕЛИЯ -- ХОЛОДНАЯ -- ВАЛКОВАЯ -- ШТАМПОВКА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Радченко, С.Ю.
Свободных экз. нет
Найти похожие

1..7