Национальная библиотека Республики Дагестан им. Р. Гамзатова

Главная

Упрощенный режим

Описание

Базы данных

Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска

Каталог Национальной Библиотеки Республики Дагестан

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

в найденном

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

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

Поисковый запрос: <.>K=операционная<.>

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

1-10 11-20 21-30 31-40 41-50 51-60

6П2.154.5
Я 41


    Язык Пролог в пятом поколении ЭВМ [Текст] : сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - Москва : Мир , 1988. - 501 с. : риc ; 23см. - 10000 экз.. - ISBN 5-03-000537-4 (в пер.) : 2.60 р.
    Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода

РУБ 6П2.154.5
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

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

6П2.154.5
Э 45

Электронная вычислительная машина ЕС-1022 [Текст] / В.П. Качков, А.П. Кондратьев, В.М. Ленкова и др. - Москва : Статистика, 1979. - 208 с. : ил. ; 23.5см. - 33000 экз.. - (в пер.) : 0.85 р.

РУБ 6П2.154.5
Рубрики: Вычислительная техника--электронно-вычислительные машины
Кл.слова (ненормированные):
электронно-вычислительная машина -- учебник -- ЕС-1022 -- система управления -- схема -- блок -- программа -- алгоритм -- данные -- база данных -- передача -- оперативная память -- защита -- программирование -- язык программирования -- массив -- формат -- символ -- интерфейс -- поле -- запись -- ввод -- канал -- кодирование -- доступ -- операционная система -- обработка данных -- буфер -- процессор

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

6П2.154.5
Э 44

Экхауз, Р.
Мини-ЭВМ: организация и программирование [Текст] / Пер. с англ.; Под ред. Г. Васильева. - Москва : Финансы и статистика, 1983. - 359 с. : ил. ; 23см. - 25000 экз.. - (в пер.) : 1.80 р.

РУБ 6П2.154.5
Рубрики: Вычислительная техника--цифровые
Кл.слова (ненормированные):
ЭВМ -- учебник -- программирование -- программа -- ассемблер -- мини-ЭВМ -- символ -- данные -- формат -- оперативная память -- код -- обработка данных -- редактор -- запись -- буферизация -- операционная система -- база данных

Доп.точки доступа:
Моррис, Л.
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

617.0
Ш 18

Шалимов, Шалимов Александр Алексеевич.
Реакции крообращения на операционную травму [Текст] / А. А. Шалимов, Г. А. Шифрин. - Киев : Наукова думка, 1977. - 384 с. ; 22 см. - Библиография: с. 347-381. - 8100 экз.. - (в пер.) : 2.30 р.

РУБ 617.0
Рубрики: Регуляция кровообращения при операционной травме
Кл.слова (ненормированные):
МЕДИЦИНА, ХИРУРГИЯ, ПОСЛЕОПЕРАЦИОННЫЙ ПЕРИОД, ПОСЛЕОПЕРАЦИОННЫЕ ОСЛОЖНЕНИЯ, КРОВООБРАЩЕНИЕ, РЕГУЛЯЦИЯ КРОВООБРАЩЕНИЯ, РЕАКЦИИ КРОВООБРАЩЕНИЯ, КОРРЕКЦИЯ КРОВООБРАЩЕНИЯ, ОПЕРАЦИОННАЯ ТРАВМА, СЕРДЕЧНО-СОСУДИСТАЯ СИСТЕМА, РУКОВОДСТВА, ПРОИЗВОДСТВЕННО-ПРАКТИЧЕСКИЕ ИЗДАНИЯ

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

6П2.154.5
Т 56

Томас, Ребекка.
Операционная система UNIX [Текст] : руководство для пользователей / Р. Томас,Дж. Йейтс.Пер. с англ. - Москва : Радио и связь, 1986. - 349 с. : ил. ; 23см. - 11000 экз.. - (в пер.) : 1.90 р.

РУБ 6П2.154.5
Рубрики: Вычислительная техника
Операционная система
Кл.слова (ненормированные):
б-ка Русина -- UNIX система

Доп.точки доступа:
Йейтс, Джейн
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

6П2.154.5
Т 46

Тихомиров, В. П.
Операционная система ДЕМОС [] : инструментальные средства программиста / В.П. Тихомиров, М.И.Давидов. - М. : Финансы и статистика, 1988. - 206 с. : ил ; 21.5см. - Содержание : Семейство унифицированных операционных систем ДЕМОС. Командный язык C-shell. Интерпретатор make. Язык обработки структурированных текстов AWK. Средства разработки компиляторов и интерпретаторов. - 15000 экз.. - ISBN 5-279-00113-9 : 0.50 р.

РУБ 6П2.154.5
Рубрики: Вычислительная техника--Автоматика и телемеханика
Аннотация: Операционная система принадлежит семейству операционных систем, совместимых с ОС UNIX, и используется в СССР на серийных ЭВМ общего назначения. Книга содержит описание ключевых инструментальных средств программиста.

Доп.точки доступа:
Давидов, М.И.
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

6П2.154.5
Т 41

Тимонин, Владимир Иосифович.
Операционная система ОС ЕС [Текст] : основы функционирования / В. И.Тимонин. - Москва : Финансы и статистика, 1983. - 223 с. : ил. ; 23см. - 15000 экз.. - (в пер.) : 0.95 р.

РУБ 6П2.154.5
Рубрики: Вычислительная техника--Автоматика и телемеханика-- системах управления
Кл.слова (ненормированные):
б-ка Русина -- операционные системы -- программы для ЭВМ

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

6П2.154.5
Л 61

Технология проектирования комплексов программ АСУ [Текст] / Под ред. Ю. Асафьева, В. Липаева. - Москва : Радио и связь, 1983. - 264 с. : ил. ; 23см. - 8000 экз.. - (в пер.) : 1.30 р.

РУБ 6П2.154.5
Рубрики: Автоматика--автоматизированная система управления
Кл.слова (ненормированные):
программирование -- учебное пособие -- проектирование -- программа -- автоматизация -- вычислительная система -- язык программирования -- ЭВМ -- АСУ -- данные -- база данных -- передача -- обработка -- код -- оперативная память -- транслятор -- формат -- редактор -- операционная система -- полупроводник -- источник питания

Доп.точки доступа:
Липаев, В.В.; Серебровский, Л.А.; Гаганов, П.Г.; Каганов, Ф.А.; и др
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

6П2.154.4
С 74

Справочник проектировщика автоматизированных систем управления технологическими процессами [Текст] / Под ред. Г. Смолянского. - Москва : Машиностроение, 1983. - 527 с. : ил. ; 25см. - 40 000 экз.. - (в пер.) : 3.90 р.

УДК

6П2.154.4

Рубрики: Автоматика--автоматизация
Кл.слова (ненормированные):
автоматизация -- справочник -- автоматическая система управления -- алгоритмизация -- вычислительная система -- модель -- модуль -- программирование системное -- программа -- процессор -- язык программирования -- операционная система -- оперативная память -- цифровая -- канал связи -- ЭВМ -- код -- сигнал -- данные -- база данных -- защита информации -- интерфейс -- обработка данных -- диск -- файл -- массив -- поиск

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

10.

6П2.154.4
С 74

Справочник по теории автоматического управления [Текст] / Под ред. А. Красовского. - Москва : "Наука" Главная редакция физико-математической литературы, 1987. - 712 с. : ил. ; 23см. - 35000 экз.. - (в пер.) : 3 р.

УДК

6П2.154.4

Рубрики: Автоматика--автоматическое управление
Кл.слова (ненормированные):
автоматическое управление -- справочник -- алгоритм -- схема -- модель -- система управления -- программирование -- оперативная память -- данные -- база данных -- запись -- поиск -- код -- формат -- система автоматизированного проектирования -- язык программирования -- алгол -- Паскаль -- обработка данных -- передача -- операционная система -- процессор

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Тематический навигатор

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