| № | Дата |
Автор |
Заглавие |
|---|
|
2003 |
Жарский, Иван Михайлович (кандидат химических наук ; род. 1944) |
Планирование и организация эксперимента : учебное пособие для вузов / И. М. Жарский, Б. А. Коледин, И. Ф. Кузьмицкий |
|
2013 |
Курмангалеев, Шамиль Фаимович |
Автоматизация переноса Си/Си++- приложений на новые платформы : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Теория, методика и организация социально-культурной деятельности / Курмангалеев Шамиль Фаимович ; [Институт системного программирования РАН] |
|
2014 |
Аширбакиев, Ренат Ихсанович |
Методика, алгоритмы и программы для квазистатического анализа печатных плат вычислительной техники и систем управления : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Аширбакиев Ренат Ихсанович ; [Томский государственный университет систем управления и радиоэлектроники] |
|
2015 |
Игнатьев, Валерий Николаевич |
Статистический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Игнатьев Валерий Николаевич ; [Институт системного программирования Российской академии наук] |
|
2023 |
Усанов, Алексей Евгеньевич |
Реверс-инжиниринг встраиваемых систем / Алексей Усанов |
|
2016 |
Зубов, Максим Валерьевич |
Модели и алгоритмы универсальных промежуточных представлений для статического анализа потока управления программ по их исходному коду : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Зубов Максим Валерьевич ; [ЧелГУ] |
|
2017 |
Кошелев, Владимир Константинович |
Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C# : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Кошелев Владимир Константинович ; [Институт системного программирования Российской академии наук] |
|
2017 |
Козунова, Оксана Васильевна (кандидат технических наук ) |
Статический анализ системы "балочная плита — нелинейно-упругое неоднородное основание" вариационно-разностным методом : диссертация на соискание ученой степени кандидата технических наук : специальность 05.23.17 Строительная механика / Козунова Оксана Васильевна |
|
2004 |
Шимкович, Дмитрий Григорьевич (доктор технических наук ; род. 1952) |
Расчет конструкций в MSC.visualNastran for Windows / Д.Г. Шимкович |
|
2018 |
Сикорски, Майкл (информационная безопасность) |
Вскрытие покажет! : практический анализ вредоносного ПО : [перевод с английского] / Майкл Сикорски, Эндрю Хониг |
|
2020 |
|
Автоматизированное проектирование на основе T-FLEX CAD в механических системах технологических объектов : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств" / [В. С. Тынченко и др.] |
|
2018 |
Сафин, Ленар Камилевич |
Автоматический статический анализ программных систем, записанных на языках программирования семейства C : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Сафин Ленар Камилевич ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)] |
|
2019 |
Тришин, Алексей Степанович |
Физиологическая характеристика позной устойчивости у квалифицированных баскетболистов с учетом функциональной асимметрии : автореферат диссертации на соискание ученой степени кандидата биологических наук : специальность 03.03.01 Физиология / Тришин Алексей Степанович ; [Кубанский государственный университет физической культуры и туризма] |
|
2019 |
Монаппа, К. А. |
Анализ вредоносных программ : изучите концепции, инструментальные средства и методы анализа и исследования вредоносных программ для Windows : [перевод с английского] / Монаппа К. А |
|
2014 |
Битнер, Вильгельм Александрович (кандидат технических наук) |
Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Битнер Вильгельм Александрович ; [Московский физико-технический институт (государственный университет)] |
|
2016 |
Арсеньев, Геннадий Николаевич (кандидат педагогических наук ; инженер) |
Радиоавтоматика : учебник для курсантов и слушателей высших военно-учебных заведений Космических войск, обучающихся по направлению "Радиотехника" / Г. Н. Арсеньев, С. Н. Замуруев |
|
2019 |
Жеков, Константин Николаевич (механика ; математика) |
Практическое руководство по конечно-элементному анализу : лучшие приемы и практики : общий подход для универсального использования при расчете прочностных и тепловых задач / К. Н. Жеков |
|
2022 |
|
Компьютерное моделирование термодеформационных процессов при сварке : методические рекомендации к лабораторным работам для студентов направления подготовки 15.03.01 "Машиностроение" очной формы обучения / Межгосударственное образовательное учреждение высшего образования "Белорусско-Российский университет", Кафедра "Оборудование и технология сварочного производства" ; [составитель А. Н. Синица] |
|
2005 |
Фатма, Десокей Махмуд |
Точные вакуумные аксиально-симметричные и сферически-симметричные решения в 5-мерной проективной теории поля : дис.... канд. физ.-мат. наук / Фатма Десокей Махмуд ; Бел. гос. ун-т |
|
1999 |
Lavis, David A. |
Statistical mechanics of lattice systems / David A. Lavis, George M. Bell. — Vol. 1: Closed-form and exact solutions |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ