豌豆黄读过的书 >
-
哥德尔、艾舍尔、巴赫
(4073人已评价)[美] 侯世达 | 商务印书馆 | 1997-5道格拉斯·理查·郝夫斯台特(DouglasRichardHofstadter,1945年2月15日-),中文名侯世达,美国学者、作家。他的主要研究领域包括意识、类比、艺术创造、文学翻译以及数学和物理学...
-
Types and Programming Languages
(55人已评价)Benjamin C·Pierce | The MIT Press | 2002-2-1Atypesystemisasyntacticmethodforautomaticallycheckingtheabsenceofcertainerroneousbehaviorsbyclassify...