Added More CS Theory, updated ToC

Updated ToC, added more TCS.