transitions and tress an introduction to structural operationnl semantics
hans hüttel2010 年出版272 页ISBN：0521197465
（法）克里斯托弗·杜尔（Christoph Dürr），吉尔-让·维2018 年出版194 页ISBN：9787115480859
本书旨在探讨如何优化算法效率，详细阐述了经典算法和特殊算法的实现、应用技巧和复杂度验证过程，内容由浅入深，能帮助读者快速掌握复杂度适当、正确率高的高效编程方法以及自检、自测技巧，是参加ACM/ICPC、Goog...
约瑟夫 L·巴达拉可（Joseph L·Badaracco），理查德 R·埃尔斯沃思（Richard R·Ellsworth）著；罗耀宗译1994 年出版199 页ISBN：9570811897
（加拿）盖博格（O.L.Gamborg），（加拿）韦特（L.R.Watter）主编；钱迎倩等译1980 年出版143 页ISBN：13031·1250
（德）马库斯·杜威尔（Marcus Düwell）著；李建军，袁明敏译2017 年出版303 页ISBN：9787509799482
本书从哲学层面介绍生命伦理学，为读者概述了器官摘除、干细胞研究、医疗保健的公平性和环境伦理学，以及食品和农业相关问题等多个领域的主要争辩。本书意在超越简单的问题描述，为读者提供更全面理解当前生命伦...
（美）蒂斯代尔（S.L.Tisdale），（英）纳尔逊（W.L.Nelson）著；孙秀廷等译1984 年出版469 页ISBN：13031·2622
g.p.agarwal and l.de boer and h.brandl and l.dijkhuizen1990 年出版139 页ISBN：3540525696
