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

Базы данных


Электронный каталог - результаты поиска

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 210137
681.142.21/К 474
Автор(ы) : Кларк, Эдмунд М. (мл.), Грамберг, Орна, Пелед, Дорон
Заглавие : Верификация моделей программ: 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--модели программ--автоматизация
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
5.

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

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

Вид документа : Однотомное издание
Шифр издания : 605726
681.142.21/С59
Автор(ы) : Соколов, Александр Павлович
Заглавие : Системы программирования: теория, методы, алгоритмы : учеб. пособие для студентов, обучающихся по направлению 654600 - Информатика и вычислительная техника
Выходные данные : Москва: Финансы и статистика, 2004
Колич.характеристики :319, [2] с.: схемы
Примечания : Библиогр.: с. 309-310 (37 назв.)
ISBN, Цена 5-279-02770-7: 76.00 р.
УДК : 004.4(075.8)
Предметные рубрики: вычислительная техника-- программирование
Ключевые слова (''Своб.индексиров.''): программирование--языки программирования--ассемблер--перевод--верификация--трансляторы--алгоритмы--системы программирования
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1)
Найти похожие
8.

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

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

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: вычислительная техника-- программирование
Ключевые слова (''Своб.индексиров.''): программная инженерия--программное обеспечение--проектирование--верификация--архитектура
Экземпляры : всего : ОХФ(3), ОУОЕН(8)
Свободны : ОХФ(3), ОУОЕН(8)
Найти похожие
11.

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 519.216/А 19
Автор(ы) : Аверина, Татьяна Александровна
Заглавие : Статистическое моделирование решений стохастических дифференциальных уравнений и систем со случайной структурой
Выходные данные : Новосибирск: Издательство СО РАН, 2019
Колич.характеристики :349, [1] с.: граф., ил., табл.
Коллективы : Ин-т вычисл. математики и мат. геофизики Сиб. отд-ния РАН
Примечания : Библиогр.: с. 310-344 (365 назв.)
ISBN (в пер.), Цена 978-5-7692-1638-1: 350.00 р.
УДК : 519.216
Предметные рубрики: математика-- теория вероятностей и математическая статистика
Ключевые слова (''Своб.индексиров.''): стохастические дифференциальные уравнения--стохастические системы--стохастические уравнения--случайные структуры--статистическое моделирование--верификация--алгоритмы
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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