Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
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
In effect ground breaking finishes & materials in graphic design
Peng yanghui & limbo2012 年出版271 页ISBN:9881562524
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
BIOTECHNOLOGY APPLICATIONS IN BEVERAGE PRODUCTION
C.CANTARELLI2222 年出版257 页ISBN: