Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (6)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=стратегией<.>)
Общее количество найденных документов
:
4
Показаны документы
с 1 по 4
1..4
1.
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)
Найти похожие
2.
>
Шифр: УпрК/2003/10
Журнал
Управление компанией
[Текст] : аналитический журнал. - М. : Издательский дом "РЦБ", 2001 - . - Выходит ежемесячно
2003г. № 10
Содержание:
Томас, Р. Три "D": процесс интеграции проходит нормально
/ Р. Томас. - С.4-7
Кл.слова: экспресс, доставка, логистика
Петренко, С. Развитие службы информационной безопасности
/ С. Петренко. - С.9-11
Никишин, М. Культура безопасности
/ М. Никишин. - С.12-14
Лысенко, В. Качество жизни - суть качество сервиса
/ В. Лысенко, И. Смолякова. - С.15-19
Кл.слова: услуги
Астаханцев, В. С дилером на "ты"
/ В. Астаханцев. - С.20-21
Пашутин, С. Управление сбытовой
стратегией
дистрибуторской компании
/ С. Пашутин. - С.22-24
Филатов, А. Начало опционных программ в России
/ А. Филатов. - С.26-28
Лунин, В. Сокращение издержек (За счет внедрения технологии Бизнес Юнит Менеджмент)
/ В. Лунин. - С.30-36
Михайлова, Е. Аудит персонала (объективная, информативная процедура оценки кадрового ресурса компании)
/ Е. Михайлова. - С.38-43
Николенко, Н. Определение потребности в человеческих ресурсах (на примере страховой компании)
/ Н. Николенко. - С.44-46
Поляков, Д. Оценка и управление эффективностью деятельности персонала)
/ Д. Поляков. - С.48-50
Гревцов, В. Аттестация как инструмент управления компанией
/ В. Гревцов, А. Иванов. - С.51-53
Петрова, Н. Команда в современном бизнесе
/ Н. Петрова. - С.54-57
Кл.слова: командообразование, успех
Шабанова, Ю. Адаптация нового персонала
/ Ю. Шабанова. - С.60-61
Верещак, И. Outstaffing - штат за штатом
/ И. Верещак. - С.63-65
Кл.слова: выведение, персонал
Подбор персонала: собственными силами или с помощью агентств?
. - С.66-67
Федорова, Е. Менеджеры среднего звена - проблема или опора компании?
/ Е. Федорова. - С.68-69
Ромашкина, Т. "Золотое сечение" в бизнесе
/ Т. Ромашкина. - С.70-74
Кочнев, А. Автоматизация бюджетирования и управленческого учета
/ А. Кочнев. - С.75-77
Закаменных, А. Евроазиатский транзит
/ А. Закаменных. - С.78-79
Имеются экземпляры в отделах:
всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
3.
>
Шифр: ФД/2006/4
Журнал
Финансовый Директор
[Текст]. - М. - Выходит ежемесячно
2006г. N 4
. - 434.33, р.
Содержание:
Экономическое события; обзор рынков
. - С.8-11
Нортон, Д. Внедрение BSC: советы от автора концепции
/ Д. Нортон. - С.12-15
Кочковой, О. Как увязать бюджет со
стратегией
компании
/ О. Кочковой. - С.16-25
Управление затратами: опыт практиков
. - С.26-33
Кушнарева, И. Как бороться со злоупотреблениями налоговых органов
/ И. Кушнарева. - С.34-43
Адитярова, Н. Правовые проблемы реорганизации компании
/ Н. Адитярова. - С.44-51
Позиция ВАС РФ в отношении исчисления налога на прибыль
. - С.52-64
Данилов, А. Как минимизировать риски проекта автоматизации
/ А. Данилов. - С.65-71
Беспалов, С. Методы формирования производственной себестоимости
/ С. Беспалов, О. Арсеньев. - С.72-85
Региональное бизнес-образование: проблемы и перспективы
. - С.86-92
Имеются экземпляры в отделах:
всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
4.
005.21
К93
Курс МВА по
стратегическому менеджменту [Текст] : пер. с англ. / Ред. Лайм Фаэй, Ред. Роберт Рэнделл. - М. : Альпина Паблишер, 2002. - 608 с. : рис. -
ISBN
5-94599-034-5 (в пер.) : 237.15 р.
ГРНТИ
06.39.41
УДК
005.21
Кл.слова (ненормированные):
УПРАВЛЕНИЕ
--
стратегией
--
КОРПОРАТИВНАЯ
--
стратегия
--
анализ
--
макросреды
--
оценка стратегий
--
преобразования
--
ГЛОБАЛЬНЫЕ стратегии
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Фаэй, Лайм \ред.\; Рэнделл, Роберт \ред.\
Свободных экз. нет
Найти похожие
1..4