Методы и средства синтеза программного обеспечения в ЭФ-технологии проектирования СРВ: диссертация на соискание ученой степени кандидата технических наук; Спец.05.13.11.
| Yazar: | Балова Т. Г. Татьяна Григорьевна |
|---|---|
| Müşterek Yazar: | Томский политехнический институт |
| Diğer Yazarlar: | Погребной В. К. (научный руководитель) |
| Dil: | Rusça |
| Baskı/Yayın Bilgisi: |
Томск, 1986
|
| Konular: | |
| Materyal Türü: | Kitap |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=49241 |
Benzer Materyaller
Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
Yazar:: Тейер Т. Томас
Baskı/Yayın Bilgisi: (Москва, Мир, 1981)
Yazar:: Тейер Т. Томас
Baskı/Yayın Bilgisi: (Москва, Мир, 1981)
Корректность, устойчивость, точность программного обеспечения
Yazar:: Тоценко В. Г. Виталий Георгиевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1990)
Yazar:: Тоценко В. Г. Виталий Георгиевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1990)
Математическое и программное обеспечение решения задач оптимизации изотонных псевдобулевых функций: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11
Yazar:: Вайнгауз А. М. Александр Маркович
Baskı/Yayın Bilgisi: (Кемерово, 1985)
Yazar:: Вайнгауз А. М. Александр Маркович
Baskı/Yayın Bilgisi: (Кемерово, 1985)
Макропроцессоры и мобильность программного обеспечения: пер. с англ.
Yazar:: Браун П. Питер Дж.
Baskı/Yayın Bilgisi: (Москва, Мир, 1977)
Yazar:: Браун П. Питер Дж.
Baskı/Yayın Bilgisi: (Москва, Мир, 1977)
Оценка надежности программного обеспечения
Yazar:: Пальчун Б. П. Борис Павлович
Baskı/Yayın Bilgisi: (СПб., Наука, 1994)
Yazar:: Пальчун Б. П. Борис Павлович
Baskı/Yayın Bilgisi: (СПб., Наука, 1994)
Характеристики качества программного обеспечения: пер. с англ.
Baskı/Yayın Bilgisi: (Москва, Мир, 1981)
Baskı/Yayın Bilgisi: (Москва, Мир, 1981)
Вопросы проектирования архитектуры и программного обеспечения специализированных вычислительных комплексов
Baskı/Yayın Bilgisi: (Ленинград, Изд-во ЛЭТИ, 1986)
Baskı/Yayın Bilgisi: (Ленинград, Изд-во ЛЭТИ, 1986)
Интеллектуализация программного обеспечения информационно-вычислительных систем: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, Изд-во ИК, 1990)
Baskı/Yayın Bilgisi: (Киев, Изд-во ИК, 1990)
Технология проектирования параллельного и распределенного программного обеспечения с использованием PS-сетей: диссертация на соискание ученой степени кандидата технических наук
Yazar:: Мирошниченко Е. А. Евгений Александрович
Baskı/Yayın Bilgisi: (Томск, 1997)
Yazar:: Мирошниченко Е. А. Евгений Александрович
Baskı/Yayın Bilgisi: (Томск, 1997)
Мобильность программного обеспечения: пер. с англ.
Baskı/Yayın Bilgisi: (Москва, Мир, 1980)
Baskı/Yayın Bilgisi: (Москва, Мир, 1980)
Сопровождение программного обеспечения: пер. с англ.
Yazar:: Гласс Р. Роберт
Baskı/Yayın Bilgisi: (Москва, Мир, 1983)
Yazar:: Гласс Р. Роберт
Baskı/Yayın Bilgisi: (Москва, Мир, 1983)
Методы создания качественного программного обеспечения ЭВМ
Yazar:: Бутаков Е. А. Евгений Артемович
Baskı/Yayın Bilgisi: (Москва, Энергоатомиздат, 1984)
Yazar:: Бутаков Е. А. Евгений Артемович
Baskı/Yayın Bilgisi: (Москва, Энергоатомиздат, 1984)
Метод формирования гибридных моделей и инструментальный комплекс для построения экспертных систем: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11
Yazar:: Силич М. П. Мария Петровна
Baskı/Yayın Bilgisi: (Томск, 1993)
Yazar:: Силич М. П. Мария Петровна
Baskı/Yayın Bilgisi: (Томск, 1993)
Принципы разработки программного обеспечения: пер. с англ.
Yazar:: Зелковиц М. В. Марвин В.
Baskı/Yayın Bilgisi: (Москва, Мир, 1982)
Yazar:: Зелковиц М. В. Марвин В.
Baskı/Yayın Bilgisi: (Москва, Мир, 1982)
Принципы работы и система программного обеспечения МП ЕС 2700
Yazar:: Семерджян М. А. Мигран Арамович
Baskı/Yayın Bilgisi: (Москва, Наука, 1988)
Yazar:: Семерджян М. А. Мигран Арамович
Baskı/Yayın Bilgisi: (Москва, Наука, 1988)
Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.11
Yazar:: Рыбалка С. А. Сергей Анатольевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 1997)
Yazar:: Рыбалка С. А. Сергей Анатольевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 1997)
Проектирование программного обеспечения персональной ЭВМ Искра-226
Baskı/Yayın Bilgisi: (Киев, Тэхника, 1989)
Baskı/Yayın Bilgisi: (Киев, Тэхника, 1989)
Метод и алгоритмические средства построения оптимизационной модели нелинейного программирования в процессе диалога: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.11
Yazar:: Монтиле А. И. Андрей Иосифович
Baskı/Yayın Bilgisi: (Свердловск, 1985)
Yazar:: Монтиле А. И. Андрей Иосифович
Baskı/Yayın Bilgisi: (Свердловск, 1985)
Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: диссертация на соискание ученой степени кандидата технических наук
Yazar:: Сарайкин А. В. Андрей Витальевич
Baskı/Yayın Bilgisi: (Томск, 2000)
Yazar:: Сарайкин А. В. Андрей Витальевич
Baskı/Yayın Bilgisi: (Томск, 2000)
Теоретические и прикладные вопросы эксплуатации программного обеспечения АС УВД: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, КИИГА, 1988)
Baskı/Yayın Bilgisi: (Киев, КИИГА, 1988)
Операционная система для многопроцессорных вычислительных систем с разделяемой памятью: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11.
Yazar:: Смирнов А. Ю. Александр Юрьевич
Baskı/Yayın Bilgisi: (Томск, 1992)
Yazar:: Смирнов А. Ю. Александр Юрьевич
Baskı/Yayın Bilgisi: (Томск, 1992)
Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: автореферат диссертации на соискание ученой степени кандидата технических наук
Yazar:: Сарайкин А. В. Андрей Витальевич
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2000)
Yazar:: Сарайкин А. В. Андрей Витальевич
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2000)
Метод и алгоритмические средства построения оптимизационной модели нелинейного программирования в процессе диалога: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.11
Yazar:: Монтиле А. И. Андрей Иосифович
Baskı/Yayın Bilgisi: (Томск, 1985)
Yazar:: Монтиле А. И. Андрей Иосифович
Baskı/Yayın Bilgisi: (Томск, 1985)
Программно-аппаратные средства и математическое обеспечение вычислительных систем: сборник статей
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1989)
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1989)
Алгоритмическое и программное обеспечение нижнего уровня распределенных сейсмических измерительно-вычислительных систем: диссертация на соискание ученой степени кандидата технических наук; Спец.05.13.11.
Yazar:: Ивин В. А. Владимир Аркадьевич
Baskı/Yayın Bilgisi: (Томск, 1992)
Yazar:: Ивин В. А. Владимир Аркадьевич
Baskı/Yayın Bilgisi: (Томск, 1992)
Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.11
Yazar:: Поженко М. А. Михаил Александрович
Baskı/Yayın Bilgisi: (Томск, 2003)
Yazar:: Поженко М. А. Михаил Александрович
Baskı/Yayın Bilgisi: (Томск, 2003)
Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.11
Yazar:: Поженко М. А. Михаил Александрович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2003)
Yazar:: Поженко М. А. Михаил Александрович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2003)
Надежность программного обеспечения систем обработки данных: учебник
Yazar:: Шураков В. В. Виктор Владимирович
Baskı/Yayın Bilgisi: (Москва, Финансы и статистика, 1987)
Yazar:: Шураков В. В. Виктор Владимирович
Baskı/Yayın Bilgisi: (Москва, Финансы и статистика, 1987)
Надежность программного обеспечения систем обработки данных: учебник
Yazar:: Шураков В. В. Виктор Владимирович
Baskı/Yayın Bilgisi: (Москва, Статистика, 1981)
Yazar:: Шураков В. В. Виктор Владимирович
Baskı/Yayın Bilgisi: (Москва, Статистика, 1981)
Вопросы разработки алгоритмического и программного обеспечения специализированных вычислительных комплексов: сборник научных трудов
Baskı/Yayın Bilgisi: (Ленинград, Изд-во ЛЭТИ, 1981)
Baskı/Yayın Bilgisi: (Ленинград, Изд-во ЛЭТИ, 1981)
Модели анализа и проектирования программного обеспечения учебное пособие
Yazar:: Вальштейн К. В.
Baskı/Yayın Bilgisi: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2023)
Yazar:: Вальштейн К. В.
Baskı/Yayın Bilgisi: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2023)
Основы проектирования информационно-вычислительных систем и сетей ЭВМ
Yazar:: Максименков А. В. Александр Васильевич
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1991)
Yazar:: Максименков А. В. Александр Васильевич
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1991)
Надежность программного обеспечения: пер. с англ.
Yazar:: Майерс Г. Дж. Гленфорд Дж.
Baskı/Yayın Bilgisi: (Москва, Мир, 1980)
Yazar:: Майерс Г. Дж. Гленфорд Дж.
Baskı/Yayın Bilgisi: (Москва, Мир, 1980)
Математическое обеспечение конструкторского и технологического проектирования с применением САПР: учебник
Yazar:: Курейчик В. М. Виктор Михайлович
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1990)
Yazar:: Курейчик В. М. Виктор Михайлович
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1990)
Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа: диссертация на соискание ученой степени кандидата технических наук
Yazar:: Рыбалка С. А. Сергей Анатольевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 1997)
Yazar:: Рыбалка С. А. Сергей Анатольевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 1997)
Прикладные вопросы надежности программного и технического обеспечения вычислительных систем: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, КИИГА, 1985)
Baskı/Yayın Bilgisi: (Киев, КИИГА, 1985)
Разработка алгоритмического и программного обеспечения системы сопровождения подвижных объектов: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11
Yazar:: Диденко С. В. Сергей Владимирович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2004)
Yazar:: Диденко С. В. Сергей Владимирович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2004)
Вып. 15; Системы и средства информатики
Baskı/Yayın Bilgisi: (2005)
Baskı/Yayın Bilgisi: (2005)
Программное обеспечение неоднородных распределенных систем: Анализ и реализация
Baskı/Yayın Bilgisi: (Москва, Финансы и статистика, 1986)
Baskı/Yayın Bilgisi: (Москва, Финансы и статистика, 1986)
Разработка алгоритмического и программного обеспечения системы сопровождения подвижных объектов: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.11
Yazar:: Диденко С. В. Сергей Владимирович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2004)
Yazar:: Диденко С. В. Сергей Владимирович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 2004)
Benzer Materyaller
-
Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
Yazar:: Тейер Т. Томас
Baskı/Yayın Bilgisi: (Москва, Мир, 1981) -
Корректность, устойчивость, точность программного обеспечения
Yazar:: Тоценко В. Г. Виталий Георгиевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1990) -
Математическое и программное обеспечение решения задач оптимизации изотонных псевдобулевых функций: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11
Yazar:: Вайнгауз А. М. Александр Маркович
Baskı/Yayın Bilgisi: (Кемерово, 1985) -
Макропроцессоры и мобильность программного обеспечения: пер. с англ.
Yazar:: Браун П. Питер Дж.
Baskı/Yayın Bilgisi: (Москва, Мир, 1977) -
Оценка надежности программного обеспечения
Yazar:: Пальчун Б. П. Борис Павлович
Baskı/Yayın Bilgisi: (СПб., Наука, 1994)