陆汝钤等著相关电子书下载

陆汝钤等著1994 年出版501 页ISBN：7030036360

中国科学院科学出版基金资助出版:本书全面介绍了知识工程的各个环节

陆汝钤编著1989 年出版417 页ISBN：7030010590

陆汝钤主编2003 年出版314 页ISBN：7302058180

陆汝钤著1993 年出版135 页ISBN：7535515800

A.V.维恩加登主编；陆汝钤译1977 年出版245 页ISBN：

范维恩加登（VanWijngaardn，A.）编；陆汝钤译1982 年出版366 页ISBN：15031·434

罗沛霖主编；陈太一执行副主编；杨嘉墀，王越，陆汝钤副主编2006 年出版326 页ISBN：7564006412

陆汝钤编著1992 年出版886 页ISBN：7030030222

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

陆汝钤著2017 年出版1856 页ISBN：9787302414940

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

陆汝钤著2017 年出版926 页ISBN：9787302414940