Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

Algorithms: Edition 4

Qualitative Reasoning: Modeling and the Generation of Behavior

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Introduction to Python: A Comprehensive Guide to Master Python Programming

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

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

Elements of Robotics

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

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

Zig Programming Essentials: Definitive Reference for Developers and Engineers

Efficient Development with Neovim: Definitive Reference for Developers and Engineers