Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN：3540288694
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN：3540212000
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
电力电子学 电路、器件及应用 英文版 Circuits，Devices，and Applications Third Edition
（美）Muhammad H.Rashid著2007 年出版836 页ISBN：9787115157638
本书介绍了电路计算与电子装置设计方法，电力电子学中电子电路分析与电力装置的设计原理与应用。
Introduction To Time Series Analysis And Forecasting With Applications of SAS and SPSS
Robert A.Yaffee2000 年出版0 页ISBN：
Management and Cost Accounting Third Edition Spreadsheet Applications Manual:Guidance Notes and Disk
Alicia M.Gazely1993 年出版0 页ISBN：
data 2013 proceedings of the 2nd international conference on data technologies and applications
reykjavík29-3 年出版2013 页ISBN：
