Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Materials and Design The Art and Science Material Selection in Product Design Second Edition
Mike Ashby and Kara Johnson2002 年出版331 页ISBN：9781856174978
技术理性、社会发展与自由 科技法学导论 an introduction to science ＆ technology law
易继明著2005 年出版430 页ISBN：7301102097
随着科技的发展，给法学带来了许多新的问题，面对这种挑战，作者对科技法学的基础问题进行了详尽的介绍。全书分为三部分：第一部分为科技法学理论；第二部分为科技法律制度；第三部分为国际科技合作。...
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
ANGLO-AMERICAN AND GERMAN ABBREVIATIONS IN SCIENCE AND TECHNOLOGY 1st EDITION PART 3
P-Z1978 年出版2276 页ISBN：3794010442
