宋雨编著2011 年出版109 页ISBN：9787302239628
本书共3章，第1章系统综述了软件工程课程的核心内容，读者通读该章可达到提纲挈领的学习目的；第2章给出了软件工程课程设计的内容及考核方式；第3章简要列出了软件工程课程设计应交付文档的格式、各文档包含的主要...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
宋雨涵著2018 年出版232 页ISBN：9787563952007
本书主要包括对外汉语教学理论基础研究、对外汉语教学课程研究、对外汉语课堂教学及评估、对外汉语教学模式研究、汉语作为第二语言的习得研究、汉语本体研究与对外汉语教学、对外汉语教学前景展望等内容。...
宋森，孙家豪，孙文英主编；宋雨萌，宋国言编著2009 年出版832 页ISBN：9787508252698
本书按照国家新的技术标准要求，根据发动机修理工、底盘修理工、电气设备修理工、空调修理工、车身钣金修理工和车身涂装修理工的实际需要，从应知应会和维修实例三个方面，分章逐节进行了详细介绍。...
