Physically Based Rendering, Fourth Edition: From Theory to Implementation
Wenzel Jakob & Greg Humphreys & Matt Pharr
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson