Søkt på: Søkeresultat
totalt 14 treff
Computer Vision
Computer Vision: Algorithms and Applications explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications where …
Computational Methods for Deep Learning
The first edition of this textbook was published in 2021. Over the past two years, we have invested in enhancing all aspects of deep learning methods to ensure the book is …
Programming-Based Formal Languages and Automata Theory
This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical …
Animated Problem Solving
This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the …
Concise Guide to Software Verification
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 …
Ethical and Social Issues in the Information Age
This textbook examines the ethical, social, and policy challenges arising from our rapidly and continuously evolving computing technology—ranging from the Internet, over to the …
Essentials of Cloud Computing
Numerous advancements are being brought in and incorporated into the cloud domain with the aim of realizing a trove of deeper and decisive automations.Rather than discussing the …
Animated Program Design
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver …
Programming in Two Semesters
This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before …
Mathematical Foundations of Data Science
This textbook aims to point out the most important principles of data analysis from the mathematical point of view. Specifically, it selected these questions for exploring: Which …
Programming Language Design and Implementation
This textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions.The text aims to provide readers …
Mathematical Foundations of Software Engineering
This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting …