陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
（澳）保罗·阿里，（美）格雷格·格雷戈里乌编著；王燕祥，陈铃译2010 年出版440 页ISBN：9787802214743
本书是一组研究萨班斯法案效应的极具价值的文章，对于在美国或其他地方进行公司治理活动同样具有极大的价值.
王蒙著；陆汝浩绘画；崔建飞摘编2001 年出版207 页ISBN：7532530655
本书是图说名家格言系列中的《陆汝浩图说——王蒙格言录》分册，书中收录了王蒙大量的激人奋进，鼓舞人心，具有时代特色的格言数十篇。每篇格言均有简介，及生动的插图。本书内容丰富，图文并茂，形式新颖，通俗易懂......
（英）大卫·阿尔蒙德著；和铃译2017 年出版208 页ISBN：9787020119707
本书为儿童中篇小说。乔伊·马龙尼内向、孤独，而且口吃。老师、同学、陌生人让他感到害怕。于是他选择逃学。可是乔伊却有一颗神秘的心，这能让他能感受到别人无法触及的东西。在他幻觉的世界里有各种生物向他...
（美）艾伦·艾伯斯坦（Alan Epstein）著；郑淑芬，邱淑铃译2003 年出版344 页ISBN：7806398570
这是一本关于人生生存智慧的书，本书以日历的形式通过十二个月里的每一天，讲述青年应该如何去做，让自己更快乐，享受生活。
（日）中村清吾著；李铃译2009 年出版184 页ISBN：9787544245289
本书详细介绍了乳房疾病的自查方法，医院的检查流程、检查项目、各项检查的生理意义，诊断指标；以及常见的治疗手段，各种治疗方法的利弊，治疗后的检查和生活中可能碰到的困难及解决方法等。此外，还插入了大量的相.....
（荷）迈克尔·杜多克·德威特编绘；施辉业，小转铃译2013 年出版34 页ISBN：9787511011381
秋日温暖的傍晚，父亲带着女儿一起骑单车，他们穿过林间小路，骑过草地，骑上高坡，来到平静的湖边。父亲抱抱女儿，登上了小船。女儿在湖边静静的等待，等到船在视线里变模糊，等到太阳就要落山。父亲迟迟不归，女儿......
（美）比尔·莫格里奇著；许玉铃译2011 年出版514 页ISBN：9787508626864
本书是一本艺术设计、艺术理论类的通俗读物。
陆汝钤编著1996 年出版1321 页ISBN：7030047850
本书是国家教委计算机软件专业教材编委会推荐教材之一，人工智能作为独立的学科已有近40年的历史，最近十几年已趋子成熟。本书较为全面地介绍了人工智能的各个分支，全书分上、下两册。上册集中介绍人工智能的两...
