|
1. MODEL СHECKING. Верификация параллельных и распределенных программных систем |
| Карпов Ю. |
| В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верифика.. |
|
2. Photoshop CS4.Трюки и эффекты (+CD с видеокурсом) |
| Гурский |
| .. |
|
3. Алгоритмы и процессоры цифровой обработки сигналов |
| Солонина А., Улахович Д., Яковлев Л. |
| Учебное пособие посвящено базовым алгоритмам ЦОС и архитектуре ЦПОС на примерах процессоров фирм Texas Instruments, Analog Devices и Motorola. Рассматриваются принципы построения и характеристики цифр.. |
|
4. Архитектура ЭВМ |
| Жмакин А. |
| Пособие объединяет в одном издании теоретическую часть одноименной дисциплины и лабораторный практикум. Рассмотрены базовые вопросы организации ЭВМ: функциональная организация ЭВМ, системы команд и ко.. |
|
5. Архитектура ЭВМ 2-е изд. |
| Жмакин А. |
| Пособие объединяет в одном издании теоретическую часть одноименной дисциплины и лабораторный практикум. Рассмотрены базовые вопросы организации ЭВМ: функциональная организация ЭВМ, системы команд и ко.. |
|
6. Базовый Курс.PowerPoint.Изучаем Microsoft Office |
| |
| Предлагаемое издание адресуется тем, кто хочет быстро освоить новейшую версию самой популярной программы для создания презентаций - Microsoft PowerPoint 2007. В данной книге описаны основные способы р.. |
|
|
7. Базовый Курс.Windows Vista |
| |
| .. |
|
|
8. Базовый Курс.Word |
| |
| .. |
|
9. Базовый Курс.Интернет |
| |
| Классический курс, направленный на ускоренную профессиональную подготовку тех, кто уже сделал выбор в пользу валютного рынка FOREX. Составной частью курса является уникальное предложение компании Tele.. |
|
10. Базовый Курс.Общение в Интернете |
| |
| Основные сведения и советы, необходимые для пользования электронной почтой, бесплатной телефонной связью через Интернет и др. «Общение через Интернет, - уверен издатель, - это самый прогрессивный вид.. |
|
|
11. Без напряга.Компьютер |
| Жвалевский |
| .. |
|
|
|
|
12. Без напряга.Ремонт и обслуживание компьютера без напряга |
| Жвалевский |
| Все рано или поздно ломается, и компьютер не исключение. Но теперь вам вполне по силам справиться с этой бедой! Книга, которую вы держите в руках, научит вас самостоятельно, без привлечения дорогостоя.. |
|
|
13. Без напряга.Цифровое фото и Photoschop |
| Жвалевский |
| .. |
|
14. Введение в реляционные базы данных |
| Кириллов В. |
| В книге рассматриваются основные понятия баз данных и систем управления ими (СУБД), моделей данных, положенных в основу баз данных и методов проектирования реляционных баз данных. Обсуждаются реляцион.. |
|
15. Вычислительная математика |
| Устинов С., Зимницкий В. |
| Изложены аппроксимация функций и смежные вопросы, задачи линейной алгебры, нелинейные уравнения и системы, методы решения дифференциальных уравнений, введение в минимизацию функций. Особое внимание об.. |
|
16. Вычислительные методы |
| Рыжиков Ю. |
| Книга написана инженером специально для инженеров и посвящена основам решения инженерных задач с акцентом на программную реализацию методов вычислительной математики. Включает в себя постановку задачи.. |
|
17. Геометрия: учебник. 2-е изд. |
| Александров А., Нецветаев Н. |
| Содержит основные разделы курса геометрии: аналитическую геометрию, элементарную геометрию на основе аксиоматики, включая геометрические преобразования и построения, элементы многомерной и проективной.. |
|
|
18. Готовимся к ЕГЭ. Информатика. 2-е изд. |
| Сафронов И. |
| В пособии рассматриваются варианты ЕГЭ по информатике за последние два учебных года (2006/2007, 2007/2008)
с подробным разбором всех заданий. Для самостоятельной работы предлагаются задания, подобные.. |
|
19. Графы в программировании: обработка, визуализация и применение |
| Касьянов В. |
| Книга содержит изложение фундаментальных основ современных компьютерных технологий, связанных с применением теории графов. Приведены основные модели, методы и алгоритмы прикладной теории графов. Рассм.. |
|
20. Диагностика строительных, дорожных и подъемно-транспортных машин |
| Антипенко Г., Лягушев Г., Максименко А. |
| Рассмотрены вопросы работоспособности строительных, дорожных и подъемно-транспортных машин. Особое внимание уделено диагностике, составляющей основу определения трудоемкости технических обслуживаний и.. |
|
21. Дискретная математика в примерах и задачах |
| Тишин В. |
| Учебное пособие составлено на основании материалов лекционного курса, содержит краткую теорию, варианты заданий и примеры решения по следующим разделам дискретной математики: множества, декартовы прои.. |
|
22. Дискретная математика. Курс лекций и практических занятий |
| Шапорев С. |
| Рассмотрены вопросы трех разделов, изучаемых в курсе дискретной математики: теории множеств, комбинаторики и теории графов. Изложены основные теоретические сведения и приведены многочисленные примеры .. |
|
23. Дистанционные образовательные технологии: проектирование и реализация учебных курсов |
| Лебедева М., Агапонов С., Горюнова М., Костиков А., Костикова Н., Никитина Л., Соколова Н., Степаненко Е., Фрадкин В., Шилова О. |
| Представлено современное видение вопросов внедрения дистанционных образовательных технологий (ДОТ), рассмотрены различные аспекты проектирования дистанционных курсов и их реализации в программных обол.. |
|
|
|
|
24. Дифференциальное и интегральное исчисление функций нескольких аргументов |
| Файншмидт В. |
| Книга является логическим продолжением учебника "Дифференциальное
и интегральное исчисление функций одного аргумента". Кроме основных разделов по дифференциальному и интегральному исчислени.. |
|
25. Дифференциальное и интегральное исчисление функций одного аргумента |
| Файншмидт В. |
| Учебник содержит основные сведения по дифференциальному и интегральному исчислению: функции, пределы, производные, интеграл, дифференциал, ряды. Основан на опыте многолетнего преподавания курса студен.. |
|
|
26. ДомашнКомпьютер.Домашний компьютер.Используем на 100% (+CD с полезными программами) |
| Баловсяк |
| .. |
|
|
27. ДомашнКомпьютер.Мобильник + компьютер:эффективное взаимодействие (+CD) |
| Днепров |
| .. |
|
28. ЕГЭнциклопедия. Информатика |
| Сафронов И. |
| В пособии подробно разобраны задания демо-версии экзамена 2010 года, варианты заданий ЕГЭ за 2008 - 2009 годы. Для самостоятельной работы предлагаются аналогичные задания с подробными решениями. Дан.. |
|
29. Задачи на максимум и минимум |
| Актершев С. |
| Рассмотрены разнообразные задачи элементарной математики, связанные c поиском экстремальных значений функции или выбором наилучшего(оптимального) решения при заданных ограничениях (наименьшая стоимост.. |
|
30. Задачи по алгебре и началам анализа |
| Иванов О. |
| Большая часть материала, включенного в эту книгу, вполне традиционна. В ней рассматриваются: уравнения и неравенства (с модулем, алгебраические, иррациональные, тригонометрические, показательные и лог.. |
|
31. Занимательная математика. Множества и отношения |
| Дунаев В. |
| Книга в занимательной форме вводит читателя в мир математики и логики. Она адресована всем, кто любит поразмышлять и интересуется головоломками и парадоксами. Материал первой части изложен в форме диа.. |
|
32. Идеи и решения фундаментальных проблем науки и техники |
| Гладких В., Гладких В., Гладких П. |
| Рассмотрены три проекта. В проекте "Механические роботы" обсуждаются управляющие системы на основе техногенетического кода. В проекте "Искусственный интеллект на основе N-нейронных моду.. |
|
33. Имитационное моделирование систем. Введение в моделирование |
| Карпов Ю. |
| Описываются десятки законченных примеров имитационных моделей из самых различных областей. Для каждой модели приводится постановка проблемы, обсуждается ее структура, подробно разбирается реализация в.. |
|
34. Инженерная и компьютерная графика. Практикум |
| Большаков В. |
| Рассмотрены вопросы решения чертежно-графических задач средствами двумерной графики, типовые вопросы подготовки конструкторской документации, способы решения задач инженерной графики методами трехмерн.. |
|
35. Интерполяция. Методы и компьютерные технологии их реализации |
| Половко А., Бутусов П. |
| Книга содержит основы теории интерполяции: приведена классификация методов, рассматриваются точные и приближенные, однопараметрические и многопараметрические методы. Методика и компьютерные технологии.. |
|
|
|
|
36. Информатика. Теоретический курс и практические занятия |
| Шапорев С. |
| В учебнике изложены основы информационной культуры, современные технические средства и программный инструментарий новых информационных технологий. Рассматриваются свойства, представление, измерение и .. |
|
37. Информационные системы и базы данных: организация и проектирование |
| Пирогов В. |
| Излагаются основные вопросы по организации и проектированию информационных систем: классификация, структура, безопасность и принципы проектирования; а также архитектура информационной системы: интерфе.. |
|
38. Информация и информационные процессы. Социальная информатика |
| Могилев А., Листрова Л. |
| Книга является частью комплекта учебников по курсу информатики и информационнокоммуникационных технологий (ИКТ) в старших классах общеобразовательной школы на профильном уровне, основанного на опублик.. |
|
39. История и философия науки. Математика, вычислительная техника, информатика |
| Петров Ю. |
| Учебное пособие содержит материал, необходимый и достаточный для подготовки и сдачи нового экзамена кандидатского минимума по истории и философии математики, вычислительной техники и информатики в соо.. |
|
40. История и философия науки. Математика, вычислительная техника, информатика |
| Петров Ю. |
| Учебное пособие содержит материал, необходимый и достаточный для подготовки и сдачи нового экзамена кандидатского минимума по истории и философии математики, вычислительной техники и информатики в соо.. |