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