机读格式显示(MARC)

• 000 01792nam 2200313 450

• 001 0000536463

• 005 20210908105200.0

• 010 __ |a 978-7-111-65325-7 |d CNY99.00

• 100 __ |a 20200530d2020 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 函数程序设计算法 |A han shu cheng xu she ji suan fa |d = Algorithms for functional programming |f (美)约翰·戴维·斯通(John David Stone)著 |g 乔海燕, 曾烈康译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2020

• 215 __ |a 265页 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 306 __ |a 本书中文简体字版由Springer授权机械工业出版社独家出版

• 314 __ |a 约翰·戴维·斯通 (John David Stone), 格林内尔学院计算机科学系的高级讲师, 教授算法、计算机安全和计算语言。他的研究兴趣包括逻辑和编程基础。乔海燕, 中山大学数据科学与计算机学院副教授, 研究方向为类型论及其在程序验证中的应用。曾烈, 中山大学数据科学与计算机学院研究生, 研究方向为边缘计算、边缘智能、智能物联网、分布式系统。

• 330 __ |a 本书用纯函数程序设计语言Scheme的一种变体深入浅出地讲解各类常用的数据结构和算法。第1章介绍了本书使用的基于Scheme的变体语言, 第2章和第3章分别介绍了函数程序设计中常用的各类编程模式和数据结构, 第4-7章分别介绍了排序、组合构造、图算法和子列表搜索算法等, 并对算法的思想和实现进行了详细分析和解释。全书每节都总结了本节涉及的过程并编排了有针对性的习题, 以便读者更好地理解和掌握相关内容。

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Algorithms for functional programming |A Algorithms For Functional Programming |m Chinese

• 606 0_ |a 函数 |A han shu |x 程序设计

• 690 __ |a TP311.1 |v 5

• 701 _1 |c (美) |a 斯通 |A si tong |c (Stone, John David) |4 著

• 702 _0 |a 乔海燕 |A qiao hai yan |4 译

• 702 _0 |a 曾烈康 |A zeng lie kang |4 译

• 801 _0 |a CN |b LIB |c 20210908

• 905 __ |a LIB |d TP311.1/56