Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN:3540219803
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN:3540291318
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN:3540219749
计算机安全——原理与实践=COMPUTER SECURITY:PRINCIPLES AND PRACTICE 第二版 英文版
(美)William Stallings,(澳)Lawrie Brown著2013 年出版811 页ISBN:7121200342
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER,LINDA R.PETZOLD著2009 年出版314 页ISBN:
Mechanical Desktop 2006工程设计实例精解 含1CD
李德信,陶毅主编2006 年出版228 页ISBN:7111196473
本书以三维设计为基础,集设计,分析,制造及文档管理于一体,为用户提供了从设计到制造的一体化解决方案。