Поиск
Партнеры
Информация
Реклама
|
|
|
|
| Автор: Дружков Ю. Название: Волшебная Школа Карандаша и Самоделкина Год: 2004 Страниц: 128 ISBN: 5-9555-0184-3 Формат: pdf rtf Размер: 2Мб Язык: русский Качество: хорошее Маленькие волшебники – Карандаш и Самоделкин открывают школу волшебников. В этой школе они учат маленьких детей волшебству. Но неожиданно в школу пробираются разбойники – пират Буль-Буль и шпион Дырка, что бы выгнать оттуда Карандаша и Самоделкина и превратить школу волшебников в школу разбойников. Школу волшебников, Карандаша и Самоделкина спасает маленькая девочка – Настенька, одна из учениц школы волшебников.
| | Добавил: Julia Комментарии: 0 Просмотров: 3692 | |
|
Категория: Программирование
|
| Автор: Ю. Г. Карпов Название: Model Checking. Верификация параллельных и распределенных программных систем Год : 2010 Страниц: 552 ISBN: 978-5-9775-0404-1 Формат: djvu Размер: 12,2 Мб Язык: русский Качество: хорошее В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
| | Добавил: Julia Комментарии: 0 Просмотров: 2977 | |
|
|
| Автор: П. В. Шумаков Название: ADO.NET и создание приложений баз данных в среде Microsoft Visual Studio .NET Год : 2003 Страниц: 528 ISBN: 5-86404-184-X Формат: pdf Размер: 15.4 Мб Язык: русский Качество: отличное Никакое приложение – кроме, быть может, школьных да хитромудрых системных, в силу их специфики, – не может обойтись без хранения данных в сторонних хранилищах – будь то гигабайтовые базы на SQL Server, небольшие базы Access или плоские таблицы dBase. Поэтому доступ к внешним источникам данных и их хранение в приложении является одной из существеннейших прикладных проблем, решаемых при создании приложений. В этой книге рассказывается, как работать с данными из приложений, создаваемых на платформе .NET Framework. Автор настоящий профессионал, объясняет просто и доступно! ОДнако работать с книгой лучше вместе с компьютером
| | Добавил: Julia Комментарии: 0 Просмотров: 2914 | |
|
Категория: История. Психология. Право, Научно-популярное
|
| Автор: Кен Ватанабе Название: Учимся решать проблемы. Простая книга для умных людей Год : 2010 Страниц: 144 ISBN: 978-966-1629-08-9, 978-1-59184-242-2 Формат: pdf Размер: 14 Мб Язык: русский Качество: нормальное Каждый из нас принимает решения. Кем бы вы ни были – отцом семейства, предпринимателем или президентом США – все равно вы ежедневно сталкиваетесь с необходимостью решать проблемы. Конечно же, проблема проблеме рознь. Кому-то предстоит увеличить итог баланса своего предприятия, кому-то – определиться с местом жительства, а кому-то – сдать экзамен. Кто-то хочет научиться лучше играть в гольф, а кто-то озабочен проблемой собственного веса. Независимо от масштабов вопроса, мы ставим перед собой цель, определяем препятствия и стремимся их преодолеть. Книга "Учимся решать проблемы" изначально была рассчитана на школьников, чтобы научить их критическому мышлению. Но очень скоро стала бестселлером именно среди взрослых благодаря эффективной методике решения проблем, разработанной Кеном Ватанабе (в прошлом ведущий консультант McKinsey). Мышление, ориентированное на решение проблем, может дать нам возможность контролировать свою жизнь целиком и полностью, научиться решать проблемы, справляться с неожиданными вызовами и даже изменить мир. Овладев благодаря этой книге предложенными навыками решения проблем, вы удивитесь, как раньше могли без них обходиться. Книга достаточно проста для понимания и школьниками, но при этом рассматривает решение серьезных проблем людей, занимающихся бизнесом.
| | Добавил: Julia Комментарии: 0 Просмотров: 4190 | |
|
|
| Автор: Н. Н. Гринченко, Е. В. Гусев, Н. П. Макаров Название: Проектирование баз данных. СУБД Microsoft Access. Учебное пособие Год: 2004 Страниц: 240 ISBN: 5-93517-193-7 Серия: Специальность. Для высших учебных заведений Формат: pdf Размер: 19 Язык: русский Качество: хорошее В форме практических рекомендаций рассмотрены методы создания баз данных с использованием интегрированной среды Microsoft Access. Изложение материала оформлено в виде отдельных разделов, в которых кратко представлен теоретический материал по конкретной теме. Каждая представленная тема может выступать в качестве отдельного практического занятия (или темы лабораторной работы). С этой целью рассмотрены конкретные примеры, приведены вопросы и варианты заданий для самостоятельного выполнения. При описании интерфейса использована последняя на данный момент версия Microsoft Access 2002. Для студентов вузов, будет полезна всем желающим быстро овладеть основами работы с интегрированной средой MS Access 97...2002.
| | Добавил: Julia Комментарии: 0 Просмотров: 3232 | |
|
|
| Автор: В. М. Бушуев, В. А. Деминский и др. Название: Электропитание устройств и систем телекоммуникаций Год : 2009 Страниц: 384 ISBN: 978-5-9912-0077-6 Формат: pdf Размер: 18.7 Мб Язык: русский Качество: хорошее Рассмотрены вопросы организации электроснабжения предприятий телекоммуникаций и его резервирования. Приведены основные сведения по элементной базе устройств электропитания с учетом последних достижений и тенденций ее развития. Большое внимание при изложении материала уделено принципам управления и физическим процессам в современных высокочастотных устройствах преобразования электрической энергии. Рассмотрены принципы построения и основные характеристики как самих цифровых преобразовательных устройств, так и систем электропитания телекоммуникационной аппаратуры, выполненных на базе этих устройств.
| | Добавил: Julia Комментарии: 0 Просмотров: 4117 | |
|
|
Личный кабинет
Партнеры
|