| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :17
 В других БД по вашему запросу найдено:Электронный каталог (15)ЭБС "ЛАНЬ" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=верификация<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 17
1.

    Рассел, Бертран (1872-1970).
    Исследование значения и истины [Текст] = An Inquory into Meaning and Truth : научное издание / Б. Рассел ; . - Москва : Идея-Пресс: Дом интеллект. кн., 1999. - 400 с. - ISBN 5-7333-0014-0 (в пер.) : 52.00 р.
УДК
165

Рубрики: философия--теория познания

Кл.слова (ненормированные):
познание -- значение -- истина -- слово -- предложение -- знание -- язык -- логика -- эпистемология -- суждения -- опыт -- верификация -- метафизика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
2.

    Системная информатика [Текст] : сб. науч. тр. - Новосибирск : Наука. - (Системная информатика).
   Вып. 7 : Проблемы теории и методологии создания параллельных и распределенных систем. - 2000. - 310, [2] с. - ISBN 5-02-031669-5 (в пер.) : 40.00 р.
УДК
004(082)

Рубрики: вычислительная техника--ЭВМ

Кл.слова (ненормированные):
распределенные системы -- параллельные системы -- динамические системы -- программирование -- системы реального времени -- верификация -- Real -- спецификация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
3.

    Липаев, Владимир Васильевич.
    Методы обеспечения качества крупномасштабных программных средств [Текст] : монография / В. В. Липаев ; . - Москва : СИНТЕГ, 2003. - 510, [10] с. - (Управление качеством). - Библиогр. - ISBN 5-89638-068-2 (в пер.) : 115.00 р.
УДК
004.4.05

Рубрики: вычислительная техника--пакеты прикладных программ

Кл.слова (ненормированные):
программные средства -- программные средства крупномасштабные -- жизненный цикл -- управление качеством проектирования -- проектирование -- верификация -- стандартизация -- сертификация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
4.

    Ломазова, И. А.
    Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой [Текст] : научное издание / И. А. Ломазова. - Москва : Науч. мир, 2004. - 207, [1] c. - Библиогр. - ISBN 5-89176-247-1 (в пер.) : 105.00 р.
УДК
519.179.2
519.71

Рубрики: математика--комбинаторный анализ--теория графов--математическая кибернетика

Кл.слова (ненормированные):
Петри сети -- моделирование -- распределенные системы -- многоуровневые системы -- верификация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
5.

    Кларк, Эдмунд М. (мл.).
    Верификация моделей программ: Model Checking [Текст] = Model Checking : [монография] / Э. М. Кларк, О. Грамберг, Д. Пелед ; пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова под ред. Р. Смелянского. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. : рис. - Предм. указ.: с. 400-416. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2 (рус.) (в пер.). - ISBN 0-262-03270-8 (англ.) : 115.00 р.
УДК
004.415.5

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
верификация -- model checking -- модели программ -- автоматизация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Грамберг, Орна
Пелед, Дорон
Захаров, В.
Кончаков, Р.
Царьков, Д.
Смелянский, Р.
Найти похожие
6.

    Системная информатика [Текст] : сб науч. тр. / под ред. А. Г. Марчука ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем. информатики им. А. П. Ершова. - Новосибирск : Изд-во СО РАН, 1991 - . - (Системная информатика / гл. ред. А. Г. Марчук).
   Вып. 9 : Формальные методы и модели информатики. - Новосибирск : Изд-во СО РАН, 2004. - 358, [2] с. : табл. - Библиогр.: с. 353-358 (102 назв.). - ISBN 5-7692-0700-0 (в пер.) : 95.00 р.
УДК
004(082)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- языки программирования -- верификация -- машины абстрактных состояний -- петри сети
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Марчук, А. Г. \\ред.\\
Найти похожие
7.

    Беляев, Евгений Иванович.
    Философский анализ. Теоретические аспекты [Текст] : научное издание / Е. И. Беляев ; Рос. Акад. Гос. Службы при Президенте Рос. Федерации, Поволж. акад. гос. службы. - Саратов : Поволж. акад. гос. службы [изд.], 2000. - 94, [2] с. - Библиогр.: с. 89-93 (73 назв.). - ISBN 5-8180-0025-7 : 70.00 р.
УДК
1

Рубрики: философия--философия

Кл.слова (ненормированные):
философский анализ -- лингвистика -- смысл -- метод -- референция -- абстракция -- номинализации -- факты -- истина -- верификация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского



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

    Кузьмин, Егор Владимирович.
    Структурированные системы переходов [Текст] : научное издание / Е. В. Кузьмин, В. А. Соколов. - Москва : ФИЗМАТЛИТ, 2006. - 173, [3] с. : рис. - Библиогр.: с. 166-171 (90 назв.). - Предм. указ.: с. 172-173. - ISBN 5-9221-0692-9 (в пер.) : 105.00 р.
УДК
004

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
верификация -- структурированные системы переходов -- петри сети -- параллельные системы -- распределенные системы -- счетчиковые машины -- темпоральность
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Соколов, Валерий Анатольевич
Найти похожие
9.

    Николаева, Ирина Юрьевна.
    Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного [Текст] : научное издание / И. Ю. Николаева ; под ред. Б. Г. Могильницкого. - Томск : Изд-во Том. ун-та, 2005. - 301, [3] с. - (Монографии ; вып. 18). - Имен. указ.: с. 292-298. - ISBN 5-7511-1985-6 : 70.00 р.
УДК
930.1

Рубрики: философия--философия науки

Кл.слова (ненормированные):
история -- философия истории -- историческое знание -- методология истории -- верификация -- цари -- гендер -- модернизация общества -- бессознательное -- социальная психология -- русское общество
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Могильницкий, Б. Г.
Найти похожие
10.

    Гладилин, А. В.
    Эконометрика [Текст] : учеб. пособие / А. В. Гладилин, А. Н. Герасимов, Е. И. Громов. - 2-е изд., стер. - Москва : КноРус, 2008. - 226, [6] с. - Библиогр.: с. 215. - ISBN 978-5-390-00105-9 : 100.00 р.
Рекомендовано Учеб.-метод. об-нием по образованию в обл. мат. методов в экономике в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Математические методы в экономике" и другим экон. специальностям
УДК
330.43(075.8)

Рубрики: экономика--экономико-математические методы и модели

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


Доп. точки доступа:
Герасимов, А. Н.
Громов, Е. И.
Найти похожие
11.

    Синицын, Сергей Владимирович.
    Программирование на языке высокого уровня [Текст] : учебник / С. В. Синицын, А. С. Михайлов, О. И. Хлытчиев. - Москва : Изд. центр "Академия", 2010. - 392, [8] с. : рис. - (Высшее профессиональное образование. Информатика). - Библиогр.: с. 385-388 (59 назв.). - ISBN 978-5-7695-6673-8 (в пер.) : 390.50 р.
Рекомендовано Учеб.-метод. об-нием по образованию в обл. приклад. информатики в качестве учеб. для студентов вузов, обучающихся по специальности "Прикладная информатика (по областям)" и др. экон. специальностям
УДК
004.432(075.8)

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
программирование -- языки высокого уровня -- языки программирования -- алгоритмизация -- тестирование -- верификация -- объектно-ориентированное программирование (ООП)
Аннотация: Рассмотрены общие принципы высокоуровневого программирования, непосредственным образом связанного с изучением алгоритмов, в рамках технологического процесса. Излагаемый материал можно рассматривать как синтез трех аспектов: технологического, вычислительного и языкового. Технология определяет этапы решения задач, отвечает на вопрос, что программировать, позволяет оценить результаты. Алгоритмизация дает ответ на вопрос, как возможно решить поставленные задачи.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Михайлов, Александр Сергеевич
Хлытчиев, Олег Игоревич
Найти похожие
12.

    Гецци, Карло.
    Основы инженерии программного обеспечения [Текст] : пер. с англ. / К. Гецци, М. Джазайери, Д. Мандриоли. - 2-е изд. - Санкт-Петербург : БХВ-Петербург, 2005. - 805, [13] с. : рис. - Библиогр.: с. 753-795. - Предм. указ.: с. 797-805. - ISBN 5-94157-403-7 (рус.) (в пер.). - ISBN 0-13-305699-6 (англ.) : 279.00 р.
УДК
004.4(075.8)

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
программная инженерия -- программное обеспечение -- проектирование -- верификация -- архитектура
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Джазайери, Мехди
Мандриоли, Дино
Найти похожие
13.

    Башкин, Вячеслав Антонович.
    Численное моделирование динамики вязкого совершенного газа [Текст] : научное издание / В. А. Башкин, И. В. Егоров. - Москва : ФИЗМАТЛИТ, 2012. - 371, [1] с. : ил. - Библиогр.: с. 366-371. - ISBN 978-5-9221-1265-9 (в пер.) : 717.00 р.
УДК
533.6:519.6

Рубрики: физика--аэродинамика

Кл.слова (ненормированные):
вязкий газ -- аэродинамика -- численное моделирование -- сверхзвуковые потоки -- гиперзвуковые потоки -- обтекание тел -- круговые цилиндры -- эллиптические цилиндры -- верификация -- круговые конусы -- эллиптические конусы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Егоров, Иван Васильевич
Найти похожие
14.

    Автоматизация проектирования БИС [Текст] : в 6 кн.: практ. пособие / под ред. Г. Г. Казеннова. - М. : Высшая школа, 1990 - .
   Кн. 1 : Принципы и методология построения САПР БИС / Г. Г. Казеннов, А. Г. Соколов. - 1990. - 142 с. : ил. ; 20см. - ISBN 5-06-000092-3 : 0.40 р.
ГРНТИ
47.33.31.01.33
УДК
621.382.049.77.001.63:681.3(078)
ББК 32.844.1

Рубрики: Электроника--Микроэлектроника

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


Доп. точки доступа:
Соколов, А. Г.
Казеннов, Г. Г. \\ред.\\
Найти похожие
15.

    Проблемы философии [Текст] : сб. науч. трудов / Н. Ф. Тарасенко, Тарасенко Н. Ф. ; Киевский гос. ун-т. - Киев : КГУ, 1990.
   Вып. 85 : Актуальные вопросы теории познания и методологии науки. - 1990. - 132 с. ; 21 см. - ISBN 5-11-001634-8 : 1.50 р.
ГРНТИ
02.11
УДК
1(082)

Рубрики: Философия--Современная философия

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


Доп. точки доступа:
Тарасенко, Н.Ф.
Тарасенко Н. Ф.,
Найти похожие
16.

    Бобровников, Г. Н.
    Комплексное прогнозирование создания новой техники [Текст] : научное издание / Г. Н. Бобровников, А. И. Клебанов. - М. : Экономика, 1989. - 205 с. ; 20 см. - ISBN 5-288-00624-3 : 1.20 р.
ГРНТИ
06.91
УДК
33С3

Рубрики: Экономика--Экономика СССР

Кл.слова (ненормированные):
ПРОГНОЗИРОВАНИЕ ПОТРЕБНОСТЕЙ -- НОРМАТИВНЫЕ МЕТОДЫ -- МЕТОДЫ ОЦЕНКИ ПОТРЕБНОСТИ -- МЕТОДЫ УПРАВЛЕНИЯ -- ВЕРИФИКАЦИЯ
Аннотация: В книге рассматриваются вопросы комплексного планирования технико-экономических показателей и выбора перспективного варианта разработок высококачественной промышленной продукции.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Клебанов, А. И.
Найти похожие
17.

    Коплстон, Фредерик.
    История философии [Текст] : ХХ век / Ф. Коплстон ; пер. с англ. П. А. Сафронова. - Москва : Центрполиграф, 2002. - 269 с. - 39.00 р.
ББК 87.3

Рубрики: Философия--История философии, 20 век

Кл.слова (ненормированные):
британская философия -- верификация -- интеллектуальные течения -- континентальная философия -- личность человека -- метафизика -- экзистенциализм
Аннотация: Рассмотрены доминирующие интеллектуальные течения британской и континентальной философии первой половины ХХ века.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Сафронова, П. А.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)