Надежность программной продукции
| Автор: | Карповский Е. Я. Ефим Яковлевич |
|---|---|
| Інші автори: | Чижов С. А. Сергей Алексеевич |
| Мова: | Російська |
| Опубліковано: |
Киев, Тэхника, 1990
|
| Предмети: | |
| Формат: | Книга |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=228851 |
Схожі ресурси
Нормирование жизненного цикла программной продукции
за авторством: Котов С. Л. Сергей Львович
Опубліковано: (Москва, ЮНИТИ-ДАНА, 2002)
за авторством: Котов С. Л. Сергей Львович
Опубліковано: (Москва, ЮНИТИ-ДАНА, 2002)
Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
за авторством: Тейер Т. Томас
Опубліковано: (Москва, Мир, 1981)
за авторством: Тейер Т. Томас
Опубліковано: (Москва, Мир, 1981)
Цикл компьютерных лабораторных работ по физике на базе графической программной технологии; Естественнонаучное образование - фундамент устойчивого развития общества
Опубліковано: (2000)
Опубліковано: (2000)
Оценка надежности программного обеспечения
за авторством: Пальчун Б. П. Борис Павлович
Опубліковано: (СПб., Наука, 1994)
за авторством: Пальчун Б. П. Борис Павлович
Опубліковано: (СПб., Наука, 1994)
Способ использования программной среды Labview для анализа следящей системы; Научная инициатива иностранных студентов и аспирантов российских вузов; Т. 1
за авторством: Ле Ван Туан
Опубліковано: (2014)
за авторством: Ле Ван Туан
Опубліковано: (2014)
Прогрессивные технологии программирования: материалы семинара
Опубліковано: (Москва, Знание, 1983)
Опубліковано: (Москва, Знание, 1983)
Язык компьютера: пер. с англ.
Опубліковано: (Москва, Мир, 1989)
Опубліковано: (Москва, Мир, 1989)
Процессы и стандарты жизненного цикла сложных программных средств: справочник
за авторством: Липаев В. В. Владимир Васильевич
Опубліковано: (Москва, СИНТЕГ, 2006)
за авторством: Липаев В. В. Владимир Васильевич
Опубліковано: (Москва, СИНТЕГ, 2006)
Характеристики качества программного обеспечения: пер. с англ.
Опубліковано: (Москва, Мир, 1981)
Опубліковано: (Москва, Мир, 1981)
Методы и средства синтеза программного обеспечения в ЭФ-технологии проектирования СРВ: диссертация на соискание ученой степени кандидата технических наук; Спец.05.13.11.
за авторством: Балова Т. Г. Татьяна Григорьевна
Опубліковано: (Томск, 1986)
за авторством: Балова Т. Г. Татьяна Григорьевна
Опубліковано: (Томск, 1986)
Корректность, устойчивость, точность программного обеспечения
за авторством: Тоценко В. Г. Виталий Георгиевич
Опубліковано: (Киев, Наукова думка, 1990)
за авторством: Тоценко В. Г. Виталий Георгиевич
Опубліковано: (Киев, Наукова думка, 1990)
Макропроцессоры и мобильность программного обеспечения: пер. с англ.
за авторством: Браун П. Питер Дж.
Опубліковано: (Москва, Мир, 1977)
за авторством: Браун П. Питер Дж.
Опубліковано: (Москва, Мир, 1977)
Структурное проектирование надежных программ встроенных ЭВМ
за авторством: Штрик А. А.
Опубліковано: (Ленинград, Машиностроение, 1989)
за авторством: Штрик А. А.
Опубліковано: (Ленинград, Машиностроение, 1989)
Математическое и программное обеспечение задач дискретной оптимизации: сборник научных трудов
Опубліковано: (Киев, ИК, 1989)
Опубліковано: (Киев, ИК, 1989)
Надежность вычислительных систем: пер. с англ.
за авторством: Лонгботтом Р. Рой
Опубліковано: (Москва, Энергоатомиздат, 1985)
за авторством: Лонгботтом Р. Рой
Опубліковано: (Москва, Энергоатомиздат, 1985)
Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: диссертация на соискание ученой степени кандидата технических наук
за авторством: Сарайкин А. В. Андрей Витальевич
Опубліковано: (Томск, 2000)
за авторством: Сарайкин А. В. Андрей Витальевич
Опубліковано: (Томск, 2000)
Надежность аппаратно-программных комплексов: учебное пособие для вузов
за авторством: Черкесов Г. Н. Геннадий Николаевич
Опубліковано: (СПб., Питер, 2005)
за авторством: Черкесов Г. Н. Геннадий Николаевич
Опубліковано: (СПб., Питер, 2005)
Электронные вычислительные машины: учебное пособие
за авторством: Разин В. М. Виктор Мартемьянович
Опубліковано: (Томск, ТПИ, 1975)
за авторством: Разин В. М. Виктор Мартемьянович
Опубліковано: (Томск, ТПИ, 1975)
Анализ электронных схем на ЭЦВМ
Опубліковано: (Львов, Вища школа, 1975)
Опубліковано: (Львов, Вища школа, 1975)
Справочник по цифровой вычислительной технике. ( Программное обеспечение)
Опубліковано: (Киев, Технiка, 1981)
Опубліковано: (Киев, Технiка, 1981)
Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: автореферат диссертации на соискание ученой степени кандидата технических наук
за авторством: Сарайкин А. В. Андрей Витальевич
Опубліковано: (Томск, [Б. и.], 2000)
за авторством: Сарайкин А. В. Андрей Витальевич
Опубліковано: (Томск, [Б. и.], 2000)
C Tools for Scientists and Engineers
за авторством: Baker L. Louis
Опубліковано: (New York, McGraw-Hill Publishing Company, 1989)
за авторством: Baker L. Louis
Опубліковано: (New York, McGraw-Hill Publishing Company, 1989)
Создание и реализация имитационных моделей в программной среде AnyLogic: учебное пособие
за авторством: Бунцев И. А. Иван Александрович
Опубліковано: (Москва, Горячая линия-Телеком, 2015)
за авторством: Бунцев И. А. Иван Александрович
Опубліковано: (Москва, Горячая линия-Телеком, 2015)
Надежность программного обеспечения систем обработки данных: учебник
за авторством: Шураков В. В. Виктор Владимирович
Опубліковано: (Москва, Финансы и статистика, 1987)
за авторством: Шураков В. В. Виктор Владимирович
Опубліковано: (Москва, Финансы и статистика, 1987)
Надежность программного обеспечения систем обработки данных: учебник
за авторством: Шураков В. В. Виктор Владимирович
Опубліковано: (Москва, Статистика, 1981)
за авторством: Шураков В. В. Виктор Владимирович
Опубліковано: (Москва, Статистика, 1981)
Надежность специального математического обеспечения управления
за авторством: Карповский Е. Я. Ефим Яковлевич
Опубліковано: (Киев, Вища школа, 1982)
за авторством: Карповский Е. Я. Ефим Яковлевич
Опубліковано: (Киев, Вища школа, 1982)
Кн. 1 : Введение в ЭВМ; Электронные вычислительные машины
Опубліковано: (1987)
Опубліковано: (1987)
Кн. 1 : Введение в ЭВМ; Электронные вычислительные машины
Опубліковано: (1991)
Опубліковано: (1991)
Вычислительные машины и системы: учебное пособие
Опубліковано: (Москва, Высшая школа, 1993)
Опубліковано: (Москва, Высшая школа, 1993)
Электронные вычислительные машины. Введение в специальность: учебное пособие
за авторством: Разин В. М. Виктор Мартемьянович
Опубліковано: (Томск, ТПИ, 1985)
за авторством: Разин В. М. Виктор Мартемьянович
Опубліковано: (Томск, ТПИ, 1985)
Ч. 1; Руководство пользователя ПЭВМ
Опубліковано: (1992)
Опубліковано: (1992)
Алгоритмы и структуры данных: пер. с англ.
за авторством: Вирт Н. Никлаус
Опубліковано: (Москва, Мир, 1989)
за авторством: Вирт Н. Никлаус
Опубліковано: (Москва, Мир, 1989)
Алгоритмы + структуры данных-программы: пер. с англ.
за авторством: Вирт Н. Никлаус
Опубліковано: (Москва, Мир, 1985)
за авторством: Вирт Н. Никлаус
Опубліковано: (Москва, Мир, 1985)
Надёжность электронных вычислительных машин; (Основы теории и расчёта)
за авторством: Вайрадян А. С. Акоп Семёнович
Опубліковано: (Москва, Изд-во МИФИ, 1966)
за авторством: Вайрадян А. С. Акоп Семёнович
Опубліковано: (Москва, Изд-во МИФИ, 1966)
Вып. 1: Общие сведения. Графический ввод схем; Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ
Опубліковано: (1992)
Опубліковано: (1992)
Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа: диссертация на соискание ученой степени кандидата технических наук
за авторством: Рыбалка С. А. Сергей Анатольевич
Опубліковано: (Томск, Изд-во ТПУ, 1997)
за авторством: Рыбалка С. А. Сергей Анатольевич
Опубліковано: (Томск, Изд-во ТПУ, 1997)
Интегрированная информационная поддержка жизненного цикла машиностроительной продукции: принципы, технологии, методы, модели
за авторством: Судов Е. В. Евгений Владимирович
Опубліковано: (Москва, Издательский Дом МВМ, 2003)
за авторством: Судов Е. В. Евгений Владимирович
Опубліковано: (Москва, Издательский Дом МВМ, 2003)
Методы создания качественного программного обеспечения ЭВМ
за авторством: Бутаков Е. А. Евгений Артемович
Опубліковано: (Москва, Энергоатомиздат, 1984)
за авторством: Бутаков Е. А. Евгений Артемович
Опубліковано: (Москва, Энергоатомиздат, 1984)
Математическое и программное обеспечение решения задач оптимизации изотонных псевдобулевых функций: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11
за авторством: Вайнгауз А. М. Александр Маркович
Опубліковано: (Кемерово, 1985)
за авторством: Вайнгауз А. М. Александр Маркович
Опубліковано: (Кемерово, 1985)
Программирование на языке Форт
за авторством: Семенов Ю. А. Юрий Алексеевич
Опубліковано: (Москва, Радио и связь, 1991)
за авторством: Семенов Ю. А. Юрий Алексеевич
Опубліковано: (Москва, Радио и связь, 1991)
Схожі ресурси
-
Нормирование жизненного цикла программной продукции
за авторством: Котов С. Л. Сергей Львович
Опубліковано: (Москва, ЮНИТИ-ДАНА, 2002) -
Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
за авторством: Тейер Т. Томас
Опубліковано: (Москва, Мир, 1981) -
Цикл компьютерных лабораторных работ по физике на базе графической программной технологии; Естественнонаучное образование - фундамент устойчивого развития общества
Опубліковано: (2000) -
Оценка надежности программного обеспечения
за авторством: Пальчун Б. П. Борис Павлович
Опубліковано: (СПб., Наука, 1994) -
Способ использования программной среды Labview для анализа следящей системы; Научная инициатива иностранных студентов и аспирантов российских вузов; Т. 1
за авторством: Ле Ван Туан
Опубліковано: (2014)