Логин
(фамилия)
:
Пароль
(штрих-код)
:
Электронный каталог МУБиНТ - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=СПЕЦИФИКАЦИЯ<.>)
Общее количество найденных документов
:
12
Показаны документы
с 1 по 12
1..12
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
Рубрики:
Информатика--Языки программирования
Аннотация:
Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие
2.
681.3
А23
Спецификация
программ: понятийные
средства и их организация [Текст] / Агафонов В.Н. - 2-е изд., испр. и доп. - Новосибирск : Наука. Сибирское отделение, 1990. - 224 с. -
ISBN
5-02-029666-Х : Б. ц.
Содержание:
Понятийные средства спецификации программ. Способы организации понятийных средств.
ГРНТИ
50.05.09
УДК
681.3
Рубрики:
Информатика
Аннотация:
Монография посвящена этапу проектирования программ - этапу описания решаемых задач. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания.
Абонемент
Свободных экз. нет
Найти похожие
3.
> (Свободных экземпляров нет)
Шифр: РЦБ/1996/4
Журнал
Рынок ценных бумаг
[Текст]. - М. : Редакция журнала "РЦБ. Рынок ценных бумаг", 1992 - . - ISSN 0869-6608. - Выходит дважды в месяц
1996 г. N 4
Содержание:
Майоров, С. А. Фьючерс на ГКО: стратегии и
спецификация
.
/ С. А. Майоров
Гончаров, А. Рынок ОВВЗ спасет высокая доходность.
/ А. Гончаров
Миловидов, В. Чековые и паевые инвестиционные фонды: формы финансовой конверсии.
/ В. Миловидов
Агеев, А. Гарантия подписи - страхование риска.
/ А. Агеев
Прохорин, Е. Как оценить ожидания операторов фондового рынка.
/ Е. Прохорин
Буторов, В. Как построить прогноз стоимости акций с помощью ценовой эластичности.
/ В. Буторов
Маринин, И. Фондовый рынок Эстонии.
/ И. Маринин
Все экземпляры списаны
Найти похожие
4.
330.43
Д71
Доугерти, Кристофер
.
Введение в эконометрику [Текст] : пер. с англ / К. Доугерти. - [Б. м.] : ИНФРА-М, 2001. - XIV, 401 с. : ил. - (Университетский учебник). - Библиогр.: с. 384-386. -Указ.: с. 387-388. -Предм. указ.: с. 389-401. -
ISBN
5-86225-458-7 (русск.) :
Содержание:
Ковариация, дисперсия и корреляция
Парный регриссионный анализ
Свойства коэффициентов регрессии и проверки гепотез
Преобразование переменных
Множественный регрессионный анализ
Спецификация
переменных в уравнениях регрессии: предварительное рассмотрение
Гетероскедастичность и автокоррелированность случайного члена
Стохастические объясняющие переменные и ошибки измерения
Фиктивные переменные
Моделирование динамических процессов
Оценивание систем одновременных уравнений
ГРНТИ
06.35.51
УДК
330.43
ББК
65в6я73 + 22.172я73
Рубрики:
Экономико-математические методы и модели--Эконометрика
Аннотация:
Курс эконометрики занимает важное место в современных программах экономических вузов во всем мире наряду с такими предметами, как микроэкономика, макроэкономика, финансовый анализ. Актуальность появления данного учебника связана с дефицитом книг по эконометрике. Книгу отличает доступность изложения и вместе с тем высоки уровень освещения основных современных идей и методов эконометрики.
Чит. зал
Свободных экз. нет
Найти похожие
5.
> (Свободных экземпляров нет)
Шифр: ОНС/2003/5
Журнал
Общественные науки и
современность [Текст]. - М. : Российская академия наук, 1976 - . - ISSN 0869-0499. - Выходит раз в два месяца
2003г. N 5
Содержание:
Левада, Ю. А. Стабильность и нестабильность
/ Ю. А. Левада. - С.5-11
Пригожин, А. И. Организационная культура и ее преобразование
/ А. И. Пригожин. - С.12-22
Волостнов, Н. С.
Спецификация
прав собственности государственных предприятий
/ Н. С. Волостнов. - С.23-32
Крыштановская, О. В. Бывшие. Тенденции нисходящей мобильности российской элиты
/ О. В. Крыштановская. - С.33-39
Кл.слова: привилегии, власть
Петухов, В. В. Права человека и дискриминационные практики в современной России
/ В. В. Петухов, Е. И. Пахомова, Н. Н. Седова. - С.40-48
Римский, В. Л. Выборы без стратегического выбора
/ В. Л. Римский. - С.49-59
Седов, Л. А. Российский электорат: десятилетняя эволюция
/ Л. А. Седов. - С.60-69
Каганский, В. Л. Кривда и правда евразийства (Смысл и статус евразийской концепции пространства России). Статья 2. Правда евразийства*
/ В. Л. Каганский. - С.70-83
Мельянцев, В. А. Россия за три века: экономический рост в мировом контексте
/ В. А. Мельянцев. - С.84-95
Кульпин, Э. С. Две смуты: опыт сравнения
/ Э. С. Кульпин. - С.96-107
Макашева, Н. А. Дж. М. Кейнс и Россия: обнадеживающее начало несостоявшегося диалога
/ Н. А. Макашева. - С.108-121
Паин, Э. А. Этнополитический маятник: цикличность этнополитических процессов в постсоветской России
/ Э. А. Паин. - С.122-130
Цветкова, И. В. Философская культура в современном обществе
/ И. В. Цветкова. - С.131-139
Шугуров, М. В. "Праздная" толерантность: постмодернистский сценарий
/ М. В. Шугуров. - С.140-149
Дискин, И. Е. Социальный капитал в глобальной экономике
/ И. Е. Дискин. - С.150-159
Шипилов, А. В. Кунсткамера Петра I: российский музей как форма и инструмент социокультурных изменений
/ А. В. Шипилов. - С.160-170
Кл.слова: Петр I, коллекционирование
Жукоцкакя, З. Р. "Бессознательный символизм": к философии музыки Андрея Белого
/ З. Р. Жукоцкакя. - С.171-176
Кл.слова: искусство
Все экземпляры списаны
Найти похожие
6.
004.415.2
В29
Вендров, А. М.
Проектирование программного обеспечения экономических информационных систем [Текст] : учебник / А. М. Вендров. - 2-е изд., перераб. и доп. - М. : Финансы и статистика, 2005. - 543 с. : ил. - Библиогр.: с. 520-522. - Предм. указ.: с. 534-537 . -
ISBN
5-279-02937-8 :
Содержание:
Жизненный цикл программного обеспечения
Методические аспекты проектирования программного обеспечения
Моделирование бизнес-процессов и
спецификация
требований
Анализ и проектирование программного обеспечения
Технологии создания программного обеспечения
оценка трудоемкости создания программного обеспечения
Особенности современных проектов
ГРНТИ
50.41.17
УДК
004.415.2
ББК
65с51я73
Рубрики:
Экономические информационные системы--Программного обеспечения--Проектирование
Аннотация:
Описание процессы, модели и стадии жизненного цикла программного обеспечения (ПО) экономических информационных систем. Приведены структурный и объективно-ориентированный подход к проектированию ПО. Отражено применение стандартного языка объектно-ориентированного моделирования UML. Рассмотрены функции и компоненты CASE-средств и их практическое воплощение в наиболее развитых программных продуктах. В новом издании (1-е изд. - 2000 г.) улучшена структура учебника, добавлены новые разделы и примеры.
Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
7.
514.18
Т 50
Тозик, В. Т.
Инженерная графика [Электронный ресурс] : электронный учебник / В. Т. Тозик ; Кафедре Инженерной и Компьютерной Графики. - Электрон. текстовые дан. - СПб. : [б. и.], [2007]. - Загл. с домашней страницы Интернета. - Б. ц.
Содержание:
Раздел 1. Общие правила выполнения чертежей
Раздел 2. Чертежи деталей
Раздел 3. Соединения
Раздел 4. Сборочный чертеж и
спецификация
Раздел 5. Деталирование
ГРНТИ
81.14.11
УДК
514.18
Рубрики:
Инженерная графика
Кл.слова (ненормированные):
армированное изделие
--
сборочный чертеж
--
соединения
--
чертежи
Аннотация:
Учебник разработан для использования в ВУЗах и предоставляет уникальные средства изучения инженерной графики. Все содержание учебника написано простым доступным языком и сопровождается рисунками и интерактивными моделями, иллюстрирующими содержание. Учебник содержит теоретическую часть и каталог заданий. ??
Перейти:
http://engineering-graphics.spb.ru/book.php?page=menu
Свободных экз. нет
Найти похожие
8.
004.43
К 28
Каскадные таблицы стилей
второго уровня [Электронный ресурс] :
Спецификация
CSS2, Рекомендация W3C от 12 мая 1998 г. - Электрон. текстовые дан. - [Б. м. : б. и.], 1998. - Загл. с домашней страницы Интернета. - Б. ц.
Содержание:
О спецификации CSS2
Введение в CSS2
Конформность: требования и рекомендации
Синтаксис CSS2 и основные типы данных
Селекторы
Присвоение значений свойствам, каскады и наследование
Типы устройств
Модель представления документа в виде блоков
Модель визуального форматирования
Подробное описание модели визуального форматирования
Визуальные эффекты
Генерируемое содержимое, автоматическая нумерация и списки
Устройства с постраничной разбивкой
Цвета и фон
ГРНТИ
50.05.09
УДК
004.43
ББК
32
Перейти:
http://loc.stack.ru/projects/CSS2/cover.html
, Сервер электронной библиотеки
Свободных экз. нет
Найти похожие
9.
519.862.6
Ц 97
Цыплаков, А. А.
Некоторые эконометрические методы. Метод максимального правдоподобия в эконометрии [Электронный ресурс] / А. А. Цыплаков. - Электрон. текстовые дан. - Новосибирск : ЭФ НГУ, 1998. - Загл. с домашней страницы Интернета. - Б. ц.
Содержание:
Функциональная форма регрессионной модели
Фиктивные переменные как регрессоры
Модели с качественной зависимой переменной
Динамическая
спецификация
регрессионной модели
Интегрированные процессы, ложная регрессия и коинтеграция
Характеристика ММП
Связь ММП с МНК. КВАЗИ-МП методы
Связь гессиана и матрицы вкладов в градиент с информационной матрицей
Распределение градиента и оценок максимального правдоподобия
Вычисление оценок максимального правдоподобия
Асимптотическое распределение и аcимптотическая эквивалентность трех классических статистик
Номинальный и действительный размер (уровень значимости) теста
Модели с дискретной зависимой переменной
Обобщенный метод наименьших квадратов
Регрессии с неодинаковой дисперсией и тестирование гетероскедастичности
Нелинейная регрессия. Метод Гаусса-Ньютона
Оценивание регрессии с AR-ошибкой
Регрессия с MA-ошибкой
Регрессия с ARCH-процессом в ошибке
Якобиан преобразования плотности распределения в функции правдоподобия
Преобразование зависимой переменной. Модель Бокса-Кокса
Регрессия с ошибками во всех переменных
Внешне не связанные регрессионные уравнения
Системы одновременных уравнений
ГРНТИ
83.77
УДК
519.862.6
ББК
22.172
Рубрики:
Статистика--прогнозирование--модели
Перейти:
http://www.nsu.ru/ef/tsy/ecmr/some_mle/contents.htm
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Свободных экз. нет
Найти похожие
10.
02
О-83
Открытое образование: стандартизация
описания информационных ресурсов [Электронный ресурс] : научно-техническая программа / Е. И. Горбунова [и др.]. ; Российский государственный институт открытого образования. - Электрон. текстовые дан. (3,41 Мб). - М. : РИЦ «Альфа» МГОПУ им. М. А. Шолохова, 2003. - 215 с. - Загл. с титул. экрана. -
ISBN
5-8288-0545-2 : Б. ц.
Содержание:
Информационно-образовательная среда открытого образования: модель единого образовательного пространства
Электронные образовательные ресурсы
Информационные основы работы с образовательными ресурсами
Описания электронных образовательных ресурсов
Спецификация
IMS
Универсальная модель описания образовательных ресурсов
Приложение. Формальное описание в XML-формате
ГРНТИ
14.35.07
УДК
02
378
ББК
78 + 74.85
Рубрики:
Открытое образование--Информационные ресурсы
Аннотация:
В работе представлена модель информационно-образовательной среды открытого образования. Определены информационные основы работы с образовательными ресурсами и их описание. Даны описания образовательных объектов в IMS. Обоснована универсальная модель описания образовательных ресурсов. Работа адресована специалистам в области информационно-образовательных сред, преподавателям вузов, работающим по технологиям открытого дистанционного образования, аспирантам и студентам, лицам, желающим повысить свою квалификацию в области ОДО.
Перейти:
http://elib.mubint.ru/lib/knigi/otkr_obrazovan_standart.pdf
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Горбунова, Е. И.; Лобачев, С. Л.; Малых, А. А.; Манцивода, А. В.; Поляков, А. А.; Лобачев, С. Л. \ред.\; Манцивода, А. В. \ред.\
Экземпляры всего:
1
Сервер электронной библиотеки (1)
Свободны:
Сервер электронной библиотеки (1)
Найти похожие
11.
330.4
К72
Костюнин, Владимир Ильич
.
Эконометрика [Текст] : учебник и практикум для прикладного бакалавриата / В.И. Костюнин. - М. : Издательство Юрайт, 2014. - 285 с. - (Бакалавр. Прикладной курс). - Библиогр.: с. 285. -
ISBN
978-5-9916-3551-6 : 371.78 р.
Содержание:
Эконометрика: основные понятия и определения
Спецификация
модели
Необходимые сведения из теории вероятностей и математической статистики
Оценка параметров закона распределения методом максимального правдоподобия
Метод наименьших квадратов, теорема Гаусса-Маркова
Анализ качества спецификации модели
Тестирование случайных возмущений на выполнение предпосылок теоремы Гаусса-Маркова
Прогнозирование по линейная модели и тестирование её на адекватность
Оценивание нелинейных эконометрических моделей и их линеаризация
Фиктивные переменные в регрессионных моделях с переменной структурой
Оценивание моделей в виде систем одновременных уравнений
Модели в виде временных рядов
ГРНТИ
06.35.51
28.17.19
УДК
330.4
ББК
65в6я73
Рубрики:
Статистика--Эконометрика
Аннотация:
Учебник содержит основные этапы построения и анализа линейной множественной регрессии, анализу закономерности поведения экономических объектов. Даны основные методы построения и анализа эконометрических моделей различных видов. Учебный материал сопровождается достаточным числом решенных задач и задач для самостоятельной работы. Для студентов, обучающихся по экономическим направлениям и специальностям.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Экземпляры всего:
10
Чит. зал (1), Абонемент (9)
Свободны:
Чит. зал (1), Абонемент (9)
Найти похожие
12.
368
И 23
Ивасенко, А. Г.
Страхование [Текст] : учебное пособие / А. Г. Ивасенко, Я. И. Никонова. - [Б. м. : б. и.], 2009. - 320 с. - Библиогр.: с. 257-261. -
ISBN
978-5-85971-789-7 : 104.01 р.
Содержание:
Место и роль страхования в системе общественного производства
Организационно-правовые аспекты страховой деятельности
Финансово-экономические аспекты
Актуальные расчеты в страховании
Отрасли, подотрасли, виды страхования и их
спецификация
Перераспределение ответственности страховщиков
Проблемы и перспективы развития страхового рынка
Приложение 1-7
ГРНТИ
06
УДК
368
ББК
65.271я73
Аннотация:
Раскрываются содержание страхования и основные принципы поведения страховых операций .
Держатели документа:
Академия МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Никонова, Я.И.
Экземпляры всего:
20
Чит. зал (1), Абонемент (19)
Свободны:
Чит. зал (1), Абонемент (19)
Найти похожие
1..12