包健，冯建文，章复嘉编著2010 年出版157 页ISBN：9787040285017
本书是基于“Yy-z02计算机组成原理实验仪”、为配合”计算机组成原理与系统结构”课程教学、贯彻“try”的教学理念和实验方法而编写的实验指导教材，适用对象是普通高等院校计算机及相关专业的师生。全书共...
包世华，张铜生编著2013 年出版520 页ISBN：9787302300380
本书为基础内容部分，包括高层建筑结构体系与布置；荷载作用和结构设计要求；框架结构的内力和位移计算；剪力墙结构的内力和位移计算；框架-剪力墙结构的内力和位移计算；框架设计和构造；剪力墙设计和构造；筒体结......
朱传乃等编著1992 年出版363 页ISBN：7030029445
本套书分上中下3册。上册在详细介绍80286CPU及其外围芯片的基础上
陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
