2 понравилось
Классическая книга по языку С, написанная самими разработчиками этого языка и выдержавшая в США уже 34 переиздания! Книга является как практически исчерпывающим справочник...
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Расс...
В мире постоянно кто-то сталкивается с такими же проблемами программирования, которые возникают и у вас. Многие разработчики решают совершенно идентичные задачи и находят ...
В этой книге подробно и последовательно изложены основные концепции, определяющие современное состояние и тенденции развития компьютерных сетей. Это уже четвертое, значите...
Более 10 лет первое издание этой книги считалось одним из лучших практических руководств по программированию. Сейчас эта книга полностью обновлена с учетом современных тен...
Конкретная математика. Математические основы информатики
Рональд Л. Грэхем, Дональд Кнут, Орен Паташник
4,6
(18)В основу данной книги положен одноименный курс лекций Станфордского университета. Название "конкретная математика" происходит от слов "КОНтинуальная" и "дисКРЕТНАЯ" матема...
В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка...
В классическом учебнике тьюринговского лауреата Никлауса Вирта аккуратно, на тщательно подобранных примерах прорабатываются традиционные темы алгоритмики - сортировка и по...