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

Главная

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

Описание

Базы данных

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

Вид поиска

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

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

в найденном

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

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

Поисковый запрос: <.>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см
ISBN (в пер.), Цена 5-03-000537-4: 2.60, р.
Предметные рубрики: Информатика-- Языки программирования
Содержание : К вычислительным системам пятого поколения ; ESP- предварительная версия базового языка программирования компьютеров пятого поколения ; Абстрактные типы данных в PROLOG/KR ; Расширение пролога для работы с негативными знаниями ; ShapeUp- язык обработки информационных знаний ; Операционная система последовательной машины вывода - основные концепции ; Объктно-ориентированное программирование в Параллельном Прологе ; Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро ; Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе ; Упорядочивание редукции процессов в Параллельном Прологе ; Многоканальное слияние с постоянной задержкой в Параллельном Прологе ; Пролог средствами функционального программирования ; Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления ; Максимальные унифицируемые и минимальные неунифицированные подмножества ; Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины ; ORBIT- параллельная модель выполнения Пролог-программ ; Конвейерный Пролог-процессор ; ИЛИ - параллельная потоковая Пролог-машина ; Последовательная Пролог-машина РЕК ; Спецификация и инициализация логической вычислительной системы ; Система восходящего грамматического разбора (ВГР), встроенная в Пролог ; Применение Пролога для синтеза логических схем ; Пролог и автоматическое доказательство теорем ; Исчисление событий, основанное на логике ; Определение чисто функционального языка HASL средствами языка Пролог ; Логическое программирование как средство разработки экспертных систем ; Преобразование программ посредством метасдвига ; Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П2.154/Я 14
Автор(ы) : Яблонский, Феликс Максимович, Троицкий, Юрий Валентинович
Заглавие : Средства отображения информации : [учеб. для вузов по спец. "Промышленная электроника"]
Выходные данные : Москва: "высшая школа ", 1985
Колич.характеристики :200 с.: рис., табл.; 21см
Примечания : Лит.: с. 196-197. - Предм. указ.: с. 198-199
Цена : 0.80, 0.80, р.
Предметные рубрики: Кибернетика
Географич. рубрики:
Аннотация: Вопросы проектирования и разработки современных средств отображения информации.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 338:6П/Ю 91
Автор(ы) : Юсупов В. Г.
Заглавие : Комплексный план социального развития на предприятиях пищевой промышленности : опыт и разработки и применения
Выходные данные : Москва: Легкая промышленность, 1976
Колич.характеристики :132 с.: ил., табл.; 20 см
Цена : 0.40 р.
Предметные рубрики: Пищевая промышленность-- Экономика промышленного предприятия
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 518/Ю 16
Автор(ы) : Юдин, Давид Беркович
Заглавие : Задачи и методы стохастического программирования
Выходные данные : Москва: Советское радио, 1979
Колич.характеристики :392 с. ; 22 см
Цена : 1.60 р.
Предметные рубрики: Прикладная математика-- Математика-- Естественные науки
Ключевые слова (''Своб.индексиров.''): управление системами
Аннотация: Монография посвящена прикладным моделям и математическим методам управления системами при неполной информации об условиях их функционирования. Обсуждение прикладных задач иллюстрирует общие подходы к формализации управления в сложных ситуациях, связанных с риском и неопределенностью. Качественные методы стохастического программирования и его важного раздела - стохастического оптимального управления - дают основание для рациональной постановки задач управления - для выбора моделей, отражающих наиболее существенные требования к решению. Численные методы построения решающих правил и решающих распределений могут быть использованы для разработки алгоритмов управления сложными системами. Автор книги хорошо известен как у нас, так и за рубежом работами по прикладной математике, математической экономике и математическим вопросам управления. Ему принадлежат такие работы, как, например: "Линейное программирование" (1963 г., в соавторстве), "Математические методы управления в условиях неполной информации" (1974 г.) и др. Книга рассчитана на научных работников с повышенной математической подготовкой и на математиков, участвующих в постановках и решении задач планирования, управления и проектирования.
Экземпляры : всего : КХР(3)
Свободны : КХР(3)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П1/Э 94
Заглавие : Эффективность разработки жильных месторождений
Выходные данные : Москва: Ротаприн ИПКОН АН СССР, 1981
Колич.характеристики : 198 с.: ил.; 21 см
Цена : 95, р.
Предметные рубрики: Горное дело
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П2.154.5/Э 45
Заглавие : Электронные вычислительные машины: В 8-ми кн.: Учебное пособие/ Под ред. А.Я. Савельева. Кн. 3: Алгоритмизация и основы программирования
Выходные данные : Москва: "высшая школа ", 1987
Колич.характеристики :128 с.: ил; 21см
Цена : 0.20, р.
Предметные рубрики: Вычислительная техника
Аннотация: Рассмотрены основные понятия программирования, методы и приемы программирования и отладки программ, методы разработки алгоритмов и программ на языке Бейсик.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 553.262/Э 40
Заглавие : Экономика разведки и разработки нефтяных месторождений в США
Выходные данные : Москва: Недра, 1967
Колич.характеристики :199 с. ; 22 см
Цена : 0.75, 0.75, р.
Предметные рубрики: Экономическая геология-- Естественные науки
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 78.3/Ш85
Автор(ы) : Шрайберг Я.Л.
Заглавие : Основные положения и принципы разработки автоматизированных библиотечно-информационных систем и сетей: главные положения и предпосылки, базовые принципы : Уч.-практ. пособие . -Изд-е 2-ое испр. и доп.
Выходные данные : М: Либерея, 2001
Колич.характеристики :102 с.:ил.
Цена : 49.00 р.
ББК : 78.3 + 78.305.8
Предметные рубрики: Библиотечное дело-- Автоматизация
Экземпляры :ИБО(1)
Свободны : ИБО(1)
Найти похожие

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

10.

Вид документа : Однотомное издание
Шифр издания : 74.200.526/Ш 67
Заглавие : Школа -территория мира и безопасности : Методические разработки школ Буйнакского района по профилактике экстремизма и терроризма
Выходные данные : Махачкала: Лотос, 2014
Колич.характеристики :106 с. ; 20 см
Цена : 140, 140, р.
ББК : 74.200.526 + 67.408.131.11
Предметные рубрики: Правовое воспитание-- Терроризм
Экземпляры :БИМЦ(1)
Свободны : БИМЦ(1)
Найти похожие

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

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

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