Поиск — страница 4 из 216 | НЭБ

Найдено 3 238 результатов

Расширенный поиск

Расширенный поиск

⇅

По релевантности

По названию (от А до Я)

По названию (от Я до А)

По автору (от А до Я)

По автору (от Я до А)

По дате издания (по возрастанию)

По дате издания (по убыванию)

По релевантности По названию (от А до Я) По названию (от Я до А) По автору (от А до Я) По автору (от Я до А) По дате издания (по возрастанию) По дате издания (по убыванию)

Поиск ошибок выхода за границы буфера в бинарном коде программ : автореферат дис. кандидата технических наук : 05.13.11

Каушан В.В.

Поиск ошибок выхода за границы буфера в бинарном коде программ : автореферат дис. кандидата технических наук : 05.13.11

Москва : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Анализ и разработка средств интеллектуальной поддержки автоматизированного тестирования программных комплексов : автореферат дис. кандидата технических наук : 05.13.01

Лазарев В.А.

Анализ и разработка средств интеллектуальной поддержки автоматизированного тестирования программных комплексов : автореферат дис. кандидата технических наук : 05.13.01

Нижний Новгород : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора : диссертация . кандидата технических наук : 05.13.11

Сидорин А.В.

Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора : диссертация . кандидата технических наук : 05.13.11

Москва : 2017

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Технология интеграции данных в гетерогенных корпоративных программных комплексах : диссертация . доктора технических наук : 05.13.11

Зыков С.В.

Технология интеграции данных в гетерогенных корпоративных программных комплексах : диссертация . доктора технических наук : 05.13.11

Москва : 2017

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Численные методы решения жестких и нежестких краевых задач : монография

Виноградов А.Ю.

Численные методы решения жестких и нежестких краевых задач : монография

Москва : National Research, 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат дис. кандидата технических наук : 05.13.01

Ермаков А.Д.

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат дис. кандидата технических наук : 05.13.01

Томск : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Система построения проектов в CMakе : учебник

ДубровД.В.

Система построения проектов в CMakе : учебник

Ростов-на-Дону : Изд-во Южного федерального ун-та, 2015

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Операционные системы : учебно-методическое пособие

Басыня Е.А.

Операционные системы : учебно-методическое пособие

Новосибирск : Изд-во НГТУ, 2016

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C# : автореферат дис. кандидата физико-математических наук : 05.13.11

Кошелев В.К.

Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C# : автореферат дис. кандидата физико-математических наук : 05.13.11

Москва : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора : автореферат дис. кандидата технических наук : 05.13.11

Сидорин А.В.

Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора : автореферат дис. кандидата технических наук : 05.13.11

Москва : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Методы построения регрессионных моделей разнородных источников данных для индустриальной инженерии : автореферат дис. кандидата физико-математических наук : 05.13.18

Зайцев А.А.

Методы построения регрессионных моделей разнородных источников данных для индустриальной инженерии : автореферат дис. кандидата физико-математических наук : 05.13.18

Москва : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Технология интеграции данных в гетерогенных корпоративных программных комплексах : автореферат дис. доктора технических наук : 05.13.11

Зыков С.В.

Технология интеграции данных в гетерогенных корпоративных программных комплексах : автореферат дис. доктора технических наук : 05.13.11

Уфа : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Методы и средства образно-семантического сопровождения процессов решения проектных задач : автореферат дис. кандидата технических наук : 05.13.12

Галочкин М.В.

Методы и средства образно-семантического сопровождения процессов решения проектных задач : автореферат дис. кандидата технических наук : 05.13.12

Ульяновск : 2017

Российская государственная библиотека (РГБ)

Доступ: свободный

Исследование задачи регулярной реализуемости : диссертация . кандидата физико-математических наук : 01.01.09

Рубцов А.А.

Исследование задачи регулярной реализуемости : диссертация . кандидата физико-математических наук : 01.01.09

Москва : 2016

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Методы повышения эффективности итеративного динамического анализа программ : диссертация . кандидата технических наук : 05.13.11

Ермаков М.К.

Методы повышения эффективности итеративного динамического анализа программ : диссертация . кандидата технических наук : 05.13.11

Москва : 2016

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Вы находитесь на новой версии портала Национальной Электронной Библиотеки. Если вы хотите воспользоваться старой версией, перейдите по ссылке .