№ | Дата |
Автор |
Заглавие |
---|
|
2004 |
Swirydowicz, Kazimierz |
Podstawy logiki modalnej / Kazimierz Swirydowicz ; red. Aleksandra Ratajczak ; Uniw. im. A. Mickiewicza w Poznaniu |
|
2011 |
Аветисян, Арутюн Ишханович (кандидат физико-математических наук) |
Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Аветисян Арутюн Ишханович ; [Институт системного программирования Российской академии наук] |
|
2013 |
Курмангалеев, Шамиль Фаимович |
Автоматизация переноса Си/Си++- приложений на новые платформы : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Теория, методика и организация социально-культурной деятельности / Курмангалеев Шамиль Фаимович ; [Институт системного программирования РАН] |
|
2013 |
Трифанов, Виталий Юрьевич |
Динамическое обнаружение состояний гонки в многопоточных Java-программах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Трифанов Виталий Юрьевич ; [Санкт-Петербургский государственный университет] |
|
2014 |
Сехин, Сергей Арменович |
Анализ развития отраслей с позиций динамической эффективности : (на примере текстильной и швейной промышленности) : автореферат диссертации на соискание ученой степени кандидата экономических наук : специальность 08.00.05 Экономика и управление народным хозяйством (экономика, организация и управление предприятиями, отраслями, комплексами: промышленность) / Сехин Сергей Арменович ; [Государственный университет управления] |
|
1999 |
Barauskas, Rimantas |
Analysis and optimization of elastic vibro-impact systems : monography / Rimantas Barauskas, Vytautas Ostaševičius ; Kaunas University of Technology |
|
2019 |
Жуковский, Евгений Владимирович |
Анализ безопасности программного обеспечения киберфизических систем с использованием методов машинного обучения : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Жуковский Евгений Владимирович ; [Санкт-Петербургский политехнический университет им. Петра Великого] |
|
2023 |
Усанов, Алексей Евгеньевич |
Реверс-инжиниринг встраиваемых систем / Алексей Усанов |
|
1997 |
Мухаммадиев, Давлат Мустафаевич |
Динамический анализ и параметрический синтез конденсора волокна с пульсатором : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.02.18 / Ин-т механики и сейсмостойкости сооружений им. М.Т.Уразбаева |
|
2017 |
Вульфсон, Иосиф Исаакович (доктор технических наук ; род. 1931) |
Теория механизмов и машин: расчет колебаний привода : учебное пособие для бакалавриата и магистратуры : для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям / И. И. Вульфсон, М. В. Преображенская, И. А. Шарапин |
|
2012 |
Долотов, Михаил Михайлович (кандидат экономических наук) |
Методы управления изменениями стоимостных параметров инвестиционно-строительных проектов в процессе их реализации : автореферат диссертации на соискание ученой степени кандидата экономических наук : специальность 08.00.05 Экономика и управление народным хозяйством / Долотов Михаил Михайлович ; [Всероссийский научно-исследовательский институт проблем научно-технического прогресса и информации в строительстве] |
|
2012 |
Белов, Виктор Александрович (кандидат технических наук) |
Моделирование и расчет металлических конструкций зданий и сооружений : [монография] / В. А. Белов, К. Круль ; Министерство образования и науки Российской Федерации, ФГБОУ ВПО "Московский государственный строительный университет" |
|
2018 |
Сикорски, Майкл (информационная безопасность) |
Вскрытие покажет! : практический анализ вредоносного ПО : [перевод с английского] / Майкл Сикорски, Эндрю Хониг |
|
2020 |
Неверов, Дмитрий Александрович (кандидат экономических наук ; род. 1967) |
Экономическая оценка национального воспроизводства : монография / Д. А. Неверов |
|
2020 |
|
Автоматизированное проектирование на основе T-FLEX CAD в механических системах технологических объектов : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств" / [В. С. Тынченко и др.] |
|
2023 |
Куц, Даниил Олегович |
Метод моделирования косвенной адресации в рамках динамической символьной интерпретации : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 2.3.5 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Куц Даниил Олегович ; [место защиты: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук] |
|
1995 |
Дедов, Леонид Анатольевич |
Структурно-динамический анализ в экономике : [Моногр.] / Гос.ком.Рос.Федерации по высш.образованию,Ижев.гос.техн.ун-т;Науч.ред.Боткин О.И |
|
2006 |
|
Morse theoretic methods in nonlinear analysis and in symplectic topology : [proc. of the NATO advanced study inst. on Morse theoretic methods in nonlinear analysis a. symplectic topology, Montreal, Canada, July 2004] / ed. by Paul Biran, Octav Cornea, Francois Lalonde |
|
2013 |
Исходжанов, Тимур Равилевич |
Автоматический поиск ошибок в компьютерных программах с применением динамического анализа : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Исходжанов Тимур Равилевич ; [Московский физико-технический институт (государственный университет)] |
|
2019 |
Монаппа, К. А. |
Анализ вредоносных программ : изучите концепции, инструментальные средства и методы анализа и исследования вредоносных программ для Windows : [перевод с английского] / Монаппа К. А |