Model Checking. Верификация параллельных и распределенных программных систем

Автор: umkaS от 29-04-2023, 09:43, Коментариев: 0

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

Название: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Карпов Ю.Г.
Издательство: СПб.: БХВ-Петербург
Год: 2010
Cтраниц: 560
Формат: pdf
Размер: 15 мб
Язык: русский

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

Python QuickStart Guide: The Simplified Beginner's Guide to Python Programming Using Hands-On Projects

Автор: literator от 29-04-2023, 08:54, Коментариев: 0

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

Python QuickStart Guide: The Simplified Beginner's Guide to Python Programming Using Hands-On ProjectsНазвание: Python QuickStart Guide: The Simplified Beginner's Guide to Python Programming Using Hands-On Projects
Автор: Robert Oliver
Издательство: ClydeBank Media
Год: 2023
Страниц: 396
Язык: английский
Формат: epub (true)
Размер: 46.2 MB

Learn Python fundamentals that can be used in any programming setting – use the guidance in this book to program your own game in a unique and practical Python learning experience. Learning Python opens the door to a world of programming possibilities. From AI and machine learning to video game, app, and web development, Python is a critical behind-the-scenes component of everyday technology. Python powers the services of household names like Google, Netflix, and Spotify along with tech pioneers like NASA, IBM, and Intel. Put simply, Python is the in-demand and easy-to-learn programming language that gets stuff done. In Python QuickStart Guide, senior developer and programmer Robert Oliver lays out the quickest and most accessible path yet to the mastery of Python fundamentals. Distilling his experience drawn from over two decades of working with Python and other programming languages, Robert’s clear voice and writing present a practical, hands-on approach that anyone, at any experience level, can use to become a Python programmer.

 

No-Code Artificial Intelligence: The new way to build AI powered applications

Автор: literator от 29-04-2023, 08:39, Коментариев: 0

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

No-Code Artificial Intelligence: The new way to build AI powered applicationsНазвание: No-Code Artificial Intelligence: The new way to build AI powered applications
Автор: Ambuj Agrawal
Издательство: BPB Publications
Год: 2023
Страниц: 232
Язык: английский
Формат: pdf (true), epub
Размер: 57.6 MB

A practical guide that will help you build AI and ML solutions faster with fewer efforts and no programming knowledge. “No-Code Artificial Intelligence” is a book that enables you to develop AI applications without any programming knowledge. Authored by the founder of AICromo (https://aicromo.com/), this book takes you through an array of examples that shows how to build AI solutions using No-code AI tools. The book starts by sharing insights on the evolution of No-code AI and the different types of No-code AI tools and platforms available in the market. The book then helps you start building applications of Machine Learning in Finance, Healthcare, Sales, and Cybersecurity. It will also teach you to create AI applications to perform sales forecasting, find fraudulent claims, and detect diseases in plants. Furthermore, the book will show how to build Machine Learning models for a variety of use cases in image recognition, video object recognition, and data prediction.

 

Applications of Mathematical Modeling, Machine Learning, and Intelligent Computing for Industrial Development

Автор: literator от 29-04-2023, 08:23, Коментариев: 0

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

Applications of Mathematical Modeling, Machine Learning, and Intelligent Computing for Industrial DevelopmentНазвание: Applications of Mathematical Modeling, Machine Learning, and Intelligent Computing for Industrial Development
Автор: Madhu Jain, Dinesh K. Sharma, Rakhee Kulshrestha
Издательство: CRC Press
Год: 2023
Страниц: 425
Язык: английский
Формат: pdf (true)
Размер: 53.4 MB

The text focuses on mathematical modeling and applications of advanced techniques of Machine Learning, and Artificial Intelligence, including artificial neural networks, evolutionary computing, data mining, and fuzzy systems to solve performance and design issues more precisely. Intelligent computing encompasses technologies, algorithms, and models in providing effective and efficient solutions to a wide range of problems, including the airport’s intelligent safety system. It will serve as an ideal reference text for senior undergraduate, graduate students, and academic researchers in fields that include industrial engineering, manufacturing engineering, computer engineering, and mathematics. The book is divided into three conceptual sections: Mathematical Modeling (MM), Machine Learning (ML), and Intelligent Computing (IC), with a total of 20 chapters.

 

Developing Information Systems Accurately

Автор: literator от 29-04-2023, 05:11, Коментариев: 0

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

Developing Information Systems AccuratelyНазвание: Developing Information Systems Accurately: A Wholistic Approach
Автор: Bert de Brock
Издательство: Springer
Год: 2023
Страниц: 265
Язык: английский
Формат: pdf (true)
Размер: 17.3 MB

This textbook shows how to develop the functional requirements of information systems. It emphasizes the importance to consider the complete development path of a functional requirement, i.e. not only the individual development steps but also their proper combination and their alignment. Even after decades of numerous bad experiences, many software development projects are still failing on at least one or even all three basic requirements for a project: - Too little (The project delivers inadequate functionality); - Too late (The project is not within time); - Too costly (The project is not within budget). Or, even worse, the project has been ended prematurely, usually after a lot of time and money have been spent, and without delivering any working functionality... The reasons for those failures usually lie at the very beginning: There is no clarity in what the customer really wants and needs, leading to incomplete and even wrong specifications, and subsequently programmers who fill in the functional gaps to the best of their own understanding. So, it is very important to get really clear what the customer wants and exactly needs and to make unambiguous, correct, and complete functional specifications. This book is written for (under)graduate students in software engineering or information systems who want to learn how to carry out adequate problem analysis, to make good system specifications, and/or to understand how to organize and manage an IS-development process.

 

Software Engineering: Basic Principles and Best Practices

Автор: literator от 29-04-2023, 04:40, Коментариев: 0

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

Software Engineering: Basic Principles and Best PracticesНазвание: Software Engineering: Basic Principles and Best Practices
Автор: Sethi Ravi
Издательство: Cambridge University Press
Год: 2023
Страниц: 807
Язык: английский
Формат: pdf
Размер: 10.2 MB

Software engineering is as much about teamwork as it is about technology. This introductory textbook covers both. For courses featuring a team project, it offers tips and templates for aligning classroom concepts with the needs of the students' projects. Students will learn how software is developed in industry by adopting agile methods, discovering requirements, designing modular systems, selecting effective tests, and using metrics to track progress. The book also covers the 'why' behind the 'how-to', to prepare students for advances in industry practices. The chapters explore ways of eliciting what users really want, how clean architecture divides and conquers the inherent complexity of software systems, how test coverage is essential for detecting the inevitable defects in code, and much more. Ravi Sethi provides real-life case studies and examples to demonstrate practical applications of the concepts. Online resources include sample project materials for students, and lecture slides for instructors. This book is intended for a junior - or senior-level introductory course in software engineering. Students are expected to have enough programming maturity to engage in a team project.

 

Mathematics of Deep Learning: An Introduction

Автор: literator от 28-04-2023, 20:41, Коментариев: 0

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

Mathematics of Deep Learning: An IntroductionНазвание: Mathematics of Deep Learning: An Introduction
Автор: Leonid Berlyand, Pierre-Emmanuel Jabin
Издательство: De Gruyter
Год: 2023
Страниц: 134
Язык: английский
Формат: pdf (true)
Размер: 10.8 MB

The goal of this book is to provide a mathematical perspective on some key elements of the so-called Deep Neural Networks (DNNs). Much of the interest in Deep Learning has focused on the implementation of DNN-based algorithms. Our hope is that this compact textbook will offer a complementary point of view that emphasizes the underlying mathematical ideas. We believe that a more foundational perspective will help to answer important questions that have only received empirical answers so far. Our goal is to introduce basic concepts from Deep Learning, e. g., mathematical definitions of DNNs, loss functions, the backpropagation algorithm, etc., in a rigorous mathematical fashion. We attempt to identify for each concept the simplest setting that minimizes technicalities but still contains the key mathematics.

 

Machine Learning for Managers

Автор: literator от 28-04-2023, 19:37, Коментариев: 0

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

Machine Learning for ManagersНазвание: Machine Learning for Managers
Автор: Paul Geertsema
Издательство: Routledge
Год: 2023
Страниц: 181
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Machine Learning can help managers make better predictions, automate complex tasks and improve business operations. Managers who are familiar with Machine Learning (ML) are better placed to navigate the increasingly digital world we live in. There is a view that Machine Learning is a highly technical subject that can only be understood by specialists. However, many of the ideas that underpin Machine Learning are straightforward and accessible to anyone with a bit of curiosity. This book is for managers who want to understand what Machine Learning is about, but who lack a technical background in Computer Science, statistics or math. The book describes in plain language what Machine Learning is and how it works. In addition, it explains how to manage Machine Learning projects within an organization.

 

Инженерия требований

Автор: SCART56 от 28-04-2023, 13:37, Коментариев: 0

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


Название: Инженерия требований
Автор(ы): Халл Э., Джексон К., Дик Дж.
Издательство: ДМК
Год: 2017
Страниц: 218
Формат: PDF
Размер: 45 Мб
Язык: русский

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

AI-Based Metaheuristics for Information Security and Digital Media

Автор: literator от 28-04-2023, 02:17, Коментариев: 0

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

AI-Based Metaheuristics for Information Security and Digital MediaНазвание: AI-Based Metaheuristics for Information Security and Digital Media
Автор: Apoorva S. Shastri, Mangal Singh, Anand J. Kulkarni
Издательство: CRC Press
Серия: Advances in Metaheuristics
Год: 2024
Страниц: 151
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

This book examines the latest developments in Artificial Intelligence (AI)-based metaheuristics algorithms with applications in information security for digital media. It highlights the importance of several security parameters, their analysis, and validations for different practical applications. Drawing on multidisciplinary research including Computer Vision, Machine Learning, Artificial Intelligence, and modified/newly developed metaheuristics algorithms, it will enhance information security for society. It includes state-of-the-art research with illustrations and exercises throughout.