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
INTERNATIONAL SCIENCE AND TECHNOLOGY COOPERATION IN A GLOBALIZED WORLD:THE EXTERNAL DIMENSION OF THE
HEIKO PRANGE GSTOHL2009 年出版248 页ISBN:9781849801645
Homeland Security Technology Challenges From Sensing and Encrypting to Mining and Modeling
2008 年出版294 页ISBN:9781596932890
Microcomputers:A Technology Forecast and Assessment to the Year 2000
1980 年出版251 页ISBN:0471047805
Management information systems:new approaches to organization and technology
Kenneth C.Laudon Jane Price Laudon2222 年出版693 页ISBN:0138577234
PHYSICAL CHEMISTRY AND ACID-BASE PROPERTIES OF SURFACES
JEAN-CHARLES JOUD2015 年出版161 页ISBN:
Microcomputers:A Technology Forecast and Assessment to the Year 2000
John Wiley & Sons1980 年出版0 页ISBN: