DeathKing正在读的书 >
-
-
君主论
(8898人已评价)[意] 尼科洛·马基雅维里 | 商务印书馆 | 2005-10尼科洛·马基雅维里(NiccolòMachiavelli1469—1527)是意大利佛罗伦萨的政冶家、外交家;同时是一位思想家——政治思想家。马克思曾经肯定马基雅维里及其后一些近代思想家在国家观上摆脱...
-
C++语言的设计和演化
(377人已评价)[美] Bjarne Stroustrup | 机械工业出版社 | 2002-1这本书是C++的设计者关于C++语言的最主要著作之一。作者综合性地论述了C++的历史和发展,C++中各种重要机制的本质意义和设计背景,这些机制的基本用途和使用方法,讨论了C++所适合的应用领域及其未来...
-
The Little Prover
暂无评论The MIT Press | 2015-7-10[FROMwww.amazon.com]:TheLittleProverintroducesinductiveproofsasawaytodeterminefactsaboutcomputerprog...