Robert Nieuwenhuis 
Automated Deduction – CADE-20 [PDF ebook] 
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

This book approaches data science solution building using a principled framework and case studies with extensive hands-on guidance. It will teach the readers optimization at each step, whether it is …

Learn Data Science from Scratch equips you with the essential tools and techniques, from Python libraries to machine learning algorithms, to tackle real-world problems and make informed decisions.Thi …

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

BTEC National for IT Practitioners has been written specifically to cover the compulsory core units and selected specialist units of the BTEC National specifications. This book provides core unit cov …