Decision Procedures: An Algorithmic Point of View, 2nd Edition By: Daniel Kroening, Ofer Strichman Read more
Art of Island Southeast Asia: The Fred and Rita Richman Collection in the Metropolitan Museum of Art By: Metropolitan Museum of Art, Florina H Capistrano Baker Read more
JupyterLab Quick Start Guide: A beginner’s guide to the next gen, web based interactive computing environment for data science By: Dan Toomey, Lindsay Richman, Melissa Ferrari, and 2 more Read more