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

Главная

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

Описание

Базы данных

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

Вид поиска

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

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

в найденном

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

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

Поисковый запрос: <.>K=РАЗРАБОТКИ<.>

Общее количество найденных документов : 452
Показаны документы с 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
Я 14

Яблонский, Феликс Максимович.
Средства отображения информации [Текст] : [учеб. для вузов по спец. "Промышленная электроника"] / Ф. М. Яблонский, Ю. В. Троицкий. - Москва : "высшая школа ", 1985. - 200 с. : рис., табл. ; 21см. - Лит.: с. 196-197. - Предм. указ.: с. 198-199. - 22000 экз.. - (в пер.) : 0.80 р.

РУБ 6П2.154
Рубрики: Кибернетика

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

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

338:6П
Ю 91

Юсупов, В. Г.
Комплексный план социального развития на предприятиях пищевой промышленности : опыт и разработки и применения / В. Г. Юсупов. - Москва : Легкая промышленность, 1976. - 132 с. : ил., табл. ; 20 см. - 3600 экз.. - 0.40 р.

РУБ 338:6П
Рубрики: Пищевая промышленность--Экономика промышленного предприятия

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

518
Ю 16

Юдин, Давид Беркович.
Задачи и методы стохастического программирования [Текст] / Д. Б. Юдин. - Москва : Советское радио, 1979. - 392 с. ; 22 см. - 9500 экз.. - (в пер.) : 1.60 р.

РУБ 518
Рубрики: Прикладная математика--Математика--Естественные науки
Кл.слова (ненормированные):
УПРАВЛЕНИЕ СИСТЕМАМИ
Аннотация: Монография посвящена прикладным моделям и математическим методам управления системами при неполной информации об условиях их функционирования. Обсуждение прикладных задач иллюстрирует общие подходы к формализации управления в сложных ситуациях, связанных с риском и неопределенностью. Качественные методы стохастического программирования и его важного раздела - стохастического оптимального управления - дают основание для рациональной постановки задач управления - для выбора моделей, отражающих наиболее существенные требования к решению. Численные методы построения решающих правил и решающих распределений могут быть использованы для разработки алгоритмов управления сложными системами. Автор книги хорошо известен как у нас, так и за рубежом работами по прикладной математике, математической экономике и математическим вопросам управления. Ему принадлежат такие работы, как, например: "Линейное программирование" (1963 г., в соавторстве), "Математические методы управления в условиях неполной информации" (1974 г.) и др. Книга рассчитана на научных работников с повышенной математической подготовкой и на математиков, участвующих в постановках и решении задач планирования, управления и проектирования.

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

6П1
Э 94

Эффективность разработки жильных месторождений [Текст]. - Москва : Ротаприн ИПКОН АН СССР, 1981. - 198 с. : ил. ; 21 см. - 300 экз.. - 95 р.

РУБ 6П1
Рубрики: Горное дело

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

6П2.154.5
Э 45

Электронные вычислительные машины: В 8-ми кн. [Текст] : учебное пособие / Под ред. А.Я. Савельева.
Кн. 3 : Алгоритмизация и основы программирования / Г.И. Светозарова. - Москва : "высшая школа ", 1987. - 128 с. : ил ; 21см. - Содержание : Основы алгоритмизации. Введение в язык Бейсик. Основные приемы разработки и проверки правильности программ. Более сложные элементы языка Бейсик. - 75000 экз.. - 0.20 р.

РУБ 6П2.154.5
Рубрики: Вычислительная техника
Аннотация: Рассмотрены основные понятия программирования, методы и приемы программирования и отладки программ, методы разработки алгоритмов и программ на языке Бейсик.

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

553.262
Э 40

Экономика разведки и разработки нефтяных месторождений в США / составитель М. А. Гейман. - Москва : Недра, 1967. - 199 с. ; 22 см. - 3000 экз.. - (в пер.) : 0.75 р.

РУБ 553.262
Рубрики: Экономическая геология--Естественные науки

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

78.3
Ш85

Шрайберг, Я. Л.
Основные положения и принципы разработки автоматизированных библиотечно-информационных систем и сетей: главные положения и предпосылки, базовые принципы [Текст] : Уч.-практ. пособие / Я.Л. Шрайберг. - Изд-е 2-ое испр. и доп. - М : Либерея, 2001. - 102 с.:ил. - 49.00 р.

ББК 78.3 + 78.305.8
Рубрики: Библиотечное дело--Автоматизация

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

Шмидт, А. В.
Механизм разработки стратегии инновационного развития угледобывающего производственного объединения в условиях смены технологических укладов [Текст] / А. В. Шмидт, А. С. Костарев // Проблемы теории и практики управления. - 2019. - № 9. - С. 40-52
Кл.слова (ненормированные):
инновации, угледобывающее производственное объединение, технологический уклад, нематериальные, материальные, неосязаемые активы

Доп.точки доступа:
Костарев, А.С.
Найти похожие

10.

74.200.526
Ш 67

Школа -территория мира и безопасности [Текст] : методические разработки школ Буйнакского района по профилактике экстремизма и терроризма. - Махачкала : Лотос, 2014. - 106 с. ; 20 см. - 1800 экз.. - 140 р.

ББК 74.200.526 + 67.408.131.11
Рубрики: Правовое воспитание--Терроризм

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

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

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

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