Приложение
для AndroidПолное описание
Alt, J. Fehlersimulation synchroner Schaltungen unter Berucksichtigung nicht-klassischer Fehlar : Diss / J.Alt. - Hannover, 1995. - 166 S. : Ill. - Текст : непосредственный.
Библиогр.:с.157-165
| ГРНТИ | УДК | |
| 50.07.03 | 004.38.052.42(043) |
Рубрики:
Вычислительные машины -- Погрешности
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ МАШИНА -- ЦИФРОВАЯ ИНТЕГРАЛЬНАЯ СХЕМА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/19216)
Шифр в сводном ЭК: 4be06025a2fecb4608bb277f2ac7f8dc
Software and System Modeling. - выходит с 2002г. - Текст : электронный.Пивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный.Network analysis / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Ченцов А.Г. Конечно-аддитивные меры и релаксации экстремальных задач / А.Г.Ченцов;Под ред.Н.Н.Красовского, 1993. - 232 c. - Текст : непосредственный.Computer Communications Review : SIG / Association for Computing Machinery (New York, NY). - Журнал выходит с 1978г. - Текст : непосредственный.Петров Ю. Обеспечение достоверности и надежности компьютерных расчетов / Ю. Петров, 2008. - 160 с. - Текст : непосредственный.Рыков А.С. Поисковая оптимизация. Методы деформируемых конфигураций / А.С.Рыков, 1993. - 215 c. - Текст : непосредственный.Белоусов Е.Г. Разрешимость и устойчивость задач полиномиального программирования / Е.Г.Белоусов,В.Г.Андронов, 1993. - 271 c. - Текст : непосредственный.Иванов-Погодаев И.А. Машина Минского, свойства нильпотентности и размерность Гельфанда-Кириллова в конечно-определенных полугруппах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / И. А. Иванов-Погодаев, 2006. - 9 с. - Текст : непосредственный.Орлов М.А. Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05, 05.13.12 / М. А. Орлов, 1993. - 85 с. - Текст : непосредственный.Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный.Turner R. Computable models / R. Turner, 2009 r=on-line. - Текст : электронный.Малиновский Ю.Г. Элементы математического программирования : Учеб.пособие / Ю.Г.Малиновский, 1995. - 100 c. - Текст : непосредственный.Стененко А.А. Верификация раскрашенных сетей Петри методом проверки моделей / А. А. Стененко, В. А. Непомнящий, 2015. - 27 с. - Текст : непосредственный.Волков Ю.В. Общий стохастический метод внешних аппроксимаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ю. В. Волков, 1996. - 20 с. - Текст : непосредственный.Alt J. Fehlersimulation synchroner Schaltungen unter Berucksichtigung nicht-klassischer Fehlar : Diss / J.Alt, 1995. - 166 S. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Козюра В.Е. Верификация раскрашенных сетей Петри методом проверки моделей / В. Е. Козюра, В. А. Непомнящий, Р. М. Новиков, 2001. - 24 с. - Текст : непосредственный.Fejer P.A. Mathematical foundations of computer science. Vol. 1 : Sets, relations, and induction, 1991. - X,425 p. - Текст : непосредственный.Суворова Г.П. Методы моделирования вычислительных систем : учеб. пособие / Г. П. Суворова, 2007. - 103 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽