Elements-of-Computing-Systems 'Element of Computing Systems' (http://www1.idc.ac.il/tecs/) book solutions