Technical Reports and Books in CCS Library