Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: М.: Радио и связь
Год: 1988
Формат: PDF
Страниц: 256
Размер: 10 mb
Язык: русский

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

Название: React Native Cookbook: Bringing the Web to Native Platforms
Автор: Jonathan Lebensold
Издательство: O'Reilly Media
Год: 2018
Страниц: 176
Формат: EPUB
Размер: 10 Mb
Язык: English

Tackling an app development project on multiple platforms is usually an arduous task, but with React Native, you can build cross-platform mobile apps that look and behave just like native apps built with Swift or Java. If you’re familiar with javascript, the recipes in this cookbook will help you understand the React Native ecosystem, deal with design and hardware issues, take on the deployment process, and write maintainable code.

Автор: Daniel Brookshier, Darren Govoni, Navaneeth Krishnan, Juan Carlos Soto
Название: JXTA: Java P2P Programming
Издательство: Sams Publishing
Год: 2002
ISBN: 0672323664
Язык: English
Формат: pdf
Размер: 10,3 mb
Страниц: 432

JXTA: Java P2P Programming provides an invaluable introduction to this new technology, filled with useful information and practical examples.

Название: Services Computing for Language Resources
Автор: Yohei Murakami and Donghui Lin
Издательство: Springer
Год: 2018
Формат: PDF
Размер: 11 Мб
Язык: английский / English

Describing the technologies to combine language resources flexibly as web services, this book provides valuable case studies for those who work in services computing, language resources, human–computer interaction (HCI), computer-supported cooperative work (CSCW), and service science. The authors have been operating the Language Grid, which wraps existing language resources as atomic language services and enables users to compose new services by combining them. From architecture level to service composition level, the book explains how to resolve infrastructural and operational difficulties in sharing and combining language resources, including interoperability of language service infrastructures, various types of language service policies, human services, and service failures.

Название: Java Language Features: With Modules, Streams, Threads, I/O, and Lambda Expressions, 2nd Edition
Автор: Kishori Sharan
Издательство: Apress
Год: 2018
Страниц: 895
Формат: PDF, EPUB
Размер: 11 Mb
Язык: English

Work with essential and advanced features of the Java programming language such as Java modules development, lambda expressions (closures), inner classes, threads, I/O, Collections, garbage collection, and more. Author Kishori Sharan provides over 50 diagrams and 290 complete programs to help you visualize and better understand the topics covered in this book.

Название: Программирование
Автор: Иванова Г.С.
Издательство: М.: КноРус
Год: 2014
Страниц: 426
ISBN: 978-5-406-03447-7
Формат: PDF
Размер: 65.8 Мб
Язык: русский
Серия: Бакалавриат

Изложены основные теоретические положения разработки программного обеспечения с использованием структурного и объектного подходов. Подробно рассмотрены основные приемы решения задач различных классов, в том числе приемы создания и обработки динамических структур данных, без которых невозможно современное программирование.

Название: Объектно-ориентированное программирование с примерами применения
Автор: Буч Г.
Жанр: Программирование
Издательство: Конкорд
Год выпуска: 1992
Страниц: 517
Язык: Русский
Формат: pdf
Размер: 27 Mb

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

Название: Понятно о Visual Basic .NET. Самоучитель в 3 томах
Автор: Лукин С.Н.
Жанр: Программирование
Издательство: Диалог-МИФИ
Год выпуска: 2005
Страниц: 191,320,406
Язык: Русский
Формат: doc, pdf
Размер: 33 Mb

Книга рассчитана на две категории читателей: на начинающих программистов, в том числе даже на тех читателей, которые в своей жизни не запрограммировали ни строчки и просто хотят научиться программировать, и на программистов со средним опытом программирования, которые хотят освоить настоящий объектно-ориентированный язык.

Название: Глубокое обучение
Автор: Ян Гудфеллоу, Аарон Курвилль, Иошуа Бенджио
Издательство: ДМК Пресс
Год: 2018
Формат: pdf
Размер: 14,2 Мб
Качество: Хорошее
Язык: Русский

Глубокое обучение – это вид машинного обучения, наделяющий компьютеры способностью учиться на опыте и понимать мир в терминах иерархии концепций. Книга содержит математические и концептуальные основы линейной алгебры, теории вероятностей и теории информации, численных расчетов и машинного обучения в том объеме, который необходим для понимания материала. Описываются приемы глубокого обучения, применяемые на практике, в том числе глубокие сети прямого распространения, регуляризация, алгоритмы оптимизации, сверточные сети, моделирование последовательностей и др. Рассматриваются такие приложения, как обработка естественных языков, распознавание речи, компьютерное зрение, онлайновые рекомендательные системы, биоинформатика и видеоигры.
Издание предназначено студентам вузов и аспирантам, а также опытным программистам, которые хотели бы применить глубокое обучение в составе своих продуктов или платформ.

Название: Изучаем Angular 2
Автор: Пабло Дилеман
Издательство: ДМК Пресс
Год: 2017
Формат: pdf
Размер: 25,6 Мб
Качество: Хорошее
Язык: Русский

Фреймворк Angular 2 полностью переписан с нуля для удовлетворения требований современных разработчиков, которым необходима высокая производительность и отзывчивость веб-приложений.
Эта книга поможет вам освоить основы проектирования и разработки компонентов Angular 2, обеспечивая полный охват синтаксиса языка TypeScript. После создания первых компонентов мы объединим их в полноценное веб-приложение. Затем перейдем к реализации маршрутов в Angular 2, узнаем, как организовать поддержку разных состояний приложения и навигацию между компонентами. После этого мы займемся веб-формами и проверкой ввода пользователя, а затем используем новые знания как фундамент для изучения основ аутентификации пользователей и различных способов защиты страниц и разделов сайта. Также в этой книге рассматривается тема анимации компонентов и элементов DOM. В заключительной части дается детальное освещение приемов модульного тестирования, таких как службы, директивы, маршруты и фильтры.