XII Tamil Nadu State Board Computer Notes - Vol II
GPU Programming on CPU - Using C++AMP
Bit Vector Decision Procedures A Basis for Reasoning about Hardware & Software bryant Randal E. Bryant Carnegie Mellon University.