This clearly written book offers readers a succinct foundation to the most important topics in the field of data compression. Part I presents the basic approaches to data compression and describes a few popular techniques and methods that are commonly used to compress data. The reader will discover essential concepts. Part II concentrates on advanced techniques, such as arithmetic coding, orthogonal transforms, subband transforms and Burrows-Wheeler transform. This book is the perfect reference for advanced undergraduates in computer science and requires a minimum of mathematics. An...
This clearly written book offers readers a succinct foundation to the most important topics in the field of data compression. Part I presents the b...
This book provides a modern, algorithmic introduction to digital image p- cessing, designed to be used both by learners desiring a ?rm foundation on which to build and practitioners in search of critical analysis and modern - plementations of the most important techniques. This updated and enhanced paperbackedition ofourcomprehensivetextbookDigital Image Processing: An Algorithmic Approach Using Java packages the original material into a series of compactvolumes, therebysupporting a ?exiblesequenceofcoursesindigital image processing. Tailoring the contents to the scope of individual semester...
This book provides a modern, algorithmic introduction to digital image p- cessing, designed to be used both by learners desiring a ?rm foundation on w...
This is the second volume of a book series that provides a modern, algori- mic introduction to digital image processing. It is designed to be used both by learners desiring a ?rm foundation on which to build and practitioners in search of critical analysis and modern implementations of the most important techniques. This updated and enhanced paperback edition of our compreh- sive textbook Digital Image Processing: An Algorithmic Approach Using Java packages the original material into a series of compact volumes, thereby s- porting a ?exible sequence of courses in digital image processing....
This is the second volume of a book series that provides a modern, algori- mic introduction to digital image processing. It is designed to be used bot...
This engaging and accessible text addresses the fundamental question: What Is Computer Science? The book showcases a set of representative concepts broadly connected by the theme of information security, for which the presentation of each topic can be treated as a "mini" lecture course, demonstrating how it allows us to solve real problems, as well as how it relates to other subjects. The discussions are further supported by numerous examples and practical hands-on exercises. Features: presents a concise introduction to the study of algorithms and describes how computers work;...
This engaging and accessible text addresses the fundamental question: What Is Computer Science? The book showcases a set of representative conc...
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative...
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process im-provement are discussed in detail, with a particular focus on the CMMI framework. Features: includes review questions at the end of each chapter; covers both theory and practice, and provides guidance on applying the theory in an industrial environment; examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing,...
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality...
This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathematical notions necessary to understand these concepts. Features: includes numerous fully-worked examples and step-by-step proofs, assuming no strong mathematical background; describes the foundation of the analysis of algorithms theory in terms of the big-Oh, Omega, and Theta notations; examines recurrence relations; discusses the concepts of basic operation, traditional loop counting, and best case...
This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to...
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience - thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object...
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little ...
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers...
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The b...
This gentle introduction to High Performance Computing (HPC) for Data Science using the Message Passing Interface (MPI) standard has been designed as a first course for undergraduates on parallel programming on distributed memory models, and requires only basic programming notions.
Divided into two parts the first part covers high performance computing using C++ with the Message Passing Interface (MPI) standard followed by a second part providing high-performance data analytics on computer clusters.
In the first part, the fundamental notions of blocking versus non-blocking...
This gentle introduction to High Performance Computing (HPC) for Data Science using the Message Passing Interface (MPI) standard has been designed ...
