The B-Book Assigning Programs to Meanings

Автор: harun54 от 11-03-2019, 22:11, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Название: The B-Book Assigning Programs to Meanings
Автор: J. R. Abrial and A. Hoare
Издательство: Cambridge University Press
Год: 2005
Формат: PDF
Размер: 13 Мб
Язык: английский / English

The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set theory, and the definition of the various mathematical structures that are needed to formalize software systems; the author places special emphasis on the notion of proof.
 

C++ for Engineers and Scientists, Third Edition

Автор: alex66 от 11-03-2019, 17:50, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: C++ for Engineers and Scientists, Third Edition
Автор: Gary J. Bronson
Издательство: Course Technology, Cengage Learning
Год: 2010
Формат: PDF
Для сайта: litgu.ru
Страниц: 849
Размер: 31,73 МБ
Язык: English

Introduce the power and practicality of C++ programming to entry-level engineers with Bronson's C++ FOR ENGINEERS AND SCIENTISTS, 4E. This proven, pragmatic text is designed specifically for today's first- and second-year engineering and science students with a wealth of new applications and examples taken from real situations involving electrical and structural engineering, fluid mechanics, mathematics, power generation, and heat transfer challenges. The book starts with a solid foundation in procedural programming before moving into a reorganized, clear presentation of object-oriented concepts.
 

Работа в MS Office 2007: Word, Excel, PowerPoint

Автор: Biber от 11-03-2019, 17:16, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Работа в MS Office 2007: Word, Excel, PowerPointНазвание: Работа в MS Office 2007: Word, Excel, PowerPoint
Автор: Новиковский Е.А.
Жанр: Учебное пособие
Издательство: АлтГТУ
Год: 2012
Страниц: 230
Язык: Русский
Формат: pdf, djvu
Размер: 10 Mb

Данное методическое пособие посвящено описанию основных программ пакета Microsoft Office 2007 – Microsoft Office Word 2007, Microsoft Office Excel 2007 и Microsoft Office PowerPoint 2007 – с целью получения базовых навыков при работе с ними.
 

Службы Microsoft Windows SharePoint. Шаг за шагом

Автор: Biber от 11-03-2019, 15:44, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Службы Microsoft Windows SharePoint. Шаг за шагомНазвание: Службы Microsoft Windows SharePoint. Шаг за шагом
Автор: Коллектив авторов
Жанр: Учебное пособие
Издательство: СП ЭКОМ
Год: 2005
Страниц: 384
Язык: Русский
Формат: djvu
Размер: 10,29 Mb

Книга представляет собой учебный курс Microsoft по службам Windows SharePoint Services. Курс с успехом может использоваться и при обучении в группе, и как самоучитель.
 

Архитектура вычислительных систем и Ассемблер

Автор: Chipa от 11-03-2019, 13:26, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Архитектура вычислительных систем и Ассемблер
Автор: Гагарина, Кононова
Издательство: Солон-пресс
Год: 2019
Формат: pdf
Страниц: 369
Размер: 15.8 Mb
Язык: Русский

В пособии представлен систематизированный курс одной из основной дисциплин специализирован-ной подготовки бакалавров по направлениям 09.03.04 "Программная инженерия" и 01.03.04 "Прикладная математика" с точки зрения прикладного программи-рования и парадигмы кроссплатформенности.
 

Все о работе на ноутбуке в одной книге

Автор: Chipa от 11-03-2019, 13:25, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Все о работе на ноутбуке в одной книге
Автор: Виталий Леонтьев
Издательство: Э
Год: 2018
Формат: pdf
Страниц: 445
Размер: 7 Mb
Язык: Русский

В этой книге вы найдете самую полную информацию о том, как выбрать ноутбук, как выполнять на нем основные действия, такие как работа с папками и файлами, удаление, настройка под себя – словом, все, что нужно, чтобы стать уверенным пользователем. А кроме того, автор понятно и нескучно расскажет о том, как выходить в интернет, слушать на ноутбуке музыку, смотреть видео, читать книги, совершать онлайн-покупки и даже общаться с друзьями!
 

Создание приложений с помощью Microsoft Outlook. Версия 2002

Автор: Biber от 11-03-2019, 11:02, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Создание приложений с помощью Microsoft Outlook. Версия 2002Название: Создание приложений с помощью Microsoft Outlook. Версия 2002
Автор: Рэнди Бирн
Жанр: Учебное пособие
Издательство: Эком
Год: 2003
Страниц: 928
Язык: Русский
Формат: pdf
Размер: 88,48 Mb

Эта книга - практическое руководство по разработке программного обеспечения коллективного пользования с помощью Outlook. Outlook является наиболее настраиваемой из программ электронной почты, а его способность принять для работы в автономном режиме приложение, предназначенное для подключения к серверу Exchange, породило множество программ, управляющих взаимоотношениями с клиентами.
 

Designing the User Interface: Strategies for Effective Human-Computer Interaction. 6th Edition

Автор: koticvvik от 10-03-2019, 12:45, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Designing the User Interface: Strategies for Effective Human-Computer Interaction. 6th Edition
Автор: Ben Shneiderman; Catherine Plaisant; Maxine Cohen; Steven Jacobs; Niklas Elmqvist; Nicholas Diakopoulos
Издательство: Pearson
Год: 2016
Формат: pdf
Страниц: 623
Для сайта: litgu.ru
Размер: 190,08 МБ
Язык: english

For courses in Human-Computer InteractionThe Sixth Edition ofDesigning the User Interfaceprovides a comprehensive, authoritative, and up-to-date introduction to the dynamic field of human-computer interaction (HCI) and user experience (UX) design.
 

Spreadsheet Modeling & Decision Analysis

Автор: harun54 от 9-03-2019, 22:24, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Название: Spreadsheet Modeling & Decision Analysis
Автор: Cliff Ragsdale
Издательство: South-Western College Pub
Год: 2010
Формат: PDF
Размер: 40 Мб
Язык: английский / English

SPREADSHEET MODELING AND DECISION ANALYSIS, Sixth Edition, provides instruction in the most commonly used management science techniques and shows how these tools can be implemented using Microsoft Office Excel 2010.
 

Python 101

Автор: harun54 от 9-03-2019, 16:19, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Название: Python 101
Автор: Michael Driscoll
Издательство: Michael Driscoll
Год: 2014
Формат: EPUB
Размер: 22 Мб
Язык: английский / English

Learn how to program with Python 3.4 from beginning to end. My book is made primarily for beginners. However, at least two-thirds of it is aimed at intermediate programmers. You may be wondering how that works. The book will be split into five parts: beginner material, the Python standard library, intermediate topics, 3rd party modules, and distribution.