Автор: Е.А. Островская-младшая
Название: Тибетский буддизм
Год: 2002
Страниц: 400
ISBN: 5-85803-201-Х
Формат: pdf
Размер: 5.4
Язык: Русский
Качество: хорошее
Издательство: Петербургское Востоковедение

"Тибетский буддизм" - первое в российской и зарубежной науке исследование процесса врастания буддизма в тибетское общество и государство VII-XVII вв. Рассматривая историю продвижения буддизма в Серединную Азию, автор задается целью ответить на вопрос, в силу каких именно причин и условий учение Будды Шакьямуни, возникшее в древней Индии, становится государственной религией Тибета, определившей исторические судьбы этой страны и духовные устремления ее народа. Автор ярко и исторически достоверно воссоздает этапы укоренения буддийской идеологии в империи, населенной воинственными бесписьменными этносами и утверждавшей свое могущество средствами вооруженной экспансии. Читателям предстоит узнать, каким образом буддизм, закрепившись в геополитическом центре Серединной Азии, способствовал превращению некогда грозной и агрессивной тибетской империи в миролюбивую цитадель духовной культуры, распространявшую буддийское просвещение далеко за своими границами.

Автор: Дружков Ю.
Название: Волшебная Школа Карандаша и Самоделкина
Год: 2004
Страниц: 128
ISBN: 5-9555-0184-3
Формат: pdf rtf
Размер: 2Мб
Язык: русский
Качество: хорошее

Маленькие волшебники – Карандаш и Самоделкин открывают школу волшебников. В этой школе они учат маленьких детей волшебству. Но неожиданно в школу пробираются разбойники – пират Буль-Буль и шпион Дырка, что бы выгнать оттуда Карандаша и Самоделкина и превратить школу волшебников в школу разбойников. Школу волшебников, Карандаша и Самоделкина спасает маленькая девочка – Настенька, одна из учениц школы волшебников.

Автор: Ю. Г. Карпов
Название: 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.