（美）王小东（Wang，X.），（美）普尔（Poor，H.V.）著2004 年出版682 页ISBN：7120000608
随着无线技术的不断发展，无线设备的性能研究也越来越具有挑战性。工程师们已经认识到先进的信号处理技术越来越重要。本书就是一本具体介绍无线通信中信号处理的书籍，重点介绍无线系统接收机设计中涉及到的信...
肖田元，范文慧编著2010 年出版464 页ISBN：9787302204459
本书共12章，第一章是概论，其余11章分为三篇，即连续系统仿真篇共5章、离散事件仿真篇共4章、现代仿真技术篇2章。
涂志标，张予园，郑宝增主编2017 年出版198 页ISBN：9787111554318
本书基于斯沃V7.0平台，系统、深入地介绍了斯沃数控仿真的操作、技术和典型实例。全书共7章，主要内容包括斯沃V7.0入门简介、基础操作、机床仿真应用平台、加工准备及加工预演、仿真加工与检测分析、数控车床...
钟章队，吴昊，李翠然等编著2012 年出版297 页ISBN：9787512108783
本书介绍铁路GSM-R无线网络规划与优化，系统深入地阐述了GSM-R的原理和方法，并给出了详细的案例分析。本书可作为从事铁路相关技术人员的培训教材或自学参考书，也可作为高等院校相关专业本科生、研究生的教材或...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
