東大出版の川合さんの『コンピューティング科学』はどうですか?