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

Composite Mathematics For Class 6

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

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

Composite Mathematics For Class 7

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

Composite Mathematics For Class 8

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

New Mathematics Today Class 8

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

Calendrical Calculations: Edition 3

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

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

Programming in Haskell: Edition 2

Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

New Mathematics Today Class 7

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II

NCERT Mathematics Practice Book 7

Programming Logics: Essays in Memory of Harald Ganzinger