This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available i
This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and
This book presents a systematic model-based approach for software architecture description according to three complementary viewpoints: structure, behavior, and execution. It covers a unified modeling
As our society grows ever more reliant on computers, so it also becomes more vulnerable to computer crime. Cyber attacks have been plaguing computer users since the 1980s, and computer security expert
This book explores concepts of games and strategies to provide a paradigm for understanding the nature of computation and provides an elementary introduction to the mathematics and modelling of compu
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turin
This undergraduate textbook provides an introduction to High Performance Computing (HPC) for Data Science and is divided into two parts. The first covers the fundamentals of HPC and the second part de
This textbook raises thought-provoking questions regarding our rapidly-evolving computing technologies, highlighting the need for a strong ethical framework in our computer science education.Ethics in
This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in
Tracing the story of computing from Babyloniancounting boards to smartphones, this inspiring textbook provides a conciseoverview of the key events in the history of computing, together withdiscussion
This book provides insights drawn from the authors’ extensive experience in teaching Puzzle-based Learning. Practical advice is provided for teachers and lecturers evaluating a range of different form
This book offers readers a succinct and reader-friendly foundation to the most important topics in the field of data compression. Complete and clear, it is the perfect reference for advanced undergrad
The second edition of this textbook has been fully revised and adds material about loop optimisation, function call optimisation and dataflow analysis. It presents techniques for making realistic comp
This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field
This invaluable textbook presents a comprehensive introduction to modern competitive programming. The text highlights how competitive programming has proven to be an excellent way to learn algorithms,
This concise introduction to the essential concepts in contemporary programming languages features a host of illustrative examples. It explains modern imperative, functional, and logic-based languages
This engaging and accessible book presents a set of representative concepts connected by the theme of information security, demonstrating how each allows us to solve real problems. The discussions are
