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

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.

Автор: П. В. Шумаков
Название: ADO.NET и создание приложений баз данных в среде Microsoft Visual Studio .NET
Год : 2003
Страниц: 528
ISBN: 5-86404-184-X
Формат: pdf
Размер: 15.4 Мб
Язык: русский
Качество: отличное

Никакое приложение – кроме, быть может, школьных да хитромудрых системных, в силу их специфики, – не может обойтись без хранения данных в сторонних хранилищах – будь то гигабайтовые базы на SQL Server, небольшие базы Access или плоские таблицы dBase.
Поэтому доступ к внешним источникам данных и их хранение в приложении является одной из существеннейших прикладных проблем, решаемых при создании приложений.
В этой книге рассказывается, как работать с данными из приложений, создаваемых на платформе .NET Framework.
Автор настоящий профессионал, объясняет просто и доступно! ОДнако работать с книгой лучше вместе с компьютером

Автор: Кен Ватанабе
Название: Учимся решать проблемы. Простая книга для умных людей
Год : 2010
Страниц: 144
ISBN: 978-966-1629-08-9, 978-1-59184-242-2
Формат: pdf
Размер: 14 Мб
Язык: русский
Качество: нормальное

Каждый из нас принимает решения. Кем бы вы ни были – отцом семейства, предпринимателем или президентом США – все равно вы ежедневно сталкиваетесь с необходимостью решать проблемы. Конечно же, проблема проблеме рознь. Кому-то предстоит увеличить итог баланса своего предприятия, кому-то – определиться с местом жительства, а кому-то – сдать экзамен. Кто-то хочет научиться лучше играть в гольф, а кто-то озабочен проблемой собственного веса. Независимо от масштабов вопроса, мы ставим перед собой цель, определяем препятствия и стремимся их преодолеть.
Книга "Учимся решать проблемы" изначально была рассчитана на школьников, чтобы научить их критическому мышлению. Но очень скоро стала бестселлером именно среди взрослых благодаря эффективной методике решения проблем, разработанной Кеном Ватанабе (в прошлом ведущий консультант McKinsey).
Мышление, ориентированное на решение проблем, может дать нам возможность контролировать свою жизнь целиком и полностью, научиться решать проблемы, справляться с неожиданными вызовами и даже изменить мир. Овладев благодаря этой книге предложенными навыками решения проблем, вы удивитесь, как раньше могли без них обходиться.
Книга достаточно проста для понимания и школьниками, но при этом рассматривает решение серьезных проблем людей, занимающихся бизнесом.

Автор: Н. Н. Гринченко, Е. В. Гусев, Н. П. Макаров
Название: Проектирование баз данных. СУБД Microsoft Access. Учебное пособие
Год: 2004
Страниц: 240
ISBN: 5-93517-193-7
Серия: Специальность. Для высших учебных заведений
Формат: pdf
Размер: 19
Язык: русский
Качество: хорошее

В форме практических рекомендаций рассмотрены методы создания баз данных с использованием интегрированной среды Microsoft Access. Изложение материала оформлено в виде отдельных разделов, в которых кратко представлен теоретический материал по конкретной теме. Каждая представленная тема может выступать в качестве отдельного практического занятия (или темы лабораторной работы). С этой целью рассмотрены конкретные примеры, приведены вопросы и варианты заданий для самостоятельного выполнения. При описании интерфейса использована последняя на данный момент версия Microsoft Access 2002.

Для студентов вузов, будет полезна всем желающим быстро овладеть основами работы с интегрированной средой MS Access 97...2002.

Автор: В. М. Бушуев, В. А. Деминский и др.
Название: Электропитание устройств и систем телекоммуникаций
Год : 2009
Страниц: 384
ISBN: 978-5-9912-0077-6
Формат: pdf
Размер: 18.7 Мб
Язык: русский
Качество: хорошее

Рассмотрены вопросы организации электроснабжения предприятий телекоммуникаций и его резервирования. Приведены основные сведения по элементной базе устройств электропитания с учетом последних достижений и тенденций ее развития. Большое внимание при изложении материала уделено принципам управления и физическим процессам в современных высокочастотных устройствах преобразования электрической энергии. Рассмотрены принципы построения и основные характеристики как самих цифровых преобразовательных устройств, так и систем электропитания телекоммуникационной аппаратуры, выполненных на базе этих устройств.

Автор: Ганс Гейнц Рефельд
Название: В ад с "Великой Германией"
Год : 2010
Страниц: 352
ISBN: 978-5-9955-0180-0
Формат: pdf
Размер: 22.8 Мб
Язык: русский
Качество: хорошее

Уникальный фронтовой дневник ветерана танкового корпуса "Великая Германия" (Panzer-Korps "Gro?deutschland"). Беспощадная "окопная правда" Восточного фронта. Всю войну немцы использовали это элитное соединение как "пожарную команду", бросая на самые опасные и угрожаемые участки. Украина и Литва, Венгрия, Румыния и Восточная Пруссия - автор прошел через самые жестокие и кровопролитные бои Второй Мировой, о которых рассказал в своей книге.