Название: Практическая программная инженерия на основе учебного примера
Автор: Мацяшек Л.А., Лионг Б.Л.
Издательство: М.: Бином. ЛЗ
Год: 2015
Страниц: 957
ISBN: 978-5-9963-2499-6
Формат: PDF
Размер: 20.2 Мб
Язык: русский
Серия: Программисту

Рассмотрены вопросы современных методов создания сложного программного обеспечения, использующего информацию, хранимую в базе данных. Подчеркнуты особенности создания такого программного обеспечения коллективом разработчиков: итеративный характер разработки, использование стандартных средств создания программ (стандартные компоненты, паттерны, Bean-компоненты и т. д.).

Название: Machine Learning: Concepts, Tools And Data Visualization
Автор: Minsoo Kang, Eunsoo Choi
Издательство: World Scientific Publishing
Год: 2021
Страниц: 296
Язык: английский
Формат: pdf (true)
Размер: 118.4 MB

This set of lecture notes, written for those who are unfamiliar with mathematics and programming, introduces the reader to important concepts in the field of Machine Learning. It consists of three parts. The first is an overview of the history of Artificial Intelligence (AI), Machine Learning (ML), and Data Science (DS), and also includes case studies of well-known AI systems. The second is a step-by-step introduction to Azure Machine Learning, with examples provided. The third is an explanation of the techniques and methods used in data visualization with R, which can be used to communicate the results collected by the AI systems when they are analyzed statistically. Practice questions are provided throughout the book. This book, firstly, was written for those who do not know mathematics and the theory of control, secondly, for those who tried the open-source approach but had difficulties. This book consists of three parts. Part 1 briefly introduces the history of Artificial Intelligence, Machine Learning, and Deep Learning, as well as algorithms. Part 2 introduces Azure Machine Learning, how to use it, and some examples as needed. Part 3 introduced visualization and Power BI, which is a visualization tool

Название: Practical Rust Projects: Build Serverless, AI, Machine Learning, Embedded, Game, and Web Applications, 2nd Edition
Автор: Shing Lyu, Andrew Rzeznik
Издательство: Apress
Год: 2023
Страниц: 397
Язык: английский
Формат: pdf
Размер: 10.2 MB

Go beyond the basics and build complete applications using the Rust programming language, updated for Rust 2021 edition. The applications you'll build over the course of this book include a high-performance web client, an embedded computer (for a robot, for example), a game, a serverless web app, and an application that incorporates AI and machine learning. Each chapter is organized in the following format: what the kind of should application look like; requirements and user stories of our example program; an introduction to the Rust libraries used; the actual implementation of the example program, including common pitfalls and their solutions; and a brief comparison of libraries for building each application, if there is no clear preference. Practical Rust Projects, Second Edition will open your eyes to how Rust can be put to practical, real-world use. After reading this book, you will be able to use Rust to build a variety of your own projects.

Название: Zefs Guide to Deep Learning (2023-05-31 Update)
Автор: Roy Keyes
Издательство: Leanpub
Год: 2023-05-31
Страниц: 163
Язык: английский
Формат: pdf (true), epub
Размер: 25.0 MB

Zefs Guide to Deep Learning is a short guide to the most important concepts in Deep Learning, the technique at the center of the current Artificial Intelligence (AI) revolution. It will give you a strong understanding of the core ideas and most important methods and applications. All in around only 150 pages! This book presents the foundational concepts behind Machine Learning, neural networks, and the recent major advancements in architectures and training techniques in an easy to understand way. It also covers the most important applications of deep neural networks, including Computer Vision, natural language processing (NLP}, and beyond. Your time is valuable, Zefs Guide to Deep Learning will get you up to speed in around only 163 pages! This book is about Deep Learning, a set of Machine Learning methods that have sparked a huge amount of interest in applying computational and predictive models to everything from whimsical face filters to medical imaging to generating computer code itself. Deep learning is at the core of the current “AI revolution”.

Название: Introduction to Biostatistics using R
Автор: Mohsen Nady
Издательство: Arcler Press
Год: 2022
Страниц: 521
Язык: английский
Формат: pdf (true)
Размер: 73.8 MB

This book covers some introductory steps in biostatistics using R programming language. Biostatistics is the branch of statistics that applies statistical methods to medical and biological problems. Biostatistics has become more important recently for studying the great amount of data that is produced from census data, genome sequencing, gene expression data, medical bioinformatics, and medical imaging data. With the help of R programming, statistical analysis, data cleaning, data visualization, and machine learning has become a relatively easy tasks for these huge datasets. R is now considered the centerpiece language for doing all these data science skills because it has many useful packages that not only can perform all these tasks, but also, has additional packages that were specifically designed for several statistical tasks related to biology and medical data. In addition, many scientific journals require the data analysis R scripts to ensure reproducibility of the submitted results.

Название: Concise Guide to Software Verification: From Model Checking to Annotation Checking
Автор: Marieke Huisman, Anton Wijs
Издательство: Springer
Год: 2023
Страниц: 251
Язык: английский
Формат: pdf (true), epub
Размер: 46.1 MB

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. This book gives an overview of a range of techniques, captured by this term formal methods, that are aimed at the analysis of software, and it describes how these techniques can be used to improve the reliability and robustness of software. Formal methods for the analysis of hardware are not in the scope of this book. When we refer to formal methods in this book, we implicitly rule out techniques aimed specifically at hardware analysis.

Название: Технология разработки программных продуктов. Практикум
Автор: Рудаков А.В., Федорова Г.Н.
Издательство: Академия
Год: 2014
Страниц: 192
ISBN: 978-5-4468-0465-8
Формат: PDF
Размер: 12.7 Мб
Язык: русский

В учебном пособии в систематизированном виде приведены необходимые теоретические сведения, практические задания и примеры их выполнения; представлены задания на построение моделей программных продуктов с использованием как структурного, так и объектно-ориентированного подхода (с применением стандартного языка моделирования UML и современных CASE-средств), задания на разработку тестов, справочной системы, а также на создание инсталляционных пакетов программных продуктов.

Название: Kafka Streams в действии. Приложения и микросервисы для работы в реальном времени
Автор(ы): Беджек Билл
Издательство: Питер
Год: 2020
Страниц: 304
Формат: PDF
Размер: 18 Мб
Язык: русский

Узнайте как реализовать потоковую обработку на платформе Kafka! В этой книге рассмотрены реальные примеры сбора, преобразования и агрегации данных. Показана работа со множественными процессорами, обработка событий в режиме реального времени. Вы узнаете даже о потоковом SQL с KSQL! Эксплуатация и тестирование, мониторинг и отладка современных распределенных систем - вы получите всю необходимую информацию о самых сложных аспектах потоковой обработки. Kafka Streams API - ключ к эффективному применению Kafka на практике.

Название: Основы разработки программного обеспечения на примере языка С
Автор: Синицын С.В., Хлытчиев О.И.
Издательство: М.: НОУ «ИНТУИТ»
Год: 2016
Страниц: 212
Формат: PDF
Размер: 17 Мб
Язык: русский

В курсе отражены базовые принципы построения программных комплексов встроенных систем. Значительное место уделено технологии проектирования и методам верификации (тестирования) разработанных программ. Рассматриваются вопросы истории развития вычислительной техники и ее программного обеспечения (ПО) с позиций алгоритмизации, технологии и языка кодирования.

Название: Технология разработки программного обеспечения
Автор: Орлов С.А., Цилькер Б.Я.
Издательство: Питер
Год: 2012
Страниц: 608, ил.
ISBN: 978-5-459-01101-2
Формат: DJVU
Размер: 28 Мб
Язык: русский

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