Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Найдено в других БД:

Электронный каталог МУБиНТ, г. Ярославль (12)

"Руконт"-Национальный цифровой ресурс (3)

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

Поисковый запрос: (<.>K=СПЕЦИФИКАЦИя<.>)
Общее количество найденных документов : 13 Показаны документы с 1 по 13

1..13

681.3
А23

Спецификация программ: понятийные средства и их организация [] / Агафонов В.Н. - 2-е изд., испр. и доп. - Новосибирск : Наука. Сибирское отделение, 1990. - 224 с. - Содержание : Понятийные средства спецификации программ. Способы организации понятийных средств. . - ISBN 5-02-029666-Х : Б. ц.

ГРНТИ	50.05.09
УДК	681.3

Рубрики: Информатика
Аннотация: Монография посвящена этапу проектирования программ - этапу описания решаемых задач. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания.

Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие

YarCLN\YarCLS\BOOK\00041888

Титтел, Э.
Создание VRML-миров [Текст] : [Объекты VRML. Спецификация VRML 2.0. Средства разработки приложений. VRML и языки Java и JavaScript]:Пер.с англ. / Э.Титтел. - Киев : Издательская группа BHV, 1997. - 317,[1]с. : ил. - ISBN 5-7315-0016-9 : 39,68 р.
Парал.тит.англ

ББК 32.973-018.2
Рубрики: 7.Радиоэлектроника.
Кл.слова (ненормированные):
Компьютер
Аннотация: Книга посвящена одной из наиболее интересных Web-технологий - Virtual Reality Modeling Language (VRML).VRML предлагает разработчикам Web-приложений не имеющих аналогов подход к созданию трехмерных миров.

Держатели документа:
ЯрЦБС

Доп.точки доступа:
Сандерс, К.; Скотт, Ч.; Вольф, П. ЯрЦБС/ЦБ/ ИЦ-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)
Найти похожие

514.18
Т 50

    Тозик, В. Т.
    Инженерная графика [Электронный ресурс] : электронный учебник / В. Т. Тозик ; Кафедре Инженерной и Компьютерной Графики. - Электрон. текстовые дан. - СПб. : [б. и.], [2007]. - Загл. с домашней страницы Интернета. - Б. ц.
    Содержание:
Раздел 1. Общие правила выполнения чертежей
Раздел 2. Чертежи деталей
Раздел 3. Соединения
Раздел 4. Сборочный чертеж и спецификация
Раздел 5. Деталирование

ГРНТИ	81.14.11
УДК	514.18

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

Перейти: http://engineering-graphics.spb.ru/book.php?page=menu
Свободных экз. нет
Найти похожие

004.43
К 28


    Каскадные таблицы стилей второго уровня [Электронный ресурс] : Спецификация CSS2, Рекомендация W3C от 12 мая 1998 г. - Электрон. текстовые дан. - [Б. м. : б. и.], 1998. - Загл. с домашней страницы Интернета. - Б. ц.
    Содержание:
О спецификации CSS2
Введение в CSS2
Конформность: требования и рекомендации
Синтаксис CSS2 и основные типы данных
Селекторы
Присвоение значений свойствам, каскады и наследование
Типы устройств
Модель представления документа в виде блоков
Модель визуального форматирования
Подробное описание модели визуального форматирования
Визуальные эффекты
Генерируемое содержимое, автоматическая нумерация и списки
Устройства с постраничной разбивкой
Цвета и фон

ГРНТИ	50.05.09
УДК	004.43

ББК 32

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

Шифр: РЦБ/1996/4
Журнал

Рынок ценных бумаг [Текст]. - М. : Редакция журнала "РЦБ. Рынок ценных бумаг", 1992 - . - ISSN 0869-6608. - Выходит дважды в месяц
1996 г. N 4

Содержание:
Майоров, С. А. Фьючерс на ГКО: стратегии и спецификация. / С. А. Майоров
Гончаров, А. Рынок ОВВЗ спасет высокая доходность. / А. Гончаров
Миловидов, В. Чековые и паевые инвестиционные фонды: формы финансовой конверсии. / В. Миловидов
Агеев, А. Гарантия подписи - страхование риска. / А. Агеев
Прохорин, Е. Как оценить ожидания операторов фондового рынка. / Е. Прохорин
Буторов, В. Как построить прогноз стоимости акций с помощью ценовой эластичности. / В. Буторов
Маринин, И. Фондовый рынок Эстонии. / И. Маринин
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

Шифр: ОНС/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
Кл.слова: искусство
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

543
A10

A. C. S. Analytical Reagents [Text] : Specifications Recommended by the Committee on Analytical Reagents of the American Chemicfl society. - Washington : American Chemicak Society, 1941. - 132 p. - 3-18 р.

УДК

543

Рубрики: Аналитическая химия--Аналитическая химия
Кл.слова (ненормированные):
Химические реактивы; спецификация

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

УДК

543

10.

65.012
Г12

Гаврилов, Д. А.
Управление производством на базе стандарта MRP II [Текст] : принципы и практика / Д.А. Гаврилов. - СПб. : Питер, 2003. - 362 с. : граф., табл. - (Теория и практика менеджмента). - Библиогр.: с.328-329 . -Предм. указ.: с.331-339 . - ISBN 5-318-00630-2 (в пер.) : 130.00 р.

ГРНТИ	06.81
УДК	65.012

Кл.слова (ненормированные):
ПЛАНИРОВАНИЕ -- РЕСУРСЫ ПРОИЗВОДСТВА -- ERP -- CRP -- ПОЗИЦИОНИРОВАНИЕ -- СПЕЦИФИКАЦИя -- УПРАВЛЕНИЕ ЗАПАСАМИ -- ABC-анализ -- укрупненное планирование -- УПРАВЛЕНИЕ ЗАКУПКАМИ -- ОПЕРАТИВНОЕ УПРАВЛЕНИЕ -- заказ -- СЕБЕСТОИМОСТЬ ПРОДУКЦИИ -- СТРУКТУРА ПРОДУКТА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

11.

744
Б88

Бродский, А. М.
Инженерная графика (металлообработка) [Текст] : учебник для сред. проф. обр. / А.М. Бродский, Э.М. Фазлулин, В.А. Халдинов. - М. : Академия, 2003. - 400 с. : табл., черт. - (Среднее профессиональное образование.). - Библиогр.: с. 396. - ISBN 5-7695-1362-4 (в пер.) : 111.18 р.

ГРНТИ	81.14.11
УДК	744

Кл.слова (ненормированные):
геометрические -- построения -- начертательная -- геометрия -- проецирование -- правила -- выполнения -- чертежей -- сборочные -- деталирование -- спецификация -- схемы -- машинная -- AUTOCAD

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Фазлулин, Э.М.; Халдинов, В.А.
Свободных экз. нет
Найти похожие

12.

659
И25

Ивенская, Н. Д.
Этикетирование товаров - новый вид информации потребителей [Текст] : нормативно-технический материал / Н.Д. Ивенская, В.И. Гуков ; Комитет стандартов, мер и измерительных приборов. - М. : Изд-во стандартов, 1969. - 90 с. : табл. - (Стандартизация, метрология и качество продукции за рубежом). - 0.51 р.

ГРНТИ	71.01.37
УДК	659

Кл.слова (ненормированные):
ИНФОРМАЦИОННАЯ -- ЭТИКЕТКИ -- шведская система -- спецификация

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Гуков, В.И.
Свободных экз. нет
Найти похожие

13.

621.81
Т19

Тарабасов, Н. Д.
Проектирование деталей и узлов машиностроительных конструкций [Текст] : справочник / Н.Д. Тарабасов, П.Н. Учаев. - М. : Машиностроение, 1983. - 240 с. : табл., черт. - (Библиотека конструктора). - Библиогр.: с.234 . -Предм. указ.: с.235 . - (в пер.) : 1.50 р.

ГРНТИ	55.03
УДК	621.81

Кл.слова (ненормированные):
РАСЧЕТЫ -- РАЗРАБОТКА -- ЧЕРТЕЖИ -- СХЕМЫ -- ТЕКСТОВАЯ -- ДОКУМЕНТАЦИЯ -- ПОЯСНИТЕЛЬНАЯ -- ЗАПИСКА -- СПЕЦИФИКАЦИЯ -- ЭСКИЗНЫЙ -- ТЕХНИЧЕСКИЙ -- ПРОЕКТ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Учаев, П.Н.
Свободных экз. нет
Найти похожие

1..13