• 来源：迅雷网盘
• 时间：2025-09-03
• 热度：6

• 
  编译原理技术与工具 – Compilers Principles Techniques And Tools (Chinese edition)（A.V.·阿霍 (美)， Alfred V. Aho， R.·塞西 (美)， J.D.·厄尔曼 (美)）（Addison-Wesley 2002）
• 
  数理逻辑（A.G.汉密尔顿 朱水林译）（华东师范大学出版社）
• 
  Hacking VoIP： Protocols， Attacks， and Countermeasures（Himanshu Dwivedi）（No Starch Press 2008）
• 
  Professional AngularJS（Valeri Karpov， Diego Netto）（Wrox 2015）
• 
  Practical JXTA II（Jérôme Verstrynge）（lulu.com 2010）
• 
  特警战术技巧手册（陆子峰）
• 
  Specifying Systems： The TLA+ Language and Tools for Hardware and Software Engineering（Leslie Lamport）（Addison-Wesley 2002）
• 
  VoIP： Wireless， P2P and New Enterprise Voice over IP（Samrat Ganguly， Sudeept Bhatnagar(auth.)）（Wiley 2008）
• 
  Applied differential geometry. A modern introduction（Vladimir G Ivancevic， Tijana T Ivancevic）（World Scientific Publishing Company 2007）
• 
  有逻辑地提问：知道你不知道又想知道的一切 (身边的逻辑学)（郑小兰）（北京理工大学出版社 2015）