Приложение
для AndroidПолное описание
Рогожин, Ю. В. О формальных моделях компьютеров и вычислений : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / Ю. В. Рогожин. - М., 1999. - 35 с. : ил. - Текст : непосредственный.
В надзаг. :МГУ им.М.В.Ломоносова.Фак. вычислит. математики и кибернетики. Библиогр.:с. 33-35(25 назв.)
| ГРНТИ | УДК | |
| 50.07.03 | 004.38.001.57(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР99-7392)
Шифр в сводном ЭК: d2d11ab7487b0df1392daa18b4459f2b
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 с. - Текст : непосредственный.
Показать все результатыМельникова С.Ю. Разработка и исследование средств смешанного моделирования вычислительных устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:06.13.05 / С. Ю. Мельникова, 1995. - 13 с. - Текст : непосредственный.Орлов М.А. Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05, 05.13.12 / М. А. Орлов, 1993. - 85 с. - Текст : непосредственный.Лебедев В.Б. Методы и средства инвариантного комбинаторно-упорядоченного моделирования элементов и устройств вычислительной техники : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05,05.13.16 / В. Б. Лебедев, 1999. - 37 с. - Текст : непосредственный.Лебедев В.Б. Методы и средства инвариантного комбинаторно-упорядоченного моделирования элементов и устройств вычислительной техники : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.05,05.13.16 / В. Б. Лебедев, 1998. - 37 с. - Текст : непосредственный.Рогожин Ю.В. О формальных моделях компьютеров и вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / Ю. В. Рогожин, 1999. - 35 с. - Текст : непосредственный.Григорьев А.В. Повышение эффективности диалоговых систем функционально-логического моделирования вычислительных средств на секционных микропроцессорах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Григорьев, 1990. - 15 с. - Текст : непосредственный.
Заказ фрагмента документа ₽