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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 356203
1Н22/Р 24
Автор(ы) : Рассел, Бертран (1872-1970)
Заглавие : Исследование значения и истины : научное издание
Параллельн. заглавия :An Inquory into Meaning and Truth
Выходные данные : Москва: Идея-Пресс: Дом интеллект. кн., 1999
Колич.характеристики :400 с
ISBN (в пер.), Цена 5-7333-0014-0: 52.00 р.
УДК : 165
Предметные рубрики: философия-- теория познания
Ключевые слова (''Своб.индексиров.''): познание--значение--истина--слово--предложение--знание--язык--логика--эпистемология--суждения--опыт--верификация--метафизика
Найти похожие
2.

Вид документа : Многотомное издание
Шифр издания : 393890
681.142.2+681.142.22др.яз./С 40
Заглавие : Системная информатика: Сб. науч. тр. - (Системная информатика). Вып. 7: Проблемы теории и методологии создания параллельных и распределенных систем
Выходные данные : Новосибирск: Наука, 2000
Колич.характеристики :310, [2] с
ISBN (в пер.), Цена 5-02-031669-5: 40.00 р.
УДК : 004(082)
Предметные рубрики: вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): распределенные системы--параллельные системы--динамические системы--программирование--системы реального времени--верификация--real--спецификация
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 802243
681.142.23/Л 61
Автор(ы) : Липаев, Владимир Васильевич
Заглавие : Методы обеспечения качества крупномасштабных программных средств : монография
Выходные данные : Москва: СИНТЕГ, 2003
Колич.характеристики :510, [10] с
Серия: Управление качеством
Примечания : Библиогр.
ISBN (в пер.), Цена 5-89638-068-2: 115.00 р.
УДК : 004.4.05
Предметные рубрики: вычислительная техника-- пакеты прикладных программ
Ключевые слова (''Своб.индексиров.''): программные средства--программные средства крупномасштабные--жизненный цикл--управление качеством проектирования--проектирование--верификация--стандартизация--сертификация
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 997018
518.8+62-501.72/Л 74
Автор(ы) : Ломазова И. А.
Заглавие : Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой : научное издание
Выходные данные : Москва: Науч. мир, 2004
Колич.характеристики :207, [1] c.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-89176-247-1: 105.00 р.
УДК : 519.179.2 + 519.71
Предметные рубрики: математика-- комбинаторный анализ-- теория графов-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): петри сети--моделирование--распределенные системы--многоуровневые системы--верификация
Найти похожие
5.

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 975780
1Н252/Н 63
Автор(ы) : Николаева, Ирина Юрьевна
Заглавие : Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного : научное издание
Выходные данные : Томск: Изд-во Том. ун-та, 2005
Колич.характеристики :301, [3] с
Серия: Монографии; Вып. 18
Примечания : Имен. указ.: с. 292-298
ISBN, Цена 5-7511-1985-6: 70.00 р.
УДК : 930.1
Предметные рубрики: философия-- философия науки
Ключевые слова (''Своб.индексиров.''): история--философия истории--историческое знание--методология истории--верификация--цари--гендер--модернизация общества--бессознательное--социальная психология--русское общество
Найти похожие
10.

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

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

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

Вид документа : Однотомное издание
Шифр издания : 533.6:519.6
Автор(ы) : Башкин, Вячеслав Антонович, Егоров, Иван Васильевич
Заглавие : Численное моделирование динамики вязкого совершенного газа : научное издание
Выходные данные : Москва: ФИЗМАТЛИТ, 2012
Колич.характеристики :371, [1] с.: ил.
Примечания : Библиогр.: с. 366-371
ISBN (в пер.), Цена 978-5-9221-1265-9: 717.00 р.
УДК : 533.6:519.6
Предметные рубрики: физика-- аэродинамика
Ключевые слова (''Своб.индексиров.''): вязкий газ--аэродинамика--численное моделирование --сверхзвуковые потоки--гиперзвуковые потоки--обтекание тел--круговые цилиндры--эллиптические цилиндры--верификация--круговые конусы--эллиптические конусы
Найти похожие
14.

Вид документа : Продолжающееся издание
Шифр издания : 621.382(078)/А 22
Автор(ы) : Казеннов Г. Г., Соколов А. Г.
Заглавие : Автоматизация проектирования БИС: в 6 кн.: практ. пособие/ под ред. Г. Г. Казеннова. Кн. 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.

Вид документа : Продолжающееся издание
Шифр издания : 1/П 78
Автор(ы) :
Заглавие : Проблемы философии: сб. науч. трудов/ Н. Ф. Тарасенко, Тарасенко Н. Ф. ; Киевский гос. ун-т. Вып. 85: Актуальные вопросы теории познания и методологии науки
Выходные данные : Киев: КГУ, 1990
Колич.характеристики :132 с. ; 21 см
Коллективы : Киевский гос. ун-т, М-во высш. и сред. спец. образования РСФСР
ISBN, Цена 5-11-001634-8: 1.50 р.
ГРНТИ : 02.11
УДК : 1(082)
Предметные рубрики: Философия-- Современная философия
Ключевые слова (''Своб.индексиров.''): философия--современная философия--наука--познание--гносеология--трансгрессия--верификация--человеческий фактор--гласность--трудовой коллектив
Аннотация: Рассматриваются вопросы общественно - практической природы познания, структуры, уровней, принципов и функций марксистско-ленинской гносеологии.
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 33С3/Б 72
Автор(ы) : Бобровников Г. Н., Клебанов А. И.
Заглавие : Комплексное прогнозирование создания новой техники : научное издание
Выходные данные : М.: Экономика, 1989
Колич.характеристики :205 с. ; 20 см
ISBN, Цена 5-288-00624-3: 1.20 р.
ГРНТИ : 06.91
УДК : 33С3
Предметные рубрики: Экономика-- Экономика СССР
Ключевые слова (''Своб.индексиров.''): прогнозирование потребностей--нормативные методы--методы оценки потребности--методы управления--верификация
Аннотация: В книге рассматриваются вопросы комплексного планирования технико-экономических показателей и выбора перспективного варианта разработок высококачественной промышленной продукции.
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 87.3
Автор(ы) : Коплстон, Фредерик
Заглавие : История философии : ХХ век
Выходные данные : Москва: Центрполиграф, 2002
Колич.характеристики :269 с
Цена : 39.00 р.
ББК : 87.3
Предметные рубрики: Философия-- История философии, 20 век
Ключевые слова (''Своб.индексиров.''): британская философия--верификация--интеллектуальные течения--континентальная философия--личность человека--метафизика--экзистенциализм
Аннотация: Рассмотрены доминирующие интеллектуальные течения британской и континентальной философии первой половины ХХ века.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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