（英）米哈伊尔·切尔尼亚科夫（MikhailCherniakov）编2015 年出版516 页ISBN：9787515909738
本书包含两部分，第一部分专述双基地合成孔径雷达，分为三个方面来反映双基地合成孔径雷达的主要拓扑结构：星载双基地合成孔径雷达，机载双基地合成孔径雷达，以及天—地双基地合成孔径雷达。第二部分论述的是无源双...
（英）大卫·赫尔林（DavidHerling），（英）安·莱昂（AnnLyon）著2005 年出版282 页ISBN：7307041952
本书选取了英国宪法和行政法领域经典、重要的典型案例约300个，依据宪法和行政法的内容将其收入不同门类并进行精确的注解和归纳，通过提纲式的总结和提问方式激发读者进行思考性的学习。...
（英）安大卫（AngusHendersonDavidCargill），聂武璇，赵芷芳著2020 年出版348 页ISBN：9787122363756
（英）贝思安·莫里斯（Bethan Morris）著；方茜译2007 年出版206 页ISBN：7532252450
本书从专业课程的角度出发，系统地教授了时装绘画的基础与高级技法，由英国知名时装学院的教授精心撰写。
（英）丹尼尔·达塔斯奇著；孙艺宁译2019 年出版184 页ISBN：9787122326287
在阅读《图解自行车大百科》一书的过程中，读者会了解到自行车的发展历史、名人轶事，同时还包括自行车动力学原理、机械原理及材料科学、自行车竞技赛事等诸多知识。本书能够充分体现出作者对自行车的了解和钻...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
