Title: Hardware Verification with C++: A Practitioner's Handbook / Edition 1, Author: Mike Mintz
Title: MacMath 9.2: A Dynamical Systems Software Package for the MacintoshT / Edition 2, Author: John H. Hubbard
Title: Programming in SCHEME: Learn SHEME Through Artificial Intelligence Programs / Edition 1, Author: Mark Watson