Иконка меню Поиск

  По разделам

Этот параграф содержит ссылку.


Иконка меню  Журналы по разделам

Этот параграф содержит ссылку.


 Партнеры




 Реклама



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

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

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

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

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

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

      Добавил: Julia    Комментарии: 0    Просмотров: 2912

Учимся решать проблемы. Простая книга для умных людей

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

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

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

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

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

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

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

      Добавил: Julia    Комментарии: 0    Просмотров: 4115

Иконка меню  Личный кабинет
Иконка меню  Партнеры




   © Портал саморазвития и самообразования, 2014