现在一提起苹果，很多人第一个想到的不是一种水果，而是iPhone、iPad等操作方便的电子产品。随着计算机的日益普及，IBM、Intel、微软等软硬件厂商的名字也早已家喻户晓。计算机科学是一门年轻的学科，它包括各种与计算和信息处理相关的主题，从抽象的算法分析，到我们熟悉的操作系统、浏览器、鼠标、声卡等软硬件设备。打开《计算机科学的足迹》，你会知道大名鼎鼎的摩尔定律有好几个版本；开发C语言的初衷居然是为了玩游戏；把光盘的直径定为120毫米是为了容纳贝多芬第九交响曲；Macintosh的名称来源于一个苹果品种；哈佛大学的辍学生将一家诞生于旅馆的小公司打造成软件帝国；还有“深蓝”计算机如何战胜国际象棋世界冠军……艾伦？凯有一句名言：“预测未来的最好方法是创造未来。”让我们一起循着前人的足迹，走出自己的未来！

本书以“旅行”的方式，在太阳系从内到外，依次“到达”水星、金星、地球、火星、小行星带、木星、土星、天王星、海王星、冥王星、开伯带和奥尔特云，看到的都是极具特色的“景点”。或从远处眺望，或在近旁欣赏，太阳系天体*精彩之处尽收眼底。遨游之后，读者将会对太阳系有整体性的、概括性的了解，对各类天体的独特风貌有直观的认识。

巨行星指太阳系中的木星、土星、天王星与海王星，这类行星是气体行星，也称类木行星。与地球、火星这样的类地行星相比，巨行星有许多奇异的性质：木星的大红斑、土星的绚丽光环、天王星的大绿斑、海王星奇特的风暴等。更为重要的是，巨行星都有数量众多的卫星，而其中有一些极具特征的卫星，如号称“宇宙喷泉”的土卫二、有表面液体湖的土卫六、可能有丰富地下液体海洋的欧罗巴，是人类寻找地外生命的重要目标。巨行星有无穷的奥秘等待人们去探究。

厚重的大气层为金星蒙上了一层神秘的面纱，使人们无法看清其真面目。苏联发射的金星系列探测器历尽千险，终于在金星表面着陆，使人类发现，原来金星表面环境竟如地狱般恶劣。随后，美国国家航空航天局和欧洲空间局发射的多个探测器，进一步揭示了金星大气层和表面形态的重要特征。至今，金星还有许多未解之谜，深入探测金星也面临许多技术挑战。对此，本书还较详细地介绍了人类未来探索金星要解决的技术难点和有代表性的金星探测计划。

从美国的U2侦察机被击落谈起，说到美苏在冷战时期发展间谍卫星的情况、这些间谍卫星在收集对方军事机密方面所起的作用。系统地介绍了美苏的间谍卫星计划，包括早期间谍卫星和数码时代的卫星。重点介绍现代的间谍卫星，包括高级照相侦察卫星、雷达侦察卫星、电子侦察卫星、天基红外监视系统以及为拦截弹道而研发的空间跟踪与监视系统，并展望了未来的侦察卫星发展方向。

《计算复杂性：现代方法》系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。*部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。本书内容丰富，结构灵活，语言流畅，是从事计算复杂性理论及相关领域的研究人员必不可少的参考书，非常适合作为打算进入该研究领域的研究生、博士生快速接触研究前沿的参考资料，还非常适合作为普通高校计算机科学与技术、数学专业本科生、研究生相关课程的教材，其中的高级专题还可以作为博士生相关讨论班的素材。

地球以外有生命吗？这是一个与人类同样古老的问题。本书按什么是生命、地球**环境下的生命、UFO与外星人、寻找地外文明计划、太阳系天体存在生命的证据、向外星人发送地球人的信息、寻找太阳系外的行星和未来的寻找活动等8个方面，解答了广大青少年关注的365个问题。

北斗卫星导航系统是我国具有自主知识产权的卫星导航系统。本书从生活中遇到的实际问题出发，深入浅出地阐述了卫星导航定位的基本原理；概括地介绍全球定位系统（GPS）的原理和基本结构；重点介绍了我国北斗系统的构成特点与性能特征；卫星导航系统在国民经济各领域的应用；卫星导航的军事应用，特别是北斗系统在弹道导弹打击航空母舰方面所起的作用。

什么是空间天气？太阳风暴、大耀斑、太阳黑子、极光……都是它的“拿手好戏”。位于地球平流层以上广泛空间中的空间天气现象，直接来源于太阳活动，它们“呼风唤雨”，气象万千，对人类社会产生重要的影响。俗话说“太阳一发烧，地球就感冒”，本书就要为“感冒”的地球把脉，带领大家走进“空间天气”这一全新领域。

本书主要介绍了人类为什么要建空间站。人类建立空间站的近期目标是为了充分利用太空资源，长远目标是为了探索更加遥远的天体。为实现这些目标，到目前为止人类已经建设了五代空间站。本书详细介绍了5代空间站的主要特征和取得的成果。