陆汝钤著2017 年出版1856 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
王蒙著；陆汝浩绘画；崔建飞摘编2001 年出版207 页ISBN：7532530655
本书是图说名家格言系列中的《陆汝浩图说——王蒙格言录》分册，书中收录了王蒙大量的激人奋进，鼓舞人心，具有时代特色的格言数十篇。每篇格言均有简介，及生动的插图。本书内容丰富，图文并茂，形式新颖，通俗易懂......
陆汝钤编著1996 年出版1321 页ISBN：7030047850
本书是国家教委计算机软件专业教材编委会推荐教材之一，人工智能作为独立的学科已有近40年的历史，最近十几年已趋子成熟。本书较为全面地介绍了人工智能的各个分支，全书分上、下两册。上册集中介绍人工智能的两...
（英）PatrickD.T.OConnor等著；李莉，王胜开，陆汝玉等译2005 年出版390 页ISBN：7121008327
本书由可靠性领域的著名专家奥康纳撰写而成，是一本比较经典的专著。随着可靠性理论与技术的发展，以及作者研究工作的深入，本书的内容与时俱进，不断更新，现已至第四版。本书系统论述了可靠性工程实施过程中涉及的...
陆汝成著2012 年出版162 页ISBN：9787030332417
耕地保护事关国家粮食安全、生态安全、社会稳定和经济的可持续发展，耕地问题一直是学术界以及政府和社会所关注的焦点问题。耕地保护的主体包括中央政府、地方政府、用地单位和农户，其中地方政府是耕地保护的...
张昊，吴玉红，张林主编；杨静，闻佳，陈文，黄炎，叶增炉，翁捷副主编；丁锐，丁桂芳，叶增炉，刘东亮，吴玉红，宋明珠，张引，张林，张昊，张源，张志明，张婷婷，李娟，李元清，杨超，杨静，邹汪平，邱剑锋，陆玉立，陆汝梅，陈文，陈树德，罗海峰，姚南针等编写2014 年出版257 页ISBN：9787566407627
本书全面介绍了Flash CS5的基本操作和动画制作技巧。通过对本书的学习，读者基本可以使用Flash CS5的各项功能制作动画，同时还能够在Flash作品中加入强大的程序控制功能。全书共分为11个章节，采用案例知识点相...
