Приложение
для AndroidПолное описание
Alt, J. Fehlersimulation synchroner Schaltungen unter Berucksichtigung nicht-klassischer Fehlar : Diss / J.Alt. - Hannover : [s. n.], 1995. - 166 S. : Ill. - Текст : непосредственный.
Библиогр.:с.157-165
| ГРНТИ | УДК | |
| 50.07.03 | 004.38.052.42(043) |
Рубрики:
Вычислительные машины -- Погрешности
Кл.слова (ненормированные): вычислительная машина -- цифровая интегральная схема
Имеются экземпляры в отделах: всего 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.
Показать все результатыЗаказ фрагмента документа ₽