陆汝钤著2017 年出版926 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
华中一著2004 年出版160 页ISBN:7543923009
本书是纳米电子学的科普书,主要内容包括小尺寸的世界;电子器件的历程;扫描隧道显微镜;基于原子操纵的电子器件;量子器件;有机纳米电子器件;超高密度超大容量的存贮器;分子尺寸器件等。...
远望图书编2009 年出版310 页ISBN:9787562447436
合订本主要收录《计算机应用文摘》杂志2008年13~24期杂志精华文章,在附录中将根据杂志下半年的内容特点并结合业界的相关热点补充几个额外热门专题,并在使用双索引的形式,方便读者检索文章。...
徐光宪,黎乐民著1980 年出版503 页ISBN:7030074726
高等院校选用教材系列:本册介绍了量子力学的基本原理,必要的数学工具——矩阵与群论,以及自由粒子、势阱中的粒子、谐振子和氢原子等简单体系的Schrodinger方程的精确解,为阐述量子化学的从头计算法准备了必要...