缪淮扣编著2001 年出版176 页ISBN:7302045380
程序是计算机的灵魂。计算机之所以如此“聪明”,全是靠人用程序调教出来的。本书用通俗易懂的语言和生动活泼的插图,讲述了有关计算机程序的知识和创新故事。本书旨在帮助广大青少年和计算机爱好者建立正确的...
陆汝钤著2017 年出版1856 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
高满屯,储珺,董黎君著2009 年出版246 页ISBN:9787561226698
本书主要内容包括“流形”平面立体和“流形”曲面立体完整画隐立体线图的标记技术、补线技术;多线画隐立体线图的删线和标记技术;以及从不轴测投影和透视投影画隐线图恢复平面立体三维结构的机理和算法。...
常安定,李配成编2003 年出版190 页ISBN:7806704361
本书对工程计算中常用到的级数的截断误差在数学上进行了比较系统的研究,并对地下水渗流计算中常用到的割离井法系列计算公式中的无穷级数的截断进行了较为详细的讨论和研究。完成了割离井法系列计算机实现。...
吴平著2009 年出版213 页ISBN:9787500484547
本书是教育部人文社会科学规划项目“汉语特殊句式的事件语义分析与计算”(项目批准号:06JA740010)的结项成果。研究的对象是现代汉语特殊句式的语义特征,所使用的分析方法是形式化的事件语义学理论,所得出的分析...