硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
WORLD YEARBOOK OF EDUCATION 1982/83 COMPUTERS AND EDUCATION
JACQUETTA MEGARRY1983 年出版280 页ISBN：
太空漫游 宇宙中100个令人神往的目的地 visit the 100most awe inspiring destinations in the universe!
（英）布赖恩·梅，（英）帕特里克·摩尔，（英）克里斯·林陶特著；陈冬妮译2016 年出版188 页ISBN：9787555105220
本书通过作者在想象中乘坐飞船托勒密号漫游太空的经历，向读者介绍了宇宙中各种神奇壮观的景象，科学性与文学性兼备。作者假想的旅途经过了太阳系、银河系，直到银河系外，近距离观察了不同天体的不同风貌，向读者展...
基于社会资本理论的中国环境法治考察 ＝ A STUDY ON CHINESE ENVIRONMENTAL RULE-OF-LAW IN THE FRAME OF THE SOCAL CAPITAL T
徐忠麟著2016 年出版233 页ISBN：7516189061
机器人占位 未来职场中，如何防止被机器人抢饭碗＝THE ROBOT IN THE NEXT CUBICLE WHAT YOU NEED TO KNOW TO ADAPT A
（美）拉里·博耶著2020 年出版0 页ISBN：
THE LANGUAGE OF MEDICINE A WRITE-IN TEXT EXPLAINING MEDICAL TERMS SECOND EDITION
DAVI-ELLEN CHABNER1981 年出版706 页ISBN：
LA FLORIDA DEL INCA AND THE STRUGGLE FOR SOCIAL EQUALITY IN COLONIAL SPANISH AMERICA
JONATHAN D.STEIGMAN著2222 年出版125 页ISBN：0817352570
NEW YORK HEART ASSOCIATION SYMPOSIUM ON REGULATION OF CATECHOLAMINE METABOLISM IN THE SYMPATHETIC NE
MARION DEV.COTTEN1972 年出版449 页ISBN：68302017X
The UMTS Air-Interface in RF Engineedung :Design and Operation of UMTS Networks
Shing-Fong Su2007 年出版356 页ISBN：
ADVANCES IN MOTIVATION AND ACHIEVEMENT A RESEARCH ANNUAL THE EFFECTS OF SCHOOLDESEGREGATION ON MOTIV
DAVID E.MAEHR1984 年出版330 页ISBN：089232290X
