Приложение
для AndroidПолное описание
Петров, Ю. Обеспечение достоверности и надежности компьютерных расчетов / Ю. Петров. - СПб. : БХВ-Санкт-Петербург, 2008 (СПб.). - 160 с. - Библиогр.: с. 154-155. - 1500 экз. - ISBN 978-5-9775-0234-4 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.07.03 | 004.38.052 |
Рубрики:
Вычислительные машины -- Погрешности
Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
Заказаны экз-ры для отделов: ХР
Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Орлов М.А. Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05, 05.13.12 / М. А. Орлов, 1993. - 85 с. - Текст : непосредственный.Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный.Родионов А.В. Геометрические свойства и численные методы нелинейной оптимизации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. В. Родионов, 1993. - 16 с. - Текст : непосредственный.Волков Ю.В. Общий стохастический метод внешних аппроксимаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ю. В. Волков, 1996. - 20 с. - Текст : непосредственный.Protean: автоматизированное средство на основе сетей Петри высокого уровня для спецификации и проверки протоколов связи / ВЦП. - 44 c. - Текст : непосредственный.Рогожин Ю.В. О формальных моделях компьютеров и вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / Ю. В. Рогожин, 1999. - 35 с. - Текст : непосредственный.Ченцов А.Г. Конечно-аддитивные меры и релаксации экстремальных задач / А.Г.Ченцов;Под ред.Н.Н.Красовского, 1993. - 232 c. - Текст : непосредственный.Рыков А.С. Поисковая оптимизация. Методы деформируемых конфигураций / А.С.Рыков, 1993. - 215 c. - Текст : непосредственный.Белоусов Е.Г. Разрешимость и устойчивость задач полиномиального программирования / Е.Г.Белоусов,В.Г.Андронов, 1993. - 271 c. - Текст : непосредственный.Dupmeier C. Algebraische Spezifikation und Modellierung in Hoheren Petri-Netzen mit zustandsabhangiger Schaltregel : Diss. / C.D@:upmeier, 1994. - 147 S. - Текст : непосредственный.Малиновский Ю.Г. Элементы математического программирования : Учеб.пособие / Ю.Г.Малиновский, 1995. - 100 c. - Текст : непосредственный.Alt J. Fehlersimulation synchroner Schaltungen unter Berucksichtigung nicht-klassischer Fehlar : Diss / J.Alt, 1995. - 166 S. - Текст : непосредственный.Пивоварчик А.А. Математическое программирование : Учеб.пособие для высш.экон.и техн.учеб.заведений / А.А.Пивоварчик, 1997. - 300 с. - Текст : непосредственный.Козюра В.Е. Верификация раскрашенных сетей Петри методом проверки моделей / В. Е. Козюра, В. А. Непомнящий, Р. М. Новиков, 2001. - 24 с. - Текст : непосредственный.Машина Минского, свойства нильпотентности и размерность Гельфанда-Кириллова в конечно-определенных полугруппах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / И. А. Иванов-Погодаев, 2006. - 9 с. - Текст : непосредственный.Методы моделирования вычислительных систем : учеб. пособие / Г. П. Суворова, 2007. - 103 с. - Текст : непосредственный.Обеспечение достоверности и надежности компьютерных расчетов / Ю. Петров, 2008. - 160 с. - Текст : непосредственный.Fejer P.A. Mathematical foundations of computer science. Vol. 1 : Sets, relations, and induction, 1991. - X,425 p. - Текст : непосредственный.Network analysis : methodological foundations / ed. : U. Brandes, T. Erlebach, 2005 r=on-line.
Показать все результатыШапилов В.Д. Исследование и разработка систем тестового технического диагностирования цифровых узлов высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Д. Шапилов, 1991. - 22 с. - Текст : непосредственный.Громов Ф.И. Метод сохранения и восстановления состояния вычислительного процесса по сигналу отказа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ф. И. Громов, 1991. - 25 с. - Текст : непосредственный.Дорофеева О.С. Функциональное диагностирование вычислительных процессов на основе стандартных схем программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. С. Дорофеева, 1992. - 16 с. - Текст : непосредственный.Обломов И.А. Программный метод функционального диагностирования вычислительных процессов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. А. Обломов, 1993. - 16 с. - Текст : непосредственный.Язневич В.И. Исследование и разработка методов и средств обеспечения и организации диагностирования высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / В. И. Язневич, 1993. - 16 с. - Текст : непосредственный.Нестеров В.М. Твинные арифметики и их применение в методах и алгоритмах двустороннего интервального оценивания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / В. М. Нестеров, 1999. - 34 с. - Текст : непосредственный.Демуськов А.Б. Организация мониторинга параметров вычислительного процесса в комплексах и сетях ЭВМ при натурных и имитационных экспериментах : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / А. Б. Демуськов, 1999. - 20 с. - Текст : непосредственный.Димитриев Ю.К. Самодиагностика модульных вычислительных систем / Ю.К.Димитриев, 1993. - 292 c. - Текст : непосредственный.Tutorial:Fault tolerant computing / ed. V. P. Nelson, ed. B. D. Carroll, 1987. - VII,419 p. p. - Текст : непосредственный.Щербаков, Н. С. Надежность и достоверность работы цифровых устройств и ЭВМ : Учеб. пособие по курсу "Основы технической диагностики автоматизированных систем управления. Ч. 1, 1994. - 70 с. - Текст : непосредственный.Перегуда А.И. Методы расчета показателей надежности ЭВМ : Учеб. пособие по курсу Надежность, контроль и диагностика ЭВМ / А.И.Перегуда, 1994. - 70 c. - Текст : непосредственный.22d international symposium on fault-tolerant computing,July 8-10,1992,Boston(Ma) : Digest / FTCS-22, 1992. - XVI,538 p. p. - Текст : непосредственный. Pacific Rim international symposium on fault tolerant systems,Sept.26-27,Kawasaki,1991 : Proc. / PRFTS'91, 1991. - 259 p. - Текст : непосредственный.Chen T. Fault diagnosis and fault tolerance : A systematic approach to special topics / T.Chen, 1992. - 197 p. - Текст : непосредственный.Щербаков, Н. С. Функциональное и тестовое диагностирование цифровых устройств и ЭВМ : Учеб.пособие по курсу "Основы технической диагностики АСУ". Ч. 2, 1994. - 123 с.,16 л.ил. с.,16 л.ил. - Текст : непосредственный.Перегуда А.И. Методы расчета показателей надежности ЭВМ : Учеб. пособие по курсу "Надежность, контроль и диагностика ЭВМ" / А.И.Перегуда, 1994. - 42 c. - Текст : непосредственный.Микони С.В. Общие диагностические базы знаний вычислительных систем / С.В.Микони, 1992. - 236 c. - Текст : непосредственный.Alt J. Fehlersimulation synchroner Schaltungen unter Berucksichtigung nicht-klassischer Fehlar : Diss / J.Alt, 1995. - 166 S. - Текст : непосредственный.Перегуда А.И. Методы расчета показателей надежности ЭВМ : Учеб. пособие по курсу "Надежность, контроль и диагностика ЭВМ" / А.И.Перегуда,А.А.Повякало, 1996. - 63 c. - Текст : непосредственный.Components quality and reliability 1991-92, 1990. - Pag.var. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽