Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016

Автор: admin от 29-09-2017, 19:26, Коментариев: 0

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

Название: Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016
Автор: Sandrine Blazy and Marsha Chechik
Издательство: Springer
Год: 2016
Формат: EPUB
Размер: 10 Мб
Язык: английский / English

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation.
 

Pixel Art for Game Developers

Автор: daromir от 29-09-2017, 19:19, Коментариев: 0

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


Автор: Daniel Silber
Название: Pixel Art for Game Developers
Издательство: A K Peters/CRC Press
Год: 2015
ISBN: 1482252309
Язык: English
Формат: pdf
Размер: 43,4 mb
Страниц: 256

Pixel Art and Pixel Art games are very popular and the technique is a great way for independent creators to create very good-looking games with limited resources.
 

DITA for Print: A DITA Open Toolkit Workbook, 2nd Edition

Автор: bhaer от 29-09-2017, 18:32, Коментариев: 0

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


Название: DITA for Print: A DITA Open Toolkit Workbook, 2nd Edition
Автор: Leigh W White
Издательство: XML Press
Год: 2017
Страниц: 526
Формат: True PDF
Размер: 10 Mb
Язык: English

As DITA has become more and more popular, demand has increased for tools that can provide high quality PDFs from DITA content. The DITA Open Toolkit provides a basic PDF capability, but nearly any real-world application will require customization.
 

Computer Forensics: Cybercriminals, Laws, and Evidence, 2nd Edition

Автор: bhaer от 29-09-2017, 18:04, Коментариев: 0

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


Название: Computer Forensics: Cybercriminals, Laws, and Evidence, 2nd Edition
Автор: Marie-Helen Maras
Издательство: Jones & Bartlett Learning
Год: 2014
Страниц: 408
Формат: True PDF
Размер: 10 Mb
Язык: English

An Updated Edition of the Definitive Computer Forensics Text Updated to include the most current events and information on cyberterrorism, the second edition of Computer Forensics: Cybercriminals, Laws, and Evidence continues to balance technicality and legal analysis as it enters into the world of cybercrime by exploring what it is, how it is investigated, and the regulatory laws around the collection and use of electronic evidence.
 

Большие данные: принципы и практика построения масштабируемых систем обработки данных в реальном времени

Автор: АлександрШе от 29-09-2017, 13:36, Коментариев: 0

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


Название: Большие данные: принципы и практика построения масштабируемых систем обработки данных в реальном времени
Автор: Натан Марц, Джеймс Уоррен
Издательство: Вильямс
Год: 2016
Страниц: 356
Формат: djvu
Размер: 14 mb

В этой книге представлены теоретические основы организации систем больших данных и поясняется, каким образом они воплощаются на практике. В ней рассматривается лямбда-архитектура, предназначенная для построения подобных систем, и на примере конкретного веб-приложения поясняются особенности реализации всех уровней этой архитектуры с помощью инструментальных средств вроде Hadoop, Cassandra и Storm. Для чтения этой книги не требуется предварительное знакомство с особенностями анализа крупномасштабных данных или баз данных типа NoSQL, хотя полезно знать о традиционных базах данных.
 

Разработка прикладных решений для платформы 1С: Предприятие 8.2 в режиме Управляемое приложение

Автор: АлександрШе от 29-09-2017, 13:20, Коментариев: 0

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


Название: Разработка прикладных решений для платформы 1С: Предприятие 8.2 в режиме Управляемое приложение
Автор: Заика А.А.
Издательство: ИНТУИТ
Год: 2016
Страниц: 253
Формат: pdf
Размер: 22 mb

Курс предназначен для слушателей, имеющих опыт разработки для 1С: Предприятие 8.2 и желающих расширить свои знания я навыки, освоив решение бухгалтерских и расчетных задач, научившись работать с бизнес-процессами, освоив работу с функциональными опциями и другими механизмами системы.
В курсе на примере разработки конфигурации в 1С: Предприятие 8.2, в режиме «Управляемое приложение» рассмотрены вопросы организации подсистемы бухгалтерского учета с использованием регистров бухгалтерии, планов счетов, планов видов характеристик и других вспомогательных механизмов. Рассмотрена реализация расчетной подсистемы с применением регистров расчета и планов видов расчета, рассмотрены механизмы бизнес-процессов, работа с функциональными опциями, организация распределенной информационной системы, поиск в базе данных и использование регламентных заданий. Курс предназначен для слушателей, имеющих опыт разработки для 1С: Предприятие 8.2.
 

Основы разработки для платформы 1С: Предприятие 8.2 в режиме Управляемое приложение

Автор: АлександрШе от 29-09-2017, 12:45, Коментариев: 0

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


Название: Основы разработки для платформы 1С: Предприятие 8.2 в режиме Управляемое приложение
Автор: Заика А.А.
Издательство: ИНТУИТ
Год: 2016
Страниц: 253
Формат: pdf
Размер: 24 mb

Курс предназначен для слушателей, уже имеющих опыт разработки для 1С: Предприятие 8.1, и желающих освоить основы разработки и модификации прикладных решений в системе 1С: Предприятие 8.2.
В курсе на практическом примере рассмотрены основные особенности разработки в режиме управляемого приложения. Помимо описания особенностей работы с такими объектами, как подсистемы, константы, справочники, документы, перечисления, последовательности, нумераторы, регистры накопления, регистры сведений, в курсе уделено внимание организации клиент-серверного взаимодействия. Кроме того, здесь рассматриваются методы конструирования командного интерфейса управляемого приложения и методы работы с управляемыми формами.
 

Architectures. Экзамен экстерном (экзамен 70-100)

Автор: khakiwolf от 29-09-2017, 10:22, Коментариев: 0

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


Название: Architectures. Экзамен экстерном (экзамен 70-100)
Автор: Брандт Д.
Издательство: СПб.: Питер
Год: 2001
Формат: pdf, djvu
Страниц: 432
Размер: 53 Мб
Язык: русский

Книги серии «Экзамен - экстерном» представляют собой удобные, сжатые, хорошо структурированные кoнспекты для noдготовки к сдаче сертификационных экзаменов. Серия «Экзамен - экстерном» - настоящая находка для преподавателей, которые смогут рекомендовать ее слушателям в качестве пособия для самостоятельной работы. Книга не потеряет актуальность и после успешной сдачи экзамена, она поможет в нужный момент освежить в памяти необходимые сведения.
 

Cross-Platform Development with Delphi 10.2 & FireMonkey for Windows, MAC OS X (macOS) & Linux

Автор: daromir от 29-09-2017, 09:58, Коментариев: 0

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


Автор: Harry Stahl
Название: Cross-Platform Development with Delphi 10.2 & FireMonkey for Windows, MAC OS X (macOS) & Linux
Издательство: Amazon Digital Services LLC
Год: 2017
ASIN: B076191YQ3
Язык: English
Формат: azw3, pdf(conv)
Размер: 12,2 mb
Страниц: 220

The book is a help to all Delphi programmers who want to develop their programs for Windows, MAC OS X (macOS) and Linux for the first time with FireMonkey, and also suitable for developers who want to go deeper into the FireMonkey framework. Note:The book is not intended for developers who are just starting to program with Delphi.
 

Теория и практика неопределенного программирования

Автор: Почемучка от 28-09-2017, 23:06, Коментариев: 0

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


Название: Теория и практика неопределенного программирования
Автор: Лю Б.
Издательство: Бином
ISBN: 5-94774-241-1
Год: 2005
Формат: PDF
Страниц: 416
Размер: 50.6 MB
Язык: Русский

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