Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Mathematician's Delight

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Calculus: A Complete Introduction: The Easy Way to Learn Calculus

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers

103 Trigonometry Problems: From the Training of the USA IMO Team

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Basic Math & Pre-Algebra For Dummies: Edition 2

Ramanujan's Lost Notebook: Part I, Part 1

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

MathsWiz Book 5

Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Rings and Homology

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Notebooks of Srinivasa Ramanujan: Volume II, Volume 2

Adapting Proofs-as-Programs: The Curry--Howard Protocol

A First Course in Linear Algebra: Study Guide for the Undergraduate Linear Algebra Course

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings