Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Introduction to Python: A Comprehensive Guide to Master Python Programming

Algorithms: Edition 4

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

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

Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Elements of Robotics

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

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Elements of Programming Interviews: The Insiders' Guide

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

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

Formal Methods for Software Engineering: Languages, Methods, Application Domains

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

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

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.