Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
大秘密 揭开那些鲜为人知的真相 the uncensored truth about all sorts of stuff you are never supposed to know
威廉·庞德斯通（William Poundstone）著；伍轶译2006 年出版276 页ISBN：7542841009
可口可乐是怎样配制出来的？烹制肯德基炸机用了哪些香料？钞票怎样防伪？电锯活人的魔术是怎么回事？沃尔特·迪斯尼真被冷冻起来了吗？……在书中，作者以一种追根究底的精神，为我们揭开了平常人在生活中都会遇到的......
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN：354025336X
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN：
2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Volume 2
2001 年出版807 页ISBN：0769512720
Lecture Notes in Computer Science 3585 Human-Computer Interaction-INTERACT 2005
2005 年出版1158 页ISBN：3540289437
Lecture Notes in Computer Science 4663 Human-Computer Interaction-INTERACT 2007
2007 年出版735 页ISBN：9783540747994
