Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Composite Mathematics For Class 6

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

25 Years of Model Checking: History, Achievements, Perspectives

Composite Mathematics For Class 7

Composite Mathematics For Class 8

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

New Mathematics Today Class 8

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Handbook of Model Checking

Problems and Solutions for Integer and Combinatorial Optimization: Building Skills in Discrete Optimization

Model Checking, second edition

Programming in Haskell: Edition 2

New Mathematics Today Class 7

NCERT Mathematics Practice Book 7

ISC Mathematics Class XII (2021 Edition)

NCERT Mathematics Practice Book 8

ISC Mathematics for Class XI (2021 Edition)