Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Composite Mathematics For Class 6

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Composite Mathematics For Class 7

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Composite Mathematics For Class 8

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

New Mathematics Today Class 8

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

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Programming Logics: Essays in Memory of Harald Ganzinger

Programming in Haskell: Edition 2

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

New Mathematics Today Class 7

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings

NCERT Mathematics Practice Book 7

ISC Mathematics Class XII (2021 Edition)