• 计算进化史:改变数学的命运

    吉尔·多维克   劳佳   译

    【内容简介】 长久以来,推理与证明一直是数学研究不可撼动的基石。然而,从20世纪70代初起,证明方法发生了翻...

  • 你不可不知的50个战争知识(修订版)

    [英]罗宾·克罗斯   王喜   译

    本书通过50篇短小精干的短文,介绍了人类最持久的一种活动——战争。从古代战车、维京长船和城堡,到坦克、雷达、轰...