Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

в найденном

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

Книги фонда НБ СГЮА (12)

Авторефераты (1)

Труды ученых СГЮА (1)

Формат представления найденных документов:
полный	информационный	краткий

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

Поисковый запрос: (<.>K=верификация<.>)

Общее количество найденных документов : 190
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-60

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Лохов А.
Заглавие : Функциональная верификация СБИС : В свете решений Mentor Graphics
Серия: Системы проектирования
Место публикации : Электроника: наука, технология, бизнес. - 2004. - N 1. - С. 58-62 (Шифр entb/2004/1)
Примечания : RUMARS-entb04_000_001_058_1
ISSN: ХХХХ-ХХХХ
УДК : 621.38
ББК : 32.85
Предметные рубрики: Радиоэлектроника-- Электроника
Ключевые слова (''Своб.индексиров.''): электроника--сбис--интегральные схемы--верификация
Аннотация: Рассмотрена проблема функциональной верификации СБИС при разработке систем на кристалле, включающие не только цифровые, но и аналоговые, смешанные и даже СВЧ-блоки.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Першин, Юрий Юрьевич
Заглавие : Опыт реконструкции понятия сублимации
Серия: Научные сообщения
Место публикации : Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2004. - N 3. - С. 208-214 (Шифр vgu7/2004/3)
Примечания : Библиогр. в примеч. - RUMARS-vgu704_000_003_0208_1
ISSN: XXXX-XXXX
УДК : 159.93/.94
ББК : 88.35
Предметные рубрики: Психология-- Психические процессы и состояния
Ключевые слова (''Своб.индексиров.''): сублимация--психоанализ--психические процессы--психоаналитики--верификация--фрейдизм--лингвистика--реальность--психическая реальность--материальная реальность--виртуальная реальность
Аннотация: Анализируется понятие сублимации в его психоаналитическом значении. Даются определения сублимации разными психоаналитиками. Рассматривается проблема интиктивности сублимации в философско-психоаналитическом и лингвистическом аспектах.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Косачев А. С., Куттер Ф., Посыпкин М. А.
Заглавие : Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования
Серия: Тестирование и верификация программ
Место публикации : Программирование. - 2004. - N 4. - С. 52-67 (Шифр prog/2004/4)
Примечания : Библиогр.: с. 66-67 (27 назв. ). - RUMARS-prog04_000_004_0052_1
ISSN: 0132-3474
УДК : 004.4
ББК : 32.973-018
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): языки программирования--строго-конформные тесты--программы--программное обеспечение--компиляторы
Аннотация: В работе предлагается методика автоматической генерации тестов для компиляторов на основе формальных спецификаций языка программирования.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Иванов А., Бунина Е.
Заглавие : Образ компании во внешней среде
Серия: Комментарии. Справки. Консультации
Место публикации : Журнал для акционеров. - 2005. - N 2/3. - С. 32-39 (Шифр jurn/2005/2)
Примечания : RUMARS-jurn05_000_002/003_0032_1
ISSN: 0136-0124
УДК : 658
ББК : 65.29
Предметные рубрики: Экономика-- Экономика предприятия, 2005 г.
Географич. рубрики: Россия
Ключевые слова (''Своб.индексиров.''): имидж компании--компании--социальная отчетность--образ компании--деловая репутация--стандарты верификации--верификация--оценка бизнеса
Аннотация: Социальная отчетность, стандарт верификации, деловая репутация, оценка бизнеса, корпоративная социальная ответственность, обязанности компании, - как составляющие имиджа компании.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Рязанов, Виктор Тимофеевич
Заглавие : Проблема верификации в экономической теории
Серия: Экономическая теория
Место публикации : Вестник Санкт-Петербургского университета. Сер. 5, Экономика. - 2004. - N 4. - С. 3-21 (Шифр vsp5/2004/4)
Примечания : Библиогр.: с. 20-21 (29 назв. ). - RUMARS-vsp504_000_004_0003_1
ISSN: 0132-4624
УДК : 330
ББК : 65.01
Предметные рубрики: Экономика-- Общая экономическая теория
Географич. рубрики: Россия
Ключевые слова (''Своб.индексиров.''): экономическая теория--истина--экономическая наука--экономические знания--верификация--научная истина--методология науки
Аннотация: Предназначение экономической науки - стремиться к истине. Истина должна осознаваться как непроходящая общественная ценность.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Соловьев А.
Заглавие : Грани документооборота : обрабатываем формы
Серия: Ваш выбор
Место публикации : Бухгалтер и компьютер. - 2005. - N 10. - С. 37-44 (Шифр buco/2005/10)
Примечания : s, 2005, , rusRUMARS-buco05_000_010_0037_1Библиотека Белорусского государственного экономического университетаN 10. - С. 37-44buco05_000_010_0037_1, 10, 37-44
ISSN: 1561-4492
УДК : 681.6
ББК : 32.98
Предметные рубрики: Вычислительная техника-- Оргтехника
Ключевые слова (''Своб.индексиров.''): документы-формы--формы--ocr-программы--обработка форм--программные продукты--сканирование--программы распознавания форм--структурированные формы--бумажные формы--распознавание форм--электронный образ документа--intelligent character recognition--гибкие формы--верификация--жесткие формы--icr-пограммы
Аннотация: Рассказано о документах-формах, для которых процесс сканирования отличается от сканирования текстовых документов.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Сорокин А. В.
Заглавие : Верификация ценовых эффектов
Серия: Экономическая теория
Место публикации : Вестник Московского университета. Сер. 6, Экономика. - 2005. - N 4. - С. 45-67 (Шифр meko/2005/4)
Примечания : Библиогр. в сносках. - s, 2005, , rusRUMARS-meko05_000_004_0045_1Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университетаN 4. - С. 45-67meko05_000_004_0045_1, 4, 45-67
ISSN: 0201-73850130-0105
УДК : 330
ББК : 65.01
Предметные рубрики: Экономика-- Общая экономическая теория
Ключевые слова (''Своб.индексиров.''): ценовые эффекты--верификация ценовых эффектов--цена--общественное богатство--стоимостное ограничение--прирост товарной массы--птм--избыток потребительской стоимости--ипс--индивидуальное богатство--богатство--экономические категории
Аннотация: Задача статьи - верификация (проверка истинности теоретических положений) неоклассических закономерностей эффекта дохода и замещения в рамках синтеза знания.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Романовская А. А.
Заглавие : Аккумуляция углерода в болотных низинных почвах залежных земель Мурманской области
Место публикации : Экология. - 2006. - N 6. - С. 424-428 (Шифр ekol/2006/6)
Примечания : Библиогр.: с. 428 (24 назв. ). - s, 2006, , rusRUMARS-ekol06_000_006_0424_1Научная библиотека Тульского государственного университетаТаб.N 6.- С. 424-428ekol06_000_006_0424_1, 6, 424-428
ISSN: 0367-0597
УДК : 631.4 + 63
ББК : 4
Предметные рубрики: Сельское и лесное хозяйство-- Почвоведение
Географич. рубрики: Россия
РФ
Российская Федерация
Мурманская область
Ключевые слова (''Своб.индексиров.''): аккумуляция углерода--углерод--болотные почвы--низинные почвы--залежные земли--органический углерод почв--верификация
Аннотация: Рассмотрена динамика накопления органического углерода в болотных низинных почвах Мурманской области в течение первых восьми лет после их выведения из сельскохозяйственного пользования. После трех лет зарастания брошенных посевов многолетних трав в слое почвы 0 - 20 см накоплено 0, 07 % углерода от уровня пашни. В среднем для почв шести - и восьмилетних залежей содержание органического углерода увеличилось соответственно на 0, 2 % и 0, 46 % углерода. Проведена верификация расчетов по модели RothC с экспериментальными данными для болотных низинных почв залежных земель Мурманской области.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Савченко А.
Заглавие : Механизм латентного управления
Серия: Искусство управления
Место публикации : Консультант директора. - 2006. - N 21. - С. 26-30 (Шифр kdir/2006/21)
Примечания : Библиогр.: с. 30 (10 назв. ). - s, 2006, , rusRUMARS-kdir06_000_021_0026_1МУК "Централизованная библиотечная система им. В. Н. Татищева" г. ТольяттиN 21. - С. 26-30kdir06_000_021_0026_1, 21, 26-30
ISSN: XXXX-XXXX
УДК : 338.24
ББК : 65.050
Предметные рубрики: Экономика-- Управление экономикой. Менеджмент
Ключевые слова (''Своб.индексиров.''): управление--латентное управление--искусство управления--искаженное поведение--рефлексивное сознание--субъекты управления--объекты управления--методы управления--верификация--фальсификация--дезинформация--дробление информации--гипертрофирование информации--гипотрофирование информации--пересемантизация информации--манипуляция сознанием--менеджмент
Аннотация: Автор приводит определения механизма менеджмента (управления) различных исследователей проблемы, дает свое определение механизма латентного управления, главной составляющей которого является искажение рефлексивных процессов в социальной экономической системе. Рассмотрены также основные методы латентного управления.
Найти похожие

10.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кузнецов, Георгий
Заглавие : Автоматизация розничного бизнеса: время - деньги
Серия: Банковские системы
Место публикации : Банковские технологии. - 2005. - N 9. - С. 40-42 (Шифр bath/2005/9)
Примечания : s, 2005, , rusRUMARS-bath05_000_009_0040_1Национальная библиотека Республики КомиN 9. - С. 40-42bath05_000_009_0040_1, 9, 40-42
ISSN: 0201-7296
УДК : 336
ББК : 65.26
Предметные рубрики: Экономика-- Финансы
Географич. рубрики: Россия
Ключевые слова (''Своб.индексиров.''): автоматизация розничного бизнеса--экспресс-кредитование--кредитование физических лиц--верификация данных--пластиковые карточки--банковские услуги--автоматизация банков--банки--кредитные учреждения--услуги банков
Аннотация: О функционировании банковской сети пунктов экспресс-кредитования и сокращения временных затрат на обслуживание клиентов.
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)