Кулькова, В. М. Национальная спецификация экономических систем [Текст] / В. М. Кулькова> // Вестник Московского университета.Сер.6 Экономика. - 2014. - №4. - С. 56-71 Кл.слова (ненормированные): НАЦИОНАЛЬНАЯ ЭКОНОМИКА |
К 52 Клюев, Анатолий Степанович. Проектирование систем автоматизации технологических процессов [Текст] : справ. пособие / А. С. Клюев, Б. В. Глазов, А. Х. Дубровский ; ред. А. С. Клюев. - Москва : Энергия , 1980. - 512 с. : ил. ; 22 см. - Библиогр.: с. 59-510 (33 назв.). - Алф. указ.: с. 511. - 30 000 экз.. - (в пер.) : 2.50 р. Содержание: Стадии проектирования и состав проектов автоматизации технологических процессов Структурные схемы систем автоматизации Функциональные схемы систем автоматизации Принципиальные электрические схемы Принципиальные пневматические схемы Принципиальные электрические схемы питания приборов и средств автоматизации Принципиальные пневматические схемы питания приборов и средств автоматизации Щиты и пульты систем автоматизации Чертежи общих видов и заказная спецификация щитов и пультов Эргономические рекомендации по проектированию щитов, пультов и пультов управления Электрические проводки Трубные проводки систем автоматизации Схемы внешних проводок и планы расположения средств автоматизации и проводок Заземление и зануление в электроустановках систем автоматизации Требования к выполнению электрической части автоматизации во взрыво- и пожароопасных зонах Текстовые материалы проекта Типовые монтажные чертежи и конструктивные решения Синтез и расчет автоматических систем регулирования
Доп.точки доступа: Глазов, Борис Васильевич; Дубровский, Абрам Хаимович; Клюев, Анатолий Степанович \ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
А 23 Агафонов, Валерий Николаевич. Спецификация программ: понятийные средства и их организация [Текст] : монография / В. Н. Агафонов ; отв. ред.: А. П. Ершов, Б. С. Елепов ; Акад. наук CCCР, Сиб. отд-ние, Вычислит. центр, Гос. публ. науч.-техн. б-ка. - Новосибирск : Наука, Сибирское отделение, 1987. - 240 с. : ил. ; 21см. - Библиогр.: с. 233 - 238. - 5100 экз.. - (в пер.) : 1.20 Рубрики: Обслуживающие программы Доп.точки доступа: Ершов, А. П. \отв. ред.\; Елепов, Б. С. \отв. ред.\; Академия наук CCCР; Сибирское отделениеВычислительный центр; Государственная публичная научно-техническая библиотека Сибирского отделения Российской академии наук ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Т 30 Требования и спецификации в разработке программ [Текст] : сборник статей / Пер. с англ.; Под ред. В.Н. Агафонова. - М. : Мир, 1984. - 344 с. : ил. ; 22.5см. - (Математическое обеспечение ЭВМ). - 15000 экз.. - 1.50 р. Рубрики: Компьютеры--программирование Кл.слова (ненормированные): программа -- разработка -- требование -- спецификация -- обработка информации -- программное обеспечение -- автоматизированная система -- база данных -- проектирование -- язык спецификаций -- тип данных -- AFFIRM -- система -- анализ структурный -- модель -- сбор данных -- массив -- документирование ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Я 41 Язык Пролог в пятом поколении ЭВМ [Текст] : сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - Москва : Мир , 1988. - 501 с. : риc ; 23см. - 10000 экз.. - ISBN 5-03-000537-4 (в пер.) : 2.60 р. Содержание: К вычислительным системам пятого поколения ESP- предварительная версия базового языка программирования компьютеров пятого поколения Абстрактные типы данных в PROLOG/KR Расширение пролога для работы с негативными знаниями ShapeUp- язык обработки информационных знаний Операционная система последовательной машины вывода - основные концепции Объктно-ориентированное программирование в Параллельном Прологе Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе Упорядочивание редукции процессов в Параллельном Прологе Многоканальное слияние с постоянной задержкой в Параллельном Прологе Пролог средствами функционального программирования Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления Максимальные унифицируемые и минимальные неунифицированные подмножества Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины ORBIT- параллельная модель выполнения Пролог-программ Конвейерный Пролог-процессор ИЛИ - параллельная потоковая Пролог-машина Последовательная Пролог-машина РЕК Спецификация и инициализация логической вычислительной системы Система восходящего грамматического разбора (ВГР), встроенная в Пролог Применение Пролога для синтеза логических схем Пролог и автоматическое доказательство теорем Исчисление событий, основанное на логике Определение чисто функционального языка HASL средствами языка Пролог Логическое программирование как средство разработки экспертных систем Преобразование программ посредством метасдвига Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода Рубрики: Информатика--Языки программирования Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией. Доп.точки доступа: Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Васяйчева, В. Спецификация процесса управления инновационной деятельностью промышленных предприятий: кадровый аспект [Текст] / В. Васяйчева> // Менеджмент в России и за рубежом. - 2023. - №1. - С. 61-69 Кл.слова (ненормированные): инновационная деятельность, персонал, управление |
Р 64 Розанов, Геннадий Владимирович. Статистическое моделирование развития отрасли [Текст] / Г. В. Розанов. - Москва : Статистика, 1976. - 167 с. ; 21 см. - Библиография: с. 163-165. - 3500 экз.. - 1.20 р. Рубрики: Статистическое моделирование--Прогнозирование, планирование, управление--Статистика Кл.слова (ненормированные): народное хозяйство -- отрасли народного хозяйства -- экономико-математические модели -- статистический анализ -- прогнозирование -- модели анализа -- производство -- идентификация -- спецификация -- регрессионные модели -- регрессионный анализ -- авторегрессия -- гетероскедастичность -- мультиколлинеарность -- распределенные лаги -- научно-технический прогресс -- планирование -- управление -- интерпретация -- цементная промышленность ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |