Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Composite Mathematics For Class 6

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Composite Mathematics For Class 7

Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Composite Mathematics For Class 8

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

New Mathematics Today Class 8

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

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

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

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)

New Learning Composite Mathematics 5