Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Composite Mathematics For Class 6

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

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Composite Mathematics For Class 7

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Composite Mathematics For Class 8

New Mathematics Today Class 8

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

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

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

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)