| № | Дата |
Автор |
Заглавие |
|---|
|
2021 |
Калавера, Дэвид (программирование) |
BPF для мониторинга Linux / Дэвид Калавера, Лоренцо Фонтана ; [перевел с английского С. Черников] |
|
2023 |
Матвеев, М. Д. (программист) |
Ядро Linux : сборка, настройка, управление / Матвеев М. Д |
|
2024 |
Грегг, Брендан (компьютерный инженер) |
BPF. Профессиональная оценка производительности / Брендан Грегг ; [перевел с английского А. Киселев ; предисловие Алексея Старовойтова] |
|
2012 |
Мутилин, Вадим Сергеевич |
Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Мутилин Вадим Сергеевич ; Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук |
|
2013 |
Павлов, Евгений Геннадьевич |
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Евгений Геннадьевич ; [Российский государственный социальный университет] |
|
2017 |
Симмондс, Крис |
Встраиваемые системы на основе Linux : [перевод с английского] / Крис Симмондс |
|
2022 |
Зобнин, Евгений Евгеньевич |
Android глазами хакера / Евгений Зобнин |
|
2000 |
Степанов, Павел Георгиевич |
Реализация средств управления доступом в микроядерных операционных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Степанов Павел Георгиевич ; [Санкт-Петербургский государственный технический университет] |
|
2004 |
Акулин, Дмитрий Александрович |
Расширение функциональных возможностей системы ЧПУ на основе открытой архитектуры терминальной задачи : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.06 / Акулин Дмитрий Александрович ; [Московский государственный технологический университет СТАНКИН] |
|
2016 |
Лав, Роберт (программист ; род. 1981) |
Linux. Системное программирование : [изучаем ядро Linux и библиотеки C] / Роберт Лав ; [перевод с английского О. Сивченко] |
|
2020 |
Пош, Майа |
Программирование встроенных систем на C++ 17 : создание универсальных и надежных встроенных решений для микроконтроллеров и операционных систем реального времени на современной версии языка программирования С++ : [перевод с английского] / Майа Пош |
|
2018 |
Кузьмич, Роман Иванович (кандидат технических наук) |
Операционные системы : учебное пособие / Р. И. Кузьмич, А. Н. Пупков, Л. Н. Корпачева ; Министерство науки и высшего образования Российской Федерации, Сибирский федеральный университет, [Институт управления бизнес-процессами и экономики] |
|
2002 |
Сорокина, Светлана И |
Программирование драйверов и систем безопасности : Учеб. пособие / Светлана Сорокина, Андрей Тихонов, Андрей Щербаков |
|
2013 |
Новиков, Евгений Михайлович |
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Новиков Евгений Михайлович ; [Институт системного программирования Российской академии наук] |
|
2023 |
Цилюрик, Олег (программирование) |
Расширения ядра Linux: драйверы и модули / Олег Цирюлик |
|
2017 |
Кетов, Дмитрий Владимирович |
Внутреннее устройство Linux / Дмитрий Кетов |
|
2020 |
Эрджиес, Кайхан (компьютерный инженер ; род. 1956) |
Распределенные системы реального времени : теория и практика : [перевод с английского] / Кайхан Эрджиес |
|
2021 |
Андрианов, Павел Сергеевич |
Анализ корректности синхронизации компонентов ядра операционных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Андрианов Павел Сергеевич ; [Институт системного программирования им. В. П. Иванникова Российской академии наук, Московский физико-технический институт] |
|
2021 |
Столяров, Андрей Викторович |
Программирование: введение в профессию : [учебник] : в 3 т. / А. В. Столяров. — Т. 2: Системы и сети |
|
2023 |
Матвеев, М. Д. (программист) |
Справочник линуксоида : все, что нужно, под рукой / Матвеев М. Д |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ