Приложение
для AndroidПолное описание
Матьяш, В. А. Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Матьяш. - СПб., 1999. - 20 с. : ил. - Текст : непосредственный.
Библиогр.:с. 20(5 назв.)
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.2(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР01-1239)
Шифр в сводном ЭК: 9214d1921e8ffc2d43af1686b17efb82
Крячко А.Ф. Научно-практические основы формирования высокотехнологичных квалификаций выпускников ГУАП : монография / А. Ф. Крячко, Н. Н. Майоров, В. А. Матьяш, 2016. - 175 с. - Текст : непосредственный.Матьяш В.А. Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Матьяш, 1999. - 20 с. - Текст : непосредственный.Матьяш В.А. Разработка и внедрение новых космических технологий при научном развитии и совместном обучении по информационным и аэрокосмическим направлениям подготовки : монография / В. А. Матьяш, А. В. Иванов, М. Ю. Карловский, 2015. - 108 с. - Текст : непосредственный.Ключарев А.А. Структуры и алгоритмы обработки данных : Учеб. пособие / А. А. Ключарев, В. А. МатьяшЩекин С. В., 2004. - 171 с. - Текст : непосредственный.
Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный.Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный.Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный.Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.
Показать все результатыФилимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Костылев Е.В. Алгоритмы антиунификации и их применение для вычисления инвариантов программ : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Костылев, 2008. - 23 с. - Текст : непосредственный.Фролова Н.В. Методы реализации графориентированных инструментальных сред и их применение для создания приложений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Н. В. Фролова, 1999. - 18 с. - Текст : непосредственный.
Дюсембаев А.Е. Корректные модели сегментации программ : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. Е. Дюсембаев, 1994. - 33 с. - Текст : непосредственный.Матьяш В.А. Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Матьяш, 1999. - 20 с. - Текст : непосредственный.Лавров В.А. Исследование и реализация эффективных методов записи активности пользователя персонального компьютера : автореф. дис. .. канд. техн. наук: 05.13.11 / В. А. Лавров, 2005. - 18 c. - Текст : непосредственный.Плеханова В.М. Математические модели для исследования возможностей и совместимости ресурсов производства программного продукта : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / В. М. Плеханова, 1999. - 17 с. - Текст : непосредственный.Ульянов Д.Э. Разработка и реализация системы конфигурирования программ для транспьютерных сетей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. Э. Ульянов, 1995. - 16 с. - Текст : непосредственный.Шахин Вадиа Ханна.Разработка методов оптимального проектирования программных средств : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11,05.13.12 / Шахин Вадиа Ханна, 1994. - 10 с. - Текст : непосредственный.Бурцев А.П. Разработка программного обеспечения автоматизированных информационных систем на основе моделей выполнения запросов,сценариев диалога и принятия решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / А. П. Бурцев, 1992. - 20 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Рощин М.А. Проектирование многокомпонентных программных систем на основе гибридных логических моделей : автореф. дис. .. канд. техн. наук: 05.13.01 / М. А. Рощин, 2007. - 24 с. - Текст : непосредственный.Бакулин А.В. Развитие метода и инструментария многоуровневого доказательного проектирования программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Бакулин, 1992. - 18 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Демин А.Ю. Проектирование и оценка качества программ на основе структурно-графических представлений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Ю. Демин, 1998. - 18 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽