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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

1-20 21-40 41-60 61-80 81-100 101-120

Лохов, А.
Функциональная верификация СБИС [Текст] : в свете решений Mentor Graphics / А. Лохов // Электроника: наука, технология, бизнес. - 2004. - N 1. - С. . 58-62. - RUMARS-entb04_000_001_058_1

УДК

^a621.38

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

Нет сведений об экземплярах (Источник в БД не найден)

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

Першин, Юрий Юрьевич.
Опыт реконструкции понятия сублимации [Текст] / Ю. Ю. Першин // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2004. - N 3. - С. . 208-214. - Библиогр. в примеч. - RUMARS-vgu704_000_003_0208_1

УДК

^a159.93/.94

ББК 88.35
Рубрики: Психология--Психические процессы и состояния
Кл.слова (ненормированные):
сублимация -- психоанализ -- психические процессы -- психоаналитики -- верификация -- фрейдизм -- лингвистика -- реальность -- психическая реальность -- материальная реальность -- виртуальная реальность
Аннотация: Анализируется понятие сублимации в его психоаналитическом значении. Даются определения сублимации разными психоаналитиками. Рассматривается проблема интиктивности сублимации в философско-психоаналитическом и лингвистическом аспектах.

Доп.точки доступа:
Фрейд, Зигмунд (психоаналитик ; 1856-1939) \з.\; Хартман (психоаналитик) \х.\; Хорни, Карен (психоаналитик ; 1885-1952) \к.\; Юнг, Карл Густав (психолог ; 1875-1961) \к. Г.\
Нет сведений об экземплярах (Источник в БД не найден)

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

Косачев, А. С.
Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования [Текст] / А. С. Косачев, Ф. Куттер, М. А. Посыпкин // Программирование. - 2004. - N 4. - С. . 52-67. - Библиогр.: с. 66-67 (27 назв. ). - RUMARS-prog04_000_004_0052_1

УДК

^a004.4

ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
языки программирования -- строго-конформные тесты -- программы -- программное обеспечение -- компиляторы
Аннотация: В работе предлагается методика автоматической генерации тестов для компиляторов на основе формальных спецификаций языка программирования.

Доп.точки доступа:
Куттер, Ф.; Посыпкин, М. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

Иванов, А.
Образ компании во внешней среде [Текст] / А. Иванов, Е. Бунина // Журнал для акционеров. - 2005. - N 2/3. - С. . 32-39. - RUMARS-jurn05_000_002/003_0032_1

УДК

^a658

ББК 65.29
Рубрики: Экономика--Экономика предприятия, 2005 г.
Россия
Кл.слова (ненормированные):
имидж компании -- компании -- социальная отчетность -- образ компании -- деловая репутация -- стандарты верификации -- верификация -- оценка бизнеса
Аннотация: Социальная отчетность, стандарт верификации, деловая репутация, оценка бизнеса, корпоративная социальная ответственность, обязанности компании, - как составляющие имиджа компании.

Доп.точки доступа:
Бунина, Е.
Нет сведений об экземплярах (Источник в БД не найден)

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

Рязанов, Виктор Тимофеевич.
Проблема верификации в экономической теории [Текст] / В. Т. Рязанов // Вестник Санкт-Петербургского университета. Сер. 5, Экономика. - 2004. - N 4. - С. . 3-21. - Библиогр.: с. 20-21 (29 назв. ). - RUMARS-vsp504_000_004_0003_1

УДК

^a330

ББК 65.01
Рубрики: Экономика--Общая экономическая теория
Россия
Кл.слова (ненормированные):
экономическая теория -- истина -- экономическая наука -- экономические знания -- верификация -- научная истина -- методология науки
Аннотация: Предназначение экономической науки - стремиться к истине. Истина должна осознаваться как непроходящая общественная ценность.

Нет сведений об экземплярах (Источник в БД не найден)

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

Соловьев, А.
Грани документооборота [Текст] : обрабатываем формы / Александр Соловьев // Бухгалтер и компьютер. - 2005. - N 10. - С. . 37-44. - s, 2005, , rus. - RUMARS-buco05_000_010_0037_1. - Библиотека Белорусского государственного экономического университета. - N 10. - С. 37-44. - buco05_000_010_0037_1, 10, 37-44

УДК

^a681.6

ББК 32.98
Рубрики: Вычислительная техника--Оргтехника
Кл.слова (ненормированные):
документы-формы -- формы -- OCR-программы -- обработка форм -- программные продукты -- сканирование -- программы распознавания форм -- структурированные формы -- бумажные формы -- распознавание форм -- электронный образ документа -- Intelligent Character Recognition -- гибкие формы -- верификация -- жесткие формы -- ICR-пограммы
Аннотация: Рассказано о документах-формах, для которых процесс сканирования отличается от сканирования текстовых документов.

Нет сведений об экземплярах (Источник в БД не найден)

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

Сорокин, А. В.
Верификация ценовых эффектов [Текст] / А. В. Сорокин // Вестник Московского университета. Сер. 6, Экономика. - 2005. - N 4. - С. . 45-67. - Библиогр. в сносках. - s, 2005, , rus. - RUMARS-meko05_000_004_0045_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - N 4. - С. 45-67. - meko05_000_004_0045_1, 4, 45-67

УДК

^a330

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

Нет сведений об экземплярах (Источник в БД не найден)

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

Романовская, А. А.
Аккумуляция углерода в болотных низинных почвах залежных земель Мурманской области [Текст] / А. А. Романовская // Экология. - 2006. - N 6. - С. . 424-428. - Библиогр.: с. 428 (24 назв. ). - s, 2006, , rus. - RUMARS-ekol06_000_006_0424_1. - Научная библиотека Тульского государственного университета. - Таб. - N 6.- С. 424-428. - ekol06_000_006_0424_1, 6, 424-428

УДК

^a631.4

^a63

ББК 4
Рубрики: Сельское и лесное хозяйство--Почвоведение
   Россия
    РФ
    Российская Федерация
    Мурманская область
Кл.слова (ненормированные):
аккумуляция углерода -- углерод -- болотные почвы -- низинные почвы -- залежные земли -- органический углерод почв -- верификация
Аннотация: Рассмотрена динамика накопления органического углерода в болотных низинных почвах Мурманской области в течение первых восьми лет после их выведения из сельскохозяйственного пользования. После трех лет зарастания брошенных посевов многолетних трав в слое почвы 0 - 20 см накоплено 0, 07 % углерода от уровня пашни. В среднем для почв шести - и восьмилетних залежей содержание органического углерода увеличилось соответственно на 0, 2 % и 0, 46 % углерода. Проведена верификация расчетов по модели RothC с экспериментальными данными для болотных низинных почв залежных земель Мурманской области.

Нет сведений об экземплярах (Источник в БД не найден)

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

Савченко, А.
Механизм латентного управления [Текст] / А. Савченко // Консультант директора. - 2006. - N 21. - С. . 26-30. - Библиогр.: с. 30 (10 назв. ). - s, 2006, , rus. - RUMARS-kdir06_000_021_0026_1. - МУК "Централизованная библиотечная система им. В. Н. Татищева" г. Тольятти. - N 21. - С. 26-30. - kdir06_000_021_0026_1, 21, 26-30

УДК

^a338.24

ББК 65.050
Рубрики: Экономика--Управление экономикой. Менеджмент
Кл.слова (ненормированные):
управление -- латентное управление -- искусство управления -- искаженное поведение -- рефлексивное сознание -- субъекты управления -- объекты управления -- методы управления -- верификация -- фальсификация -- дезинформация -- дробление информации -- гипертрофирование информации -- гипотрофирование информации -- пересемантизация информации -- манипуляция сознанием -- менеджмент
Аннотация: Автор приводит определения механизма менеджмента (управления) различных исследователей проблемы, дает свое определение механизма латентного управления, главной составляющей которого является искажение рефлексивных процессов в социальной экономической системе. Рассмотрены также основные методы латентного управления.

Нет сведений об экземплярах (Источник в БД не найден)

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

10.

Кузнецов, Георгий.
Автоматизация розничного бизнеса: время - деньги [Текст] / Георгий Кузнецов // Банковские технологии. - 2005. - N 9. - С. . 40-42. - s, 2005, , rus. - RUMARS-bath05_000_009_0040_1. - Национальная библиотека Республики Коми. - N 9. - С. 40-42. - bath05_000_009_0040_1, 9, 40-42

УДК

^a336

ББК 65.26
Рубрики: Экономика--Финансы
Россия
Кл.слова (ненормированные):
автоматизация розничного бизнеса -- экспресс-кредитование -- кредитование физических лиц -- верификация данных -- пластиковые карточки -- банковские услуги -- автоматизация банков -- банки -- кредитные учреждения -- услуги банков
Аннотация: О функционировании банковской сети пунктов экспресс-кредитования и сокращения временных затрат на обслуживание клиентов.

Нет сведений об экземплярах (Источник в БД не найден)

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

11.

Юровицкий, В. М.
Новая банковская услуга - БАНКИНЕТ [Текст] / В. М. Юровицкий // Банковские услуги. - 2007. - N 4. - С. . 21-26. - 0; Проблемы авторизации в интернете. - ; Интернет и денежно-банковская сеть. - ; Подключение банков к сети интернет. - ; Банковская электронная почта B-mail. - ; Верификация коммерческих сайтов. - ; Платежи через интернет. - ; Решение споров в режиме удаленного общения. - ; Банки и интернетизация страны. - RUMARS-baus07_000_004_0021_1

УДК

^a336

ББК 65.26
Рубрики: Экономика--Финансы, 21 в. нач.
   Российская Федерация
    Россия
    РФ
Кл.слова (ненормированные):
банки -- банковские услуги -- БАНКИНЕТ -- электронная почта -- коммерческие сайты -- сайты -- платежи -- интернет-арбитраж -- информационные технологии -- банковский бизнес -- интернет-банкинг -- интернет-банки -- интернет
Аннотация: В настоящее время банки могут предложить совим клиентам совершенно новую услугу - БАНКИНЕТ, которая способная привлечь в банковскую систему большое количество современных продвинутых клиентов.

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

12.

Вудок, Д.
Первые шаги к решению проблемы верификации программ [Текст] / Д. Вудок // Открытые системы. СУБД. - 2006. - N 8. - С. . 36-43. - Библиогр.: с. 43 (2 назв. ). - RUMARS-osys06_000_008_0036_1

УДК

^a004.4

ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
верификация программ -- верифицированные программы -- программная инженерия -- программное обеспечение -- программные системы -- технология верификации
Аннотация: Исследователи в области программной инженерии объединяются для создания технологии верификации, которая заметно увеличит производительность и надежность разработки, интеграции и обслуживания программного обеспечения.

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

13.

Шишкин, Михаил Владиславович.
Методология экономического анализа и верификация теории: основные тенденции развития [Текст] / М. А. Шишкин // Вестник Санкт-Петербургского университета. Сер. 5, Экономика. - 2007. - N 2. - С. . 22-28. - Библиогр.: с. 28 (8 назв. ). - RUMARS-vsp507_000_002_0022_1

УДК

^a330

ББК 65.01
Рубрики: Экономика--Общая экономическая теория
Кл.слова (ненормированные):
экономисты -- экономическая наука -- экономическая методология -- экономический анализ -- методология экономической науки -- экономическая теория -- верификация
Аннотация: Опубликованная в "Вестнике Санкт-Петербургского университета" в 2004 году статья В. Т. Рязанова "Проблема верификации в экономической теории" привлекла к себе внимание широкой научной общественности и послужила своеобразным катализатором возрождения интереса к методологическим проблемам экономической науки.

Доп.точки доступа:
Рязанов \в. Т.\

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

14.

Петряев, В. В.
Творчество: диалектика конструктивного абстрагирования [Текст] / Петряев В. В. // Российский исторический журнал. - 2007. - N 2. - С. 73-89

УДК

^a1:316

ББК 60.025
Рубрики: Социальная философия
Деятельность
Кл.слова (ненормированные):
творчество -- критерии творчества -- атрибутивный творческий потенциал -- творческое самодистанцирование -- творческое абстрагирование -- конструктивность -- конструктивное абстрагирование -- творческая свобода -- диалектика творчества -- развитие творчества -- принципы диалектики творчества -- внутренняя достоверность -- объективная верификация
Аннотация: Рассмотрены отправные критерии творчества как целостной системы. Сформулированы базовые принципы атрибутивно-конструктивной диалектики творчества: свобода дистанцирования субъекта, внутренняя достоверность, конструктивация атрибутивного и объективная верификация, атрибутивно-конструктивное достраивание.

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

15.

Карпычев, А. Н.
Правовой анализ методов защиты нотариальных документов [Текст] / Карпычев А. Н. // Нотариус. - 2008. - N 4. - С. 15-17. - Библиогр.: с. 17 (9 назв. )

УДК

^a347.961

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

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

16.

Проверка правил политики безопасности для корпоративных компьютерных сетей [Текст] / И. В. Котенко [и др. ] // Защита информации. Инсайд. - 2007. - N 5. - С. 46-49. - Окончание следует

УДК

^a519.256

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

Доп.точки доступа:
Котенко, И. В.; Тишков, А. В.; Сидельникова, Е. В.; Черватюк, О. В.

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

17.

Проверка правил политики безопасности для корпоративных компьютерных сетей [Текст] / И. В. Котенко [и др. ] // Защита информации. Инсайд. - 2007. - N 6. - С. 52-59 : ил. - Библиогр.: с. 58-59 (48 назв. ). - Окончание. Начало см. N 5 2007

УДК

^a519.256

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

Доп.точки доступа:
Котенко, И. В.; Тишков, А. В.; Черватюк, О. В.; Сидельникова, Е. В.

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

18.

Демкив, О.
Экономическая мораль украинского общества в общеевропейском и внутрирегиональном измерении [Текст] / О. Демкив, Л. Кондратик // Социология: теория, методы, маркетинг. - 2007. - N 4. - С. 5-37. - Библиогр.: с. 36-37 (47 назв. ) . - ISSN 1563-4426

ГРНТИ	04.15.41
УДК	^a316.014

ББК 60.504/506
Рубрики: Социология
Социологическое исследование--Украина
Кл.слова (ненормированные):
методы социологических исследований -- экономическая мораль -- лонгитюдные исследования -- мораль -- ценностные ориентации -- экономическая деятельность -- ценностно-нормативная система общества -- методологические принципы -- украинское общество -- интегрированные показатели -- пределы конвенциональности -- конвенциональность -- приемлемость -- верификация результатов
Аннотация: Переформулирование понятия "Экономическая мораль" в категориях социологического исследования, определение теоретико-методологических рамок изучения данного явления и их применение в обработке данных "Европейского социального исследования" (волна 2004-2005 годов).

Доп.точки доступа:
Кондратик, Л.

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

19.

Звягин, В. Н.
Определение длины тела взрослого человека по костям кисти [Текст] / В. Н. Звягин, А. О. Замятина // Судебно-медицинская экспертиза. - 2008. - N 6. - С. 24-26. - Библиогр. с. 26 (7 назв. )

УДК

^a34

ББК 58.1
Рубрики: Здравоохранение. Медицинские науки
Судебная медицина
Кл.слова (ненормированные):
остеометрия -- длина тела -- регрессионный анализ -- кости кисти -- верификация
Аннотация: Впервые разработаны методики по определению длины тела взрослого человека по костям кисти.

Доп.точки доступа:
Замятина, А. О.

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

20.

Глигич-Золотарева, Милена Валериевна.
Верификация дефиниций конституционной науки vs. "увлечение общими местами" [Текст] / М. В. Глигич-Золотарева // Политика и общество. - 2009. - N 5 (59). - С. 4-10. - Библиогр.: с. 10 (10 назв. ) . - ISSN 1812-8696

УДК

^a321

^a342

ББК 66.03 + 67.400
Рубрики: Право
   Политика. Политология
   Политическая система
   Конституционное (государственное) право в целом
Кл.слова (ненормированные):
юриспруденция -- государство -- международное право -- наука -- верификация -- демократия -- суверенитет -- конституции -- власть -- самоопределение -- конституционно-правовая наука -- публичное право
Аннотация: Рассматривается системный кризис традиционных государственных институций, в корне которого лежит несоответствие демократии, суверенитета, разделения властей реалиям интенсивно меняющегося мира.

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

1-20 21-40 41-60 61-80 81-100 101-120

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

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