Корректность, устойчивость, точность программного обеспечения

Корректность, устойчивость, точность программного обеспечения

書目詳細資料
主要作者:	Тоценко В. Г. Виталий Георгиевич
其他作者:	Александров А. В. Александр Владимирович, Парамонов Н. Б. Николай Борисович
出版:	Киев, Наукова думка, 1990
主題:	вычислительные машины электронные вычислительные машины программное обеспечение качество корректность устойчивость точность
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=160865

相似書籍

Макропроцессоры и мобильность программного обеспечения пер. с англ.
由: Браун П. Питер Дж.
出版: (Москва, Мир, 1977)

Методы создания качественного программного обеспечения ЭВМ
由: Бутаков Е. А. Евгений Артемович
出版: (Москва, Энергоатомиздат, 1984)

Надежность программного обеспечения. Анализ крупномасштабных разработок пер. с англ.
由: Тейер Т. Томас
出版: (Москва, Мир, 1981)

Экономика, разработка и использование программного обеспечения ЭВМ учебник
出版: (Москва, Финансы и статистика, 1995)

Проектирование программного обеспечения персональной ЭВМ Искра-226
出版: (Киев, Тэхника, 1989)

Точность вычислительных устройств и алгоритмов
由: Соренков Э. И. Эдуард Иванович
出版: (Москва, Машиностроение, 1976)

Оценка надежности программного обеспечения
由: Пальчун Б. П. Борис Павлович
出版: (СПб., Наука, 1994)

Мобильность программного обеспечения пер. с англ.
出版: (Москва, Мир, 1980)

Электронные вычислительные машины учебное пособие
由: Разин В. М. Виктор Мартемьянович
出版: (Томск, ТПИ, 1975)

Корректность параллельных вычислительных процессов
由: Ачасова С. М. Светлана Михайловна
出版: (Новосибирск, Наука, 1990)

Методы и средства синтеза программного обеспечения в ЭФ-технологии проектирования СРВ диссертация на соискание ученой степени кандидата технических наук Спец.05.13.11.
由: Балова Т. Г. Татьяна Григорьевна
出版: (Томск, 1986)

Сопровождение программного обеспечения пер. с англ.
由: Гласс Р. Роберт
出版: (Москва, Мир, 1983)

Электронные вычислительные машины. Введение в специальность учебное пособие
由: Разин В. М. Виктор Мартемьянович
出版: (Томск, ТПИ, 1985)

Точность результатов автоматизированного эксперимента
由: Кармалита В. А. Вячеслав Алексеевич
出版: (Москва, Машиностроение, 1991)

Математическое и программное обеспечение задач дискретной оптимизации сборник научных трудов
出版: (Киев, ИК, 1989)

Lotus Organizer пер. с нем.
由: Визе М. Манс
出版: (Москва, Бином, 1995)

C Tools for Scientists and Engineers
由: Baker L. Louis
出版: (New York, McGraw-Hill Publishing Company, 1989)

Практическое программирование на dBASE
由: Берещанский Д. Г. Дмитрий Григорьевич
出版: (Москва, Финансы и статистика, 1989)

Программирование на стандартном КОБОЛе перевод с анлийского
由: Маджинис Дж.
出版: (Москва, Мир, 1979)

Кн. 5 : Персонально-профессиональные ЭВМ
出版: (1988)

Персональный компьютер на вашем рабочем месте
由: Крайзмер Л. П. Леонид Павлович
出版: (Ленинград, Лениздат, 1991)

Программирование на параллельных вычислительных системах пер. с англ.
出版: (Москва, Мир, 1991)

Системное и теоретическое программирование сборник научных статей
出版: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1988)

Математическое и программное обеспечение решения задач оптимизации изотонных псевдобулевых функций диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.11
由: Вайнгауз А. М. Александр Маркович
出版: (Кемерово, 1985)

Программирование на языке Форт
由: Семенов Ю. А. Юрий Алексеевич
出版: (Москва, Радио и связь, 1991)

Система программирования Модула-2-СУПЕР
出版: (Москва, ВЦ АН СССР, 1989)

Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа диссертация на соискание ученой степени кандидата технических наук
由: Рыбалка С. А. Сергей Анатольевич
出版: (Томск, Изд-во ТПУ, 1997)

Пакеты прикладных программ. Методы и разработки
出版: (Новосибирск, Наука, 1981)

Структурное проектирование надежных программ встроенных ЭВМ
由: Штрик А. А.
出版: (Ленинград, Машиностроение, 1989)

Тестовое программное обеспечение межмашинных каналов связи ЭВМ типа СМ-2 с несколькими ЭВМ БЭСМ-6
由: Дворникова И. П. Ирина Павловна
出版: (Москва, Изд-во ИПМ, 1984)

Алгоритмы и программы, разработанные и используемые в Литовской ССР аннотированный указатель материалов по прикладному прогрограммному обеспечению
出版: (Вильнюс, Изд-во ЛитНИИНТИ, 1982)

Т. 31 : Архитектура ЭВМ и организация вычислительных процессов
出版: (1991)

Интеллектуализация программного обеспечения информационно-вычислительных систем сборник научных трудов
出版: (Киев, Изд-во ИК, 1990)

Программное обеспечение ПЭВМ IBM PC для научных исследований сборник статей
出版: (Иркутск, ВостСибНИИГГиМС, 1991)

Программное обеспечение персональных ЭВМ справочное пособие
出版: (Киев, Наукова думка, 1989)

Использование ODBC для доступа к базам данных пер. с англ.
由: Сигнор Р. Роберт
出版: (Москва, Бином, 1995)

Электронные цифровые вычислительные машины учебник
由: Самофалов К. Г. Константин Григорьевич
出版: (Киев, Вища школа, 1976)

Вып. 9
出版: (1986)

Вычислительные машины и программирование
由: Демидович Н. Т. Неонила Тарасовна
出版: (Минск, Университетское, 1985)

Математические методы и программное обеспечение в системах обработки информации сборник научных трудов
出版: (Киев, ИК, 1989)