Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Introduction to Python: A Comprehensive Guide to Master Python Programming

Universal Access in Human-Computer Interaction. Applications and Services: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Algorithms: Edition 4

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

C Programming Step by Step Beginner's Reference :: The Definitive C Guide.

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Elements of Robotics

Notes on C Language 1st Edition: Theory And Programs Collection. Revisit C as on 2014

Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Elements of Programming Interviews: The Insiders' Guide

Introduction to Machine Learning with Python: A Guide for Data Scientists

Machine Learning for Hackers: Case Studies and Algorithms to Get You Started

Collection of Algorithms 1st Edition: Reference book of programming tools: Algorithm, Flowchart & C Code.

Hands On COMPUTER SCIENCE & IT 2000 MCQ TEST: Handy Book Series for All Computers Related Government Exams.

The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World

Think Like a Programmer: An Introduction to Creative Problem Solving

Automated Workflows with n8n: Definitive Reference for Developers and Engineers