Борьба за рынки программного обеспечения (ПО) вынуждает искать способы разработки более качественных программ и в более короткие сроки. Надёжность и качество повышаются при правильно выполненном тестировании. Технологию \’быстрого тестирования\’ описывает автор в своей книге. \’Быстрое тестирование\’ позволяет обеспечить высокое качество при соблюдении сроков. Книга учитывает многолетний опыт автора в данной области. Книга, несомненно, будет полезна всем, кто занимается разработкой и использованием ПО.

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

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

Автором учебного пособия, посвященного изложению математической логики и теории алгоритмов, является профессор Омского государственного университета, доктор физико-математических наук в области геометрии и топологии. Лекции, которые он читает студентам второго курса факультета компьютерных наук, составляют основу книги. Читатель познакомится с классической логикой, методом резолюций, формальными исчислениями, формальной арифметикой, принципами логического программирования, нечеткой логикой и нечеткой арифметикой, модальными, временными и алгоритмическими логиками. Приводены семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даны представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Рекомендовано для студентов, обучающихся по специальностям «Компьютерная безопасность» и «Вычислительные машины, комплексы, системы и сети».

Автор книги — человек, разрабатывающий крупные информационные системы. Книга — \’попытка предоставить качественную пищу для ума начинающим программистам\’. В ней нет тонкостей языка Pascal или C++, библиотек DLL, заголовков HTTP-пакета. Семь глав, обрисовывающих различные логические направления программирования, теоретические материалы, готовые листинги, \’проекты для самосовершенствования\’ предстанут перед пытливым читателем. Здесь же найдутся \’идеи для досуга с компьютером\’.

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

Писатель, преподаватель и всемирно известный специалист в области информационных технологий Эндрю Таненбаум сумел написать книгу о структурной организации компьютера, которая не нуждается в рекламе. За качество книги говорит количество переизданий – с момента выхода книги их было уже пять! Книга основана на идее иерархической структуры, где каждый уровень выполняет определенную индивидуальную функцию. В рамках такого нестандартного авторского подхода Э. Таненбаум описывает основополагающих иерархических уровня: цифровой логический, архитектуры команд, операционной системы и языка ассемблера. К книге прилагается компакт-диск. Издание рассчитано как на студентов, изучающих компьютерные технологии, так и на любителей, самостоятельно знакомящихся с архитектурой компьютера.

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

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

Сверхвысокими частотами (СВЧ) называют область радиочастот в диапазоне от 300 Мгц до 300 Ггц, куда входят дециметровые, сантиметровые и миллиметровые волны. Этот диапазон используют главным образом в радиолокации и в радиосвязи. В данной книге объясняются принципы оптимизации с помощью ЭВМ частотных характеристик СВЧ устройств. Оптимизация производится с помощью методов узловых напряжений и цепных матриц и с помощью итерационных методов поиска экстремума функций многих переменных. В качестве иллюстраций методов даются примеры использования программ на языке АЛГОЛ-60. Книга имеет практическую ценность для инженеров, занимающихся проектированием СВЧ устройств, а также для студентов и аспирантов.