Decision Procedures: An Algorithmic Point of View, 2nd Edition By: Daniel Kroening, Ofer Strichman Read more
Guide to Graph Algorithms: Sequential, Parallel and Distributed, Second Edition By: K Erciyes Read more
Linear Algebra for Localization: Algorithms, Use Cases, and C++ Implementations By: Ahmed Al-Muraeb Read more