Автор: Ю. Г. Карпов
Издательство: БХВ-Петербург
Год издания: 2010
isbn: 978-5-9775-0404-1
Количество страниц: 552
Язык: русский
Формат: DJVU
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
Автор: H. Krishna Sastri
Издательство: Govt. Press
Год издания: 1916
Количество страниц: 316
Язык: english
Формат: PDF
so on. Crowns and other rich and costly jewellery, set with gems and pearls (fig. 4), and often presented by Rajas and Chieftains or other rich devotees, are a special pride of the wealthier temples.The Brahmana priest is to purify himself by bath and prayers early morning, and then open the doors of the sanctum and gently wake up the god, who is supposed to be sleeping, by chanting appropriate hymns in his praise. Then, after duly worshipping the guardian deities, he washes the feet of the chief deity, bathes the image, clothes it properly, decorates it with the usual jewellery, sandal and flowers, waving incense and lamps of diverse pattern (fig. 5) in front of the god and finally offering him the cooked food or naivedyam and the final betel leaf and nut. At stated intervals the god comes out in procession and perhaps sees to the comfort of his attendant deities.
Автор: Glen Mackie
Издательство: C.dge U-ty Press
Год издания: 2011
isbn: 0521620627
Количество страниц: 268
Язык: english
Формат: PDF
Since the radio signature of our own Milky Way was detected in 1931, galaxies have been observed from ultra-high energy gamma rays to long wavelength radio waves, providing fundamental insights into their formation, evolution and structural components. Unveiling the secrets of some of the best-observed galaxies, this atlas contains over 250 full-color images spanning the whole electromagnetic spectrum. The accompanying text explains why we see the component stars, gas and dust through different radiation processes, and describes the telescopes and instruments used. This atlas is a valuable reference resource on galaxies for students seeking an overview of multiwavelength observations and what they tell us, and researchers needing detailed summaries of individual galaxies. An accompanying website, hosted by the author, contains slide shows of the galaxies covered in the book.
Автор: П. В. Шумаков
Издательство: Диалог-МИФИ
Год издания: 2003
isbn: 5-86404-184-х
Количество страниц: 528
Язык: русский
Формат: PDF
Никакое приложение – кроме, быть может, школьных да хитромудрых системных, в силу их специфики, – не может обойтись без хранения данных в сторонних хранилищах – будь то гигабайтовые базы на SQL Server, небольшие базы Access или плоские таблицы dBase. Поэтому доступ к внешним источникам данных и их хранение в приложении является одной из существеннейших прикладных проблем, решаемых при создании приложений. В этой книге рассказывается, как работать с данными из приложений, создаваемых на платформе .NET Framework.
Автор: Йотис Сарасвати, Л.Р. Чавдхри
Издательство: Профит Стайл
Год издания: 2010
isbn: 5-98857-154-9
Количество страниц: 481
Язык: русский
Формат: DJVU
Астрохиромантия - неожиданный аспект астрологии, тщательно хранимый в тайне теми немногими, кто был в него посвящен. Это наука, имеющая дело с судьбой и характером человека, определяемыми позициями планет на его ладони. Астрохиромантия помогает точно установить время и дату рождения по линиям и знакам на руке и составить на этой основе полный гороскоп. Вниманию читателя предлагаются ценные сведения, полученные автором после многих лет поисков и упорного труда.
Автор: Г.Н. Реутов
Издательство: Международные отношения
Год издания: 1967
Количество страниц: 217
Язык: русский
Формат: DJVU
О происхождении второй мировой войны, легендах и фальсификациях, которые нагромождают вокруг нее английские буржуазные историки, публицисты и государственные деятели, о внешней политике Англии и международных отношениях 1939—1945 годов рассказывает эта книга. В ней показано, как английская историческая наука трактует политику "умиротворения", способствовавшую развязыванию войны, такие ее эпизоды, как "дюнкеркское чудо", "битва за Британию", "миссия Гесса", каким образом она пытается оправдать отказ Черчилля открыть второй фронт в 1941—1943 годах и обосновать антисоветскую деятельность английской реакции. Используя оригинальные материалы — мемуары Черчилля и Идена, Монтгомери и Аланбрука, а также исследования крупных буржуазных историков А. Тойнби, Дж. Фуллера, Б. Лиддел Гарта и других, автор доказывает, что большинство легенд и версий о войне, распространяемых на Западе, противоречит истине.
Автор: Коллектив
Издательство: Наукова думка
Год издания: 1982
Количество страниц: 168
Язык: русский
Формат: DJVU
Сборник состоит из статей и публикаций, посвящённых исследованиям археологических памятников Северо-Западного Причерноморья эпохи палеолита, энеолита, бронзы и раннего железа. Освещаются актуальные вопросы древней истории племён юго-западных степей. Для археологов, историков, музейных работников, краеведов, преподавателей и студентов исторических факультетов.
Автор: Кен Ватанабе
Издательство: Companion Group
Год издания: 2010
isbn: 978-966-1629-08-9, 978-1-59184-242-2
Количество страниц: 144
Язык: русский
Формат: PDF (scan)
Книга "Учимся решать проблемы" изначально была рассчитана на школьников, чтобы научить их критическому мышлению. Но очень скоро стала бестселлером именно среди взрослых благодаря эффективной методике решения проблем, разработанной Кеном Ватанабе (в прошлом ведущий консультант McKinsey). Мышление, ориентированное на решение проблем, может дать нам возможность контролировать свою жизнь целиком и полностью, научиться решать проблемы, справляться с неожиданными вызовами и даже изменить мир. Овладев благодаря этой книге предложенными навыками решения проблем, вы удивитесь, как раньше могли без них обходиться. Книга достаточно проста для понимания и школьниками, но при этом рассматривает решение серьезных проблем людей, занимающихся бизнесом.
Автор: Колобова К.М.
Издательство: Ленинградского Ун-та
Год издания: 1961
Количество страниц: 374
Язык: русский
Формат: PDF (scan)
Эта книга была задумана автором в процессе чтения им на историческом факультете ЛГУ курса лекций по истории древних городов. Это не учебное пособие и не монография в точном значении этого слова. Книга посвящена истории Афин начиная с XVI до IV вв. до н. э. и содержит сведения о наиболее важных памятниках античного искусства и архитектуры, вошедших в сокровищницу мировой культуры. Некоторые из них в нашей литературе публикуются впервые. Памятники рассматриваются в тесной связи с политической и культурной жизнью Афинского государства. Текст иллюстрируется чертежами, снимками и репродукциями. В конце книги дается список основной иностранной и отечественной литературы, как общей, так и по отдельным памятникам.
Автор: Бондарь С.
Издательство: Благоцентр
Год издания: 2006
Количество страниц: 188
Язык: русский
Формат: DOC
Вы верите в то, что рождение Вашего малыша может быть одним из самых прекрасных и счастливых событий в Вашей жизни? Или, быть может, Вы интуитивно чувствуете, что появление на свет Вашего первенца было не таким, как предполагают его Законы Природы и не соответствовало Божественным замыслам? Тогда эта книга для Вас! Автор этой книги – мать троих детей, имеющая собственный уникальный опыт рождения их путём классических родов в роддоме, кесарева сечения и нетрадиционных водных домашних родов; сама принявшая в мир множество чудесных малышей при родах дома, проливает свет на казенно-поточную практику противоестественного родовспоможения в роддомах; делится вдохновенным обобщённым опытом и предложениями по естественному внебольничному рождению, а также возможностям приближения к естественным условиям рождения в роддомах.
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Подробнее и с комментариями (0)