Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
RECOMBINANT DNA TECHNOLOGY AND APPLICATIONS
ALES PROKOP RAKESH K.BAJPAI CHESTER HO2222 年出版619 页ISBN:007029075X
NITRIC ACID TECHNOLOGY RECENT DEVELOPMENTS 1969
DR.ROBERT POWELL2222 年出版0 页ISBN:
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
Communication technology update 4th edition
August E.Grant1995 年出版428 页ISBN:0240802381