klubknig.ru - Скачать книги бесплатно.

Model Checking. Верификация параллельных и распределенных программных систем

Категория: Компьютерная литература | автор: компьютерные книги

Скачать бесплатно книгу (журнал): Model Checking. Верификация параллельных и распределенных программных систем


Автор: Ю. Г. Карпов
Название: Model Checking. Верификация параллельных и распределенных программных систем
Издательство: БХВ-Петербург
Год: 2010
Страниц книги: 552
ISBN: 978-5-9775-0404-1
Формат: djvu
Размер: 12,2 Мб
Язык: русский
Качество: хорошее

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложен...


Создание Web-сайтов в Microsoft Expression Web

Категория: Компьютерная литература | автор: компьютерные книги

Скачать бесплатно книгу (журнал): Создание Web-сайтов в Microsoft Expression Web


Название: Создание Web-сайтов в Microsoft Expression Web
Автор: Нолан Хестер
Издательство: ДМК Пресс
Год издания: 2007
Формат: PDF
Язык: русский
Cтраниц: 256
Размер: 18,7 МБ

Описание: Microsoft Expression Web - это совсем новая программа, предлагающая обширный набор визуальных средств для создания впечатляющих сайтов, отвечающих всем Web-стандартам. Expression Web содержит лучшие на ...


Модернизация и ремонт ПК 18-е издание (2009)

Категория: Компьютерная литература | автор: компьютерные книги

Скачать бесплатно книгу (журнал): Модернизация и ремонт ПК 18-е издание  (2009)


Название: Модернизация и ремонт ПК 18-е издание
Год выпуска: 2009
Издательство: Вильямс
Автор: Скотт Мюллер
Язык: Русский
Страниц книги: 1512
Формат: PDF
Размер 35.5 MB

"Модернизация и ремонт ПК" - это исчерпывающее руководство о принципах работы персонального компьютера. Независимо от того, устанавливаете ли вы более производительный процессор или более емкий жесткий диск, пытаетесь найти источник проблемы или просто хотите разобраться в том, как вза...


33 лучшие программы для ноутбука

Категория: Компьютерная литература | автор: компьютерные книги

Скачать бесплатно книгу (журнал): 33 лучшие программы для ноутбука


Название: 33 лучшие программы для ноутбука
Автор: Владимир Пташинский
Издательство: Питер
Год издания: 2008
Формат: PDF
Язык: русский
Cтраниц: 176
Размер: 7,3 МБ

Описание: Мобильность - безусловно, неоспоримое преимущество ноутбука. Однако она накладывает на пользователя и определенные ограничения. Перед ним регулярно встает масса задач: оптимизация энергопотребления ноутбука, монито...


Переход с windows на linux (2005)

Категория: Компьютерная литература | автор: компьютерные книги

Скачать бесплатно книгу (журнал): Переход с windows на linux (2005)


Название: Переход с windows на linux
Год выпуска: 2005
Издательство: Русская редакция, БХВ-Перетбург
Автор: Аллен Д.
Язык: русский
Страниц книги: 474
Формат: pdf
Размер 63.26 MB

Книга содержит подробное описание планирования процесса перехода с Windows (Windows 9x/Me, NT4, Windows 2000 и Windows XP) на любой дистрибутив Linux, понятия оценки уязвимости и защиты систем.

Скачать книгу (журнал): http://www.filesonic.com/file/26005191/514.pdf...



Главная
Хобби  
Культура и Искусство  
Медицина и здравоохранение  
Физкультура и спорт  
Технические издания  
Экономика и финансы  
Военная тематика  
Семейный очаг  
Компьютерная литература  
Наука и образование  
Художественная литература  
Разная литература  
Журналы  
Аудиокниги  
Видеоуроки  



Популярные книги:


» Экзаменационные билеты ПДД категории CD от 20.11.2010г ...
» Эрин Хантер - Коты-воители (сборник) (2003-2010)
» Тонкая штучка
» Лабораторный практикум. Биология 6-11 класс
» Роксолана
» Гражданское право. Общая и Особенная части
» Грамматика. Сборник упражнений
» Искры истинной магии
» What Hi-Fi? Звук и видео №10 (2010)
» Чеченская война. Работа над ошибками







© 2011 Клуб книг, скачать электронные книги без регистрации | Карта сайта