陆汝钤著2017 年出版1856 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
杨玉芳主编2016 年出版682 页ISBN：7557801571
全书共分15章，介绍了神经系统疾病病史采集及检查、神经系统疾病常见症状和诊断技术，其次按照各种神经疾病的性质，分别介绍了病因、发病机制、临床表现、诊断、鉴别诊断、预防治疗措施，以及神经系统疾病的发展现...
王继业主编2009 年出版264 页ISBN：9787811087024
本书介绍了新兴操作系统Linux环境下的操作方法和程序设计，包括文件、进程管理、信号、进程通信、网络和图形界面设计等。
《中国石油审计管理系统操作手册》编委会编2012 年出版174 页ISBN：9787502192808
本书为中国石油审计管理系统的操作手册，分上下两册。上册阐述了该系统的功能介绍、基本操作、审计计划流程、审计项目流程、系统运行维护等内容，共计十二章，通过上册学习及配合上机联系，能够基本了解系统中实现...
UNIX系统V第4版-OPEN LOOK图形用户界面程序员参考手册
（美）PATRICK H.WOOD，STEPHEN G.KOCHAN著1992 年出版521 页ISBN：
江晓肖等主编2016 年出版542 页ISBN：9787557807498
本书分别介绍消化系疾病常见症状，食管、胃、肠道、肝脏、胆系、胰腺、腹膜及肠系膜等消化系疾病，消化系统诊断和治疗技术，消化系疾病常用药物。并包括了病因和发病机制、病理、诊断、治疗、预后等内容，以反映出...
刘超著2009 年出版219 页ISBN：9787561830512
本书采用系统动力学金融理论的有限理性人、非线性、混沌、分形、伪随机的分析方法研究中国证券投资基金系统的制度与发展问题。
（美）比特（Beaty，H.W.）著；《电力系统计算手册：第3版》翻译组译2007 年出版462 页ISBN：7508343980
本手册是McGRAW-HILL公司的Handbook of Electric Power Calculations（第三版）的中译本。 本书风格以实用为主，包含了大量的算例和详尽的解算过程。全书共20章，分别为：网络基础分析、测量仪表、直流电动机和发电...
