Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Composite Mathematics For Class 6

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Composite Mathematics For Class 7

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Composite Mathematics For Class 8

Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings

New Mathematics Today Class 8

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

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

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

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)

Learning Composite Mathematics -5

New Learning Composite Mathematics 5