Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Artificial Intelligence 3394 Adaptice Agents and Multi-Agent Systems II Adaptation
2005 年出版313 页ISBN：3540252606
Genome informatics 2010 : the 10th Annual International Workshop on Bioinformatics and Systems Biolo
tatsuya akutsu minoru kanehisa and edda klipp and satoru miyano and scott mohr thomas tullius2010 年出版232 页ISBN：1848166578
硅超大规模集成电路工艺技术 理论、实践与模型 fundamentals， practice and modeling
（美）James D. Plummer，（美）Michael D. Deal，（美）Peter B. Griffin著；严利人，王玉东，熊小义等译2005 年出版618 页ISBN：7121019876
本书是美国斯坦福大学电气工程系“硅超大规模集成电路制造工艺”课程所使用的教材，该课程是为电气工程系微电子学专业的四年级本科生及一年级研究生开设的一门专业课。本书最大的特点是，不仅详细介绍了与硅超...
管理信息系统 英文版·精要版第9版=ESSENTIALS OF MANAGEMENT INFORMATION SYSTEMS NINTH EDITION
（美）Kenneth C.Laudon2012 年出版416 页ISBN：9787300168265
本书是一本优秀的管理信息系统英文改编版教材，堪称学习国外先进的管理信息系统知识的范本，适合用作工商管理及信息管理与信息系统专业双语教学使用。...
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
LECTURE NOTES IN MATHEMATICS 1445: REGULARITY THEORY FOR QUASILINEAR ELLIPTIC SYSTEMS AND MONGE-AMPE
1990 年出版128 页ISBN：3540531033;087531033
