Book titles in this series
-
-
Understanding Computation
Pillars, Paradigms, Principles
- Authors:
-
- Arnold L. Rosenberg
- Lenwood S. Heath
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Concise Guide to Software Verification
From Model Checking to Annotation Checking
- Authors:
-
- Marieke Huisman
- Anton Wijs
- Copyright: 2023
Available Renditions
- Hard cover
- eBook
-
Essentials of Cloud Computing
A Holistic, Cloud-Native Perspective
- Authors:
-
- Chellammal Surianarayanan
- Pethuru Raj Chelliah
- Copyright: 2023
Available Renditions
- Hard cover
- eBook
-
Computational Intelligence
A Methodological Introduction
- Authors:
-
- Rudolf Kruse
- Sanaz Mostaghim
- Christian Borgelt
- Christian Braune
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Animated Problem Solving
An Introduction to Program Design Using Video Game Development
- Authors:
-
- Marco T. Morazán
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Computer Vision
Algorithms and Applications
- Authors:
-
- Richard Szeliski
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
- Authors:
-
- Zhe Hou
- Copyright: 2021
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Guide to Discrete Mathematics
An Accessible Introduction to the History, Theory, Logic and Applications
- Authors:
-
- Gerard O'Regan
- Copyright: 2021
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Algorithms on Trees and Graphs
With Python Code
- Authors:
-
- Gabriel Valiente
- Copyright: 2021
Available Renditions
- Hard cover
- Soft cover
- eBook