Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология

Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Книга посвящена Jenkins — программной системе с открытым исходным кодом на Java, предназначенной для обеспечения процесса непрерывной интеграции программного обеспечения. Автор показывает, насколько Jenkins 2 отличается от более традиционных версий этой популярной платформы автоматизации с открытым исходным кодом, предназначенных только для интернета. Если вы знакомы с Jenkins и хотите воспользоваться новыми технологиями для преобразования устаревших конвейеров или создания новых современных автоматизированных сред непрерывной доставки, эта книга — для вас. Вы получите полное практическое руководство работы с контейнерами, изучите новый графический интерфейс Blue Ocean.

Искусство проектирования аудиоусилителей издавна привлекает внимание и радиолюбителей, и профессионалов. Может показаться, что работа, которую при этом требуется выполнить, довольно проста, но для создания надежного высококачественного усилителя разработчик должен привлечь весь багаж своих знаний в области электроники. К сожалению, информация по вопросам проектирования усилителей мощности звуковых частот разрозненна и зачастую труднодоступна. Данная книга поможет читателю восполнить этот недостаток. В ней рассматриваются вопросы минимизации искажений и повышения линейности усиления, затрагиваются проблемы, связанные с проектированием усилителей, такие как надежность, обеспечение стабильным питанием, защита от перегрузок и т.п. Приведен уникальный материал по режимам работы на реактивную нагрузку, необычным способам компенсации искажений и др. Обсуждаемые вопросы снабжены подробными ссылками на справочные издания, призванные помочь читателю в дальнейшем исследовании в этой области.

Искусство проектирования аудиоусилителей издавна привлекает внимание и радиолюбителей, и профессионалов. Может показаться, что работа, которую при этом требуется выполнить, довольно проста, но для создания надежного высококачественного усилителя разработчик должен привлечь весь багаж своих знаний в области электроники. К сожалению, информация по вопросам проектирования усилителей мощности звуковых частот разрозненна и зачастую труднодоступна. Данная книга поможет читателю восполнить этот недостаток. В ней рассматриваются вопросы минимизации искажений и повышения линейности усиления, затрагиваются проблемы, связанные с проектированием усилителей, такие как надежность, обеспечение стабильным питанием, защита от перегрузок и т.п. Приведен уникальный материал по режимам работы на реактивную нагрузку, необычным способам компенсации искажений и др. Обсуждаемые вопросы снабжены подробными ссылками на справочные издания, призванные помочь читателю в дальнейшем исследовании в этой области.