Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Paperback, First Edition)

Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry (Hardcover)

Linear Algebra and Optimization with Applications to Machine Learning - Volume II: Fundamentals of Optimization Theory with Applications to Machine Le (Hardcover)

Linear Algebra and Optimization with Applications to Machine Learning - Volume I: Linear Algebra for Computer Vision, Robotics, and Machine Learning (Paperback)

Geometric Methods and Applications (Hardcover)

Curves and Surfaces in Geometric Design (Hardcover)