Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

Ordinary and Partial Differential Equations

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Lecture Notes for Linear Algebra

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Foundations of Information and Knowledge Systems: Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

Finite Element Simulations with ANSYS Workbench 14

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Advanced Differential Equations

Progress in Artificial Intelligence: 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings

Programming in Haskell: Edition 2

Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

CALCULUS: differential calculus and integrals calculus for jee mains and advanced

KI 2023: Advances in Artificial Intelligence: 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings

A Course in Abstract Algebra, 4th Edition

Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

Allied Mathematics Vol.II