Living with the Genie:essays on technology and the quest for human mastery
Alan Lightman2003 年出版349 页ISBN：
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
ECOLOGICAL AND ENVIRONMENTAL SCIENCE & TECHNOLOGY IN CHINA:A ROADMAP TO 2050 WITH 16 FIGURES
JINGZHU ZHAO2010 年出版149 页ISBN：3642127142
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
STATIC AND DYNAMIC ANALYSIS OF STRUCTURES WITH AN EMPHASIS ON MECHANICS AND COMPUTER MATRIX METHODS
JAMES F.DOYLE1991 年出版448 页ISBN：
WIRELESS MOBILE NETWORKING WITH ANSI-41 SECOND EDITION
RANDALL A.SNYDER2222 年出版573 页ISBN：0071352317
LOCAL AREA NETWORKING WITH NOVELL SOFTWARE SECOND EDITION
1994 年出版393 页ISBN：0877090416
Lecture Notes in Computer Science 4872 Advances in Image and Video Technology Second Pacific Rim Sym
PSIVT 20072007 年出版961 页ISBN：9783540771289
