A869791-ОХФ Рассел, Бертран (1872-1970). Исследование значения и истины [Текст] = An Inquory into Meaning and Truth / Б. Рассел ; . - Москва : Идея-Пресс: Дом интеллект. кн., 1999. - 400 с. - ISBN 5-7333-0014-0 (в пер.) : 52.00 р.
Рубрики: философия--теория познания Кл.слова (ненормированные): познание -- значение -- истина -- слово -- предложение -- знание -- язык -- логика -- эпистемология -- суждения -- опыт -- верификация -- метафизика Экземпляры всего: 1 ОХФ (1) |
A875402-ОХФ Системная информатика [Текст] : сб. науч. тр. - Новосибирск : Наука. - (Системная информатика). Вып. 7 : Проблемы теории и методологии создания параллельных и распределенных систем. - 2000. - 310, [2] с. - ISBN 5-02-031669-5 (в пер.) : 40.00 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): распределенные системы -- параллельные системы -- динамические системы -- программирование -- системы реального времени -- верификация -- Real -- спецификация Экземпляры всего: 1 ОХФ (1) |
A884529-ОХФ Липаев, Владимир Васильевич. Методы обеспечения качества крупномасштабных программных средств [Текст] : монография / В. В. Липаев ; . - Москва : СИНТЕГ, 2003. - 510, [10] с. - (Управление качеством). - Библиогр. - ISBN 5-89638-068-2 (в пер.) : 115.00 р.
Рубрики: вычислительная техника--пакеты прикладных программ Кл.слова (ненормированные): программные средства -- программные средства крупномасштабные -- жизненный цикл -- управление качеством проектирования -- проектирование -- верификация -- стандартизация -- сертификация Экземпляры всего: 1 ОХФ (1) |
A884927-ОХФ Ломазова, И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой [Текст] / И. А. Ломазова. - Москва : Науч. мир, 2004. - 207, [1] c. - Библиогр. - ISBN 5-89176-247-1 (в пер.) : 105.00 р.
Рубрики: математика--комбинаторный анализ--теория графов--математическая кибернетика Кл.слова (ненормированные): Петри сети -- моделирование -- распределенные системы -- многоуровневые системы -- верификация Экземпляры всего: 1 ОХФ (1) |
A887324-ОХФ, A889627-ОХФ-ЧЗ-4 Соколов, Александр Павлович. Системы программирования: теория, методы, алгоритмы [Текст] : учеб. пособие для студентов, обучающихся по направлению 654600 - Информатика и вычислительная техника / А. П. Соколов. - Москва : Финансы и статистика, 2004. - 319, [2] с. : схемы. - Библиогр.: с. 309-310 (37 назв.). - ISBN 5-279-02770-7 : 76.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): программирование -- языки программирования -- Ассемблер -- перевод -- верификация -- трансляторы -- алгоритмы -- системы программирования Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |
A961086-ОХФ, A961087-ОХФ Кларк, Эдмунд М. (мл.). Верификация моделей программ: Model Checking [Текст] = Model Checking : [монография] / Э. М. Кларк, О. Грамберг, Д. Пелед ; пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова под ред. Р. Смелянского. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. : рис. - Предм. указ.: с. 400-416. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2 (рус.) (в пер.). - ISBN 0-262-03270-8 (англ.) : 115.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): верификация -- model checking -- модели программ -- автоматизация Доп. точки доступа: Грамберг, Орна Пелед, Дорон Захаров, В. Кончаков, Р. Царьков, Д. Смелянский, Р. Экземпляры всего: 2 ОХФ (2) |
A961119-ОХФ, A963324-ОХФ Системная информатика [Текст] : сб науч. тр. / под ред. А. Г. Марчука ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем. информатики им. А. П. Ершова. - Новосибирск : Изд-во СО РАН, 1991 - . - (Системная информатика / гл. ред. А. Г. Марчук). Вып. 9 : Формальные методы и модели информатики. - Новосибирск : Изд-во СО РАН, 2004. - 358, [2] с. : табл. - Библиогр.: с. 353-358 (102 назв.). - ISBN 5-7692-0700-0 (в пер.) : 95.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- языки программирования -- верификация -- машины абстрактных состояний -- петри сети Доп. точки доступа: Марчук, А. Г. \\ред.\\ Экземпляры всего: 2 ОХФ (2) |
A963534-ОХФ, A963535-ОХФ, A963536-ОХФ Беляев, Евгений Иванович. Философский анализ. Теоретические аспекты [Текст] / Е. И. Беляев ; Рос. Акад. Гос. Службы при Президенте Рос. Федерации, Поволж. акад. гос. службы. - Саратов : Поволж. акад. гос. службы [изд.], 2000. - 94, [2] с. - Библиогр.: с. 89-93 (73 назв.). - ISBN 5-8180-0025-7 : 70.00 р.
Рубрики: философия--философия Кл.слова (ненормированные): философский анализ -- лингвистика -- смысл -- метод -- референция -- абстракция -- номинализации -- факты -- истина -- верификация Экземпляры всего: 3 ОХФ (3) |
A965630-ОХФ, A967204-ОХФ, A967205-ОХФ Кузьмин, Егор Владимирович. Структурированные системы переходов [Текст] / Е. В. Кузьмин, В. А. Соколов. - Москва : ФИЗМАТЛИТ, 2006. - 173, [3] с. : рис. - Библиогр.: с. 166-171 (90 назв.). - Предм. указ.: с. 172-173. - ISBN 5-9221-0692-9 (в пер.) : 105.00 р., 102.41 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): верификация -- структурированные системы переходов -- петри сети -- параллельные системы -- распределенные системы -- счетчиковые машины -- темпоральность Доп. точки доступа: Соколов, Валерий Анатольевич Экземпляры всего: 3 ОХФ (3) |
A893046-ОХФ-МИОН, A893047-ОХФ-МИОН, A893048-ОХФ-МИОН Николаева, Ирина Юрьевна. Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного [Текст] / И. Ю. Николаева ; под ред. Б. Г. Могильницкого. - Томск : Изд-во Том. ун-та, 2005. - 301, [3] с. - (Монографии ; вып. 18). - Имен. указ.: с. 292-298. - ISBN 5-7511-1985-6 : 70.00 р.
Рубрики: философия--философия науки Кл.слова (ненормированные): история -- философия истории -- историческое знание -- методология истории -- верификация -- цари -- гендер -- модернизация общества -- бессознательное -- социальная психология -- русское общество Доп. точки доступа: Могильницкий, Б. Г. Экземпляры всего: 3 ОХФ-МИОН (3) |
A975928-ОХФ Гладилин, А. В. Эконометрика [Текст] : учеб. пособие / А. В. Гладилин, А. Н. Герасимов, Е. И. Громов. - 2-е изд., стер. - Москва : КноРус, 2008. - 226, [6] с. - Библиогр.: с. 215. - ISBN 978-5-390-00105-9 : 100.00 р. Рекомендовано Учеб.-метод. об-нием по образованию в обл. мат. методов в экономике в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Математические методы в экономике" и другим экон. специальностям
Рубрики: экономика--экономико-математические методы и модели Кл.слова (ненормированные): эконометрика -- математические методы -- прогнозирование -- регрессионный анализ -- верификация Доп. точки доступа: Герасимов, А. Н. Громов, Е. И. Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A985276-ОХФ, A985277-ОХФ-ЧЗ-4, A985278-ОХФ-ЧЗ-4, Синицын, Сергей Владимирович. Программирование на языке высокого уровня [Текст] : учебник / С. В. Синицын, А. С. Михайлов, О. И. Хлытчиев. - Москва : Изд. центр "Академия", 2010. - 392, [8] с. : рис. - (Высшее профессиональное образование. Информатика). - Библиогр.: с. 385-388 (59 назв.). - ISBN 978-5-7695-6673-8 (в пер.) : 390.50 р., 495.00 р., 399 р. Рекомендовано Учеб.-метод. об-нием по образованию в обл. приклад. информатики в качестве учеб. для студентов вузов, обучающихся по специальности "Прикладная информатика (по областям)" и др. экон. специальностям
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): программирование -- языки высокого уровня -- языки программирования -- алгоритмизация -- тестирование -- верификация -- объектно-ориентированное программирование (ООП) Доп. точки доступа: Михайлов, Александр Сергеевич Хлытчиев, Олег Игоревич Экземпляры всего: 47 ОХФ (1), ОХФ-ЧЗ-4 (2), ОУОЕН (27), ОУОЕН (РК) (12), ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4) |
Учебная литература, A916251-ОХФ, A916252-ОХФ, A916253-ОХФ, Гецци, Карло. Основы инженерии программного обеспечения [Текст] : пер. с англ. / К. Гецци, М. Джазайери, Д. Мандриоли. - 2-е изд. - Санкт-Петербург : БХВ-Петербург, 2005. - 805, [13] с. : рис. - Библиогр.: с. 753-795. - Предм. указ.: с. 797-805. - ISBN 5-94157-403-7 (рус.) (в пер.). - ISBN 0-13-305699-6 (англ.) : 279.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): программная инженерия -- программное обеспечение -- проектирование -- верификация -- архитектура Доп. точки доступа: Джазайери, Мехди Мандриоли, Дино Экземпляры всего: 11 ОХФ (3), ОУОЕН (8) |
A917782-ОХФ Башкин, Вячеслав Антонович. Численное моделирование динамики вязкого совершенного газа [Текст] / В. А. Башкин, И. В. Егоров. - Москва : ФИЗМАТЛИТ, 2012. - 371, [1] с. : ил. - Библиогр.: с. 366-371. - ISBN 978-5-9221-1265-9 (в пер.) : 717.00 р.
Рубрики: физика--аэродинамика Кл.слова (ненормированные): вязкий газ -- аэродинамика -- численное моделирование -- сверхзвуковые потоки -- гиперзвуковые потоки -- обтекание тел -- круговые цилиндры -- эллиптические цилиндры -- верификация -- круговые конусы -- эллиптические конусы Доп. точки доступа: Егоров, Иван Васильевич Экземпляры всего: 1 ОХФ (1) |
A999991-ОХФ, A999992-ОХФ Аверина, Татьяна Александровна. Статистическое моделирование решений стохастических дифференциальных уравнений и систем со случайной структурой [Текст] / Т. А. Аверина ; Ин-т вычисл. математики и мат. геофизики Сиб. отд-ния РАН. - Новосибирск : Издательство СО РАН, 2019. - 349, [1] с. : граф., ил., табл. - Библиогр.: с. 310-344 (365 назв.). - ISBN 978-5-7692-1638-1 (в пер.) : 350.00 р.
Рубрики: математика--теория вероятностей и математическая статистика Кл.слова (ненормированные): стохастические дифференциальные уравнения -- стохастические системы -- стохастические уравнения -- случайные структуры -- статистическое моделирование -- верификация -- алгоритмы Экземпляры всего: 2 ОХФ (2) |