Litgu.ru - Литературный Гуру

Название: 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 Мб
Язык: русский

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

Название: Kubernetes for Python Developers
Автор: Oz Tiram
Издательство: Independently published
Год: 2023
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Python is awesome, Kubernetes is awesome too. Use the combined power of both to create highly available Python application, declarative data processing task, and all sort of automation tasks. This book will teach you not only how to use Kubernetes for your Python applications, but also how you can extend Kubernetes using Python. There are three ways in which we can extend Kubernetes using Python. The first one is adding functionallity to kubectl via plugins. The second one modifies the behaviour of the API server by adding webhooks. The third one allows us to store objects in the Kubernetes database using CustomResourceDefinition.

Название: Key Principles in Computation
Автор: S.P. Upadhyay
Издательство: Arcler Press
Год: 2023
Страниц: 266
Язык: английский
Формат: pdf (true)
Размер: 25.4 MB

A new framework for computing understanding: a consistent set of principles that spans technologies, domains, algorithms, architectures, and designs. This novel textbook introduces the fundamental principles necessary for a one-semester undergraduate course in computing theory. It provides the most accessible and motivating course material for undergraduate computer theory classes available. Aimed at students who may struggle to grasp the course's relevance to their future jobs, the text assists them in becoming more acquainted with the procedures necessary for advanced study of Computer Science. Students will be motivated by the book's numerous examples, exercises, and comprehensive proofs that simplify complicated theory.

Название: Pro Power BI Architecture: Sharing, Security, and Deployment Options for Microsoft Power BI Solutions, 2nd Edition
Автор: Reza Rad
Издательство: Apress
Год: 2023
Страниц: 760
Язык: английский
Формат: pdf
Размер: 48.7 MB

This book provides detailed guidance around architecting and deploying Power BI reporting solutions, including help and best practices for sharing and security. You’ll find chapters on dataflows, shared datasets, composite model and DirectQuery connections to Power BI datasets, deployment pipelines, XMLA endpoints, and many other important features related to the overall Power BI architecture that are new since the first edition. You will gain an understanding of what functionality each of the Power BI components provide (such as Dataflow, Shared Dataset, Datamart, thin reports, and paginated reports), so that you can make an informed decision about what components to use in your solution. You will get to know the pros and cons of each component, and how they all work together within the larger Power BI architecture. You can interact with Power BI objects in the Power BI Service through a set of APIs called the Power BI REST API. The Power BI REST API can help automate tasks, build tools that work with Power BI, configure Power BI outside of the platform, and embed Power BI into third-party applications.

Название: Компонентный подход в программировании
Автор: Кулямин В.В.
Издательство: М.: НОУ "Интуит"
Год: 2016
Страниц: 590
ISBN: 5-9556-0067-1
Формат: PDF
Размер: 53 Мб
Язык: русский


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