（台湾）温瑞安著1996 年出版627 页ISBN：7536023154
《惊艳一枪·伤心小箭（套装1-3册）》讲述蔡京令王小石刺杀诸葛先生，却设局让王小石刺杀假诸葛一龙人，以试探王小石的忠心，王小石一一应付，终取得信任。后蔡京又不甘失败，设局鼓动“元十三限”与诸葛先生对战。而......
（台湾）温瑞安著1996 年出版310 页ISBN：7536023154
《惊艳一枪·伤心小箭（套装1-3册）》讲述蔡京令王小石刺杀诸葛先生，却设局让王小石刺杀假诸葛一龙人，以试探王小石的忠心，王小石一一应付，终取得信任。后蔡京又不甘失败，设局鼓动“元十三限”与诸葛先生对战。而......
台湾史料集成 明清台湾档案汇编 第4辑 第61册 清道光二十九年五月至清咸丰二年三月
台湾史料集成编辑委员会编2008 年出版518 页ISBN：9860152272
（台湾）温瑞安著1996 年出版495 页ISBN：7536023154
《惊艳一枪·伤心小箭（套装1-3册）》讲述蔡京令王小石刺杀诸葛先生，却设局让王小石刺杀假诸葛一龙人，以试探王小石的忠心，王小石一一应付，终取得信任。后蔡京又不甘失败，设局鼓动“元十三限”与诸葛先生对战。而......
（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著2009 年出版609 页ISBN：9787115196576
本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...
