Полное описание
Галкин, И. М.
ГРНТИ УДК 50.01.81 004.415.5(04)
Рубрики: Программы для ЭВМ -- Качество
Кл.слова (ненормированные): КАЧЕСТВО -- ПРОГРАММА -- ЭВМ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/32304/5(455))
Шифр в сводном ЭК: 6e161c8b71bf79f8bb7d59d2e0ca65cc
Руденко А.Г. Математические модели и методы решения задачи расчета сечений шин питания БИС/СБИС / А. Г. Руденко, 1991. - 43 с. - Текст : непосредственный. Абрашин В.Н. Об одном классе разностных схем для уравнений вязкой несжимаемой жидкости в переменных скорость - давление / В. Н. Абрашин, С. Л. Лапко, 1992. - 24 с. - Текст : непосредственный. Мучинский А.Н. О точности вычислений по аддитивным разностным схемам / А. Н. Мучинский, В. А. Цурко, 1991. - 23 с. - Текст : непосредственный. Супруненко И.Д. Irreducible representations of simple algebraic croups containing matrices with big Jordan blocks 1 / И. Д. Супруненко, 1993. - 52 p. - Текст : непосредственный. Гороховик В.В. Условия первого и второго порядка локальной собственной минимальности в задачах векторной оптимизации / В. В. Гороховик, Н. Н. Рачковский, 1990. - 26 c. - Текст : непосредственный. Азаренок А.С. Вычислительная сложность некоторых графовых задач проектирования топологии БИС / СБИС / А. С. Азаренок, 1990. - 14 c. - Текст : непосредственный. Матусевич Л.В. Многокомпонентные разностные схемы с факторизацией нулевого порядка / Л. В. Матусевич, Ю. В. Минченков, 1992. - 18 с. - Текст : непосредственный. Галкин И.М. Использование семантических сетевых моделей для разработки и сопровождения программ / И. М. Галкин, 1989. - 40 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Галкин И.М. Использование семантических сетей в процессе создания и эксплуатации программ / И.М.Галкин, 1990. - 44 c. - Текст : непосредственный. Матус П.П. Об оценках точности разностных схем для квазилинейных гиперболических и многомерных параболических уравнений / П.П.Матус,Л.В.Станишевская, 1992. - 41 с. - Текст : непосредственный. Матусевич Л.В. О регуляризации многокомпонентных разностных схем / Л.В.Матусевич,Ю.В.Минченков, 1992. - 25 с. - Текст : непосредственный. Численное моделирование гидродинамических особенностей взаимодействия расплавленной частицы с поверхностью / В.Н.Абрашин,А.М.Будник,Г.К.Игнатьева и др., 1992. - 21 с. - Текст : непосредственный. Цветков В.И. Квадратурные формулы на основе классических ортогональных многочленов / В.И.Цветков, 1990. - 27 с. - Текст : непосредственный. Дзюба И.А. Разностные схемы метода переменных направлений для многомерных параболических задач математической физики / И.А.Дзюба, 1990. - 52 c. - Текст : непосредственный. Рапинчук А.С. Combinatorial theory of arithmetic groups / А.С.Рапинчук, 1990. - 50 p. - Текст : непосредственный. Минченков Ю.В. Многокомпонентные разностные схемы метода переменных направлений решения второй и третьей краевых задач для параболических и гиперболических уравнений в произвольной области / Ю.В.Минченков, 1990. - 36 с. - Текст : непосредственный. Исакова Г.А. Асимптотические свойства некоторых оценок спектральных характеристик многомерных стационарных процессов / Г.А.Исакова, 1990. - 23 c. - Текст : непосредственный. Метельский Н.Н. Изотетические оболочки ограниченного ранга, типа и рода / Н.Н.Метельский,В.С.Крикун, 1990. - 28 c. - Текст : непосредственный. Клещев А.С. On restrictions of irreducible modular representations of semisimple algebraic groups and symmetric groups to some natural subgroups / А.С.Клещев, 1993. - 57 p. - Текст : непосредственный. Показать все результаты Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный. Зимнович Р.В. Программно-диагностический комплекс для управления состоянием многопараметрических технических объектов на основе методов семантического анализа : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Р. В. Зимнович, 2007. - 27 с. - Текст : непосредственный. Бочкарев С.В. Диагностика и надежность автоматизированных систем / С. В. Бочкарев, А. И. Цаплин, 2006. - 262 с. - Текст : непосредственный. Сборник научных трудов. № 17 : Диагностика и прогнозирование состояния сложных систем, 2007. - 77 с. - Текст : непосредственный. Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем / Л. К. Птицына, В. В. Бородин, 1997. - 106 с. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Латышев А.В. Диагностирование непрерывных систем и цепей / А. В. Латышев, 1990. - 46 c. - Текст : непосредственный. Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Perry W.A. Handbook of diagnosing and solving computer problems / W. A. Perry, 1989. - XII,255 p. мкф. - Текст : непосредственный. Prace / Inst. podstaw informatyki. 655 : Wplyw liniowych sprzezen zwrotnych na skutecznosc analizy sygnaturowej uszkodzen / A.Hlawiczka,K.Mostowski, 1989. - 63 s. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Гукин Д. Устранение неисправностей в ПК для "чайников" : монография / Д. Гукин, 2006. - 351 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Шестопалов А.А. Верификация термомеханической программы Fred по результатам экспериментов IFA-503.2 (Halden Reactor) / А. А. Шестопалов, К. О. Микитюк, Фомиченко П. А., 2004. - 41 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Промский А.В. Формальный подход к локализации ошибок / А.В. Промский, 2012. - 32 p. - Текст : непосредственный. Марьясов И.В. Метод смешанной аксиоматической семантики / И.В. Марьясов, 2011. - 42 p. - Текст : непосредственный. Непомнящий В.А. Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2012. - 52 с. - Текст : непосредственный. Дубрановский И.В. Верификация C#-программ: перевод языка C#-light в язык C#-kernel / И.В. Дубрановский, 2004. - 60 с. - Текст : непосредственный. Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный. Карев А.А. Оценка показателей качества программного обеспечения информационно-вычислительной системы / А.А.Карев,В.М.Добрянский, 2003. - 12 с. - Текст : непосредственный. Towards C# program verification: a three-level approach / В. А. Непомнящий [и др.], 2005. - 38 p. - Текст : непосредственный. Рязанов А.Е. Система БУЦЕФАЛ: комбинирование дедуктивных процедур и описание стратегий поиска доказательств / А.Е.Рязанов, 1998. - 42 с. - Текст : непосредственный. Батраков В.А. Автоматическое доказательство формул корректности предикатной программы в системе RUSSELL / В. А. Батраков, В. И. Шелехов, 2012. - 32 с. - Текст : непосредственный. Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный. Чушкин М.С. Генерация и доказательство условий корректности предикатных программ / М. С. Чушкин, В. И. Шелехов, 2012. - 49 с. - Текст : непосредственный. На пути к верификации С-программ. Ч.2 Язык C-light-kernel и его аксиоматическая семантика / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2001. - 57 с. - Текст : непосредственный. Галкин И.М. Сетевое моделирование, статический и динамический анализ программ / И.М.Галкин, 1991. - 52 c. - Текст : непосредственный. Марьясов И.В. На пути к автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernel / И. В. Марьясов, 2008. - 32 с. - Текст : непосредственный. Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И.С.Ануреев, 2002. - 29 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
