Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (12)
"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=спецификация<.>)
Общее количество найденных документов
:
13
Показаны документы
с 1 по 13
1..13
1.
681.3
А23
Спецификация
программ: понятийные
средства и их организация [] / Агафонов В.Н. - 2-е изд., испр. и доп. - Новосибирск : Наука. Сибирское отделение, 1990. - 224 с. - Содержание : Понятийные средства спецификации программ. Способы организации понятийных средств. . -
ISBN
5-02-029666-Х : Б. ц.
ГРНТИ
50.05.09
УДК
681.3
Рубрики:
Информатика
Аннотация:
Монография посвящена этапу проектирования программ - этапу описания решаемых задач. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания.
Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие
2.
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
Свободных экз. нет
Найти похожие
3.
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)
Найти похожие
4.
514.18
Т 50
Тозик, В. Т.
Инженерная графика [Электронный ресурс] : электронный учебник / В. Т. Тозик ; Кафедре Инженерной и Компьютерной Графики. - Электрон. текстовые дан. - СПб. : [б. и.], [2007]. - Загл. с домашней страницы Интернета. - Б. ц.
Содержание:
Раздел 1. Общие правила выполнения чертежей
Раздел 2. Чертежи деталей
Раздел 3. Соединения
Раздел 4. Сборочный чертеж и
спецификация
Раздел 5. Деталирование
ГРНТИ
81.14.11
УДК
514.18
Рубрики:
Инженерная графика
Кл.слова (ненормированные):
армированное изделие
--
сборочный чертеж
--
соединения
--
чертежи
Аннотация:
Учебник разработан для использования в ВУЗах и предоставляет уникальные средства изучения инженерной графики. Все содержание учебника написано простым доступным языком и сопровождается рисунками и интерактивными моделями, иллюстрирующими содержание. Учебник содержит теоретическую часть и каталог заданий. ??
Перейти:
http://engineering-graphics.spb.ru/book.php?page=menu
Свободных экз. нет
Найти похожие
5.
004.43
К 28
Каскадные таблицы стилей
второго уровня [Электронный ресурс] :
Спецификация
CSS2, Рекомендация W3C от 12 мая 1998 г. - Электрон. текстовые дан. - [Б. м. : б. и.], 1998. - Загл. с домашней страницы Интернета. - Б. ц.
Содержание:
О спецификации CSS2
Введение в CSS2
Конформность: требования и рекомендации
Синтаксис CSS2 и основные типы данных
Селекторы
Присвоение значений свойствам, каскады и наследование
Типы устройств
Модель представления документа в виде блоков
Модель визуального форматирования
Подробное описание модели визуального форматирования
Визуальные эффекты
Генерируемое содержимое, автоматическая нумерация и списки
Устройства с постраничной разбивкой
Цвета и фон
ГРНТИ
50.05.09
УДК
004.43
ББК
32
Перейти:
Полный текст
Экземпляры всего:
1
Б (1)
Свободны:
Б (1)
Найти похожие
6.
>
Шифр: РЦБ/1996/4
Журнал
Рынок ценных бумаг
[Текст]. - М. : Редакция журнала "РЦБ. Рынок ценных бумаг", 1992 - . - ISSN 0869-6608. - Выходит дважды в месяц
1996 г. N 4
Содержание:
Майоров, С. А. Фьючерс на ГКО: стратегии и
спецификация
.
/ С. А. Майоров
Гончаров, А. Рынок ОВВЗ спасет высокая доходность.
/ А. Гончаров
Миловидов, В. Чековые и паевые инвестиционные фонды: формы финансовой конверсии.
/ В. Миловидов
Агеев, А. Гарантия подписи - страхование риска.
/ А. Агеев
Прохорин, Е. Как оценить ожидания операторов фондового рынка.
/ Е. Прохорин
Буторов, В. Как построить прогноз стоимости акций с помощью ценовой эластичности.
/ В. Буторов
Маринин, И. Фондовый рынок Эстонии.
/ И. Маринин
Имеются экземпляры в отделах:
всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
7.
>
Шифр: ОНС/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)
Найти похожие
8.
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
Свободных экз. нет
Найти похожие
9.
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
Свободных экз. нет
Найти похожие
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