Lecture Notes in Artificial Intelligence 2934 Regulated Agent-Based Social Systems First Internation
RASTA 20022004 年出版301 页ISBN：3540209239
Lecture Notes in Computer Science 2959 COTS-Based Software Systems Third International Conference
ICCBSS 20042004 年出版219 页ISBN：354021903X
REUSE-BASED SOFTWARE ENGINEERING:TECHNIQUES ORGANIZATION AND CONTROLS
2222 年出版636 页ISBN：7505386247
本书主要介绍了基于重用的软件工程实践模型和其他有关的基础问题，全面分析了基于重用的软件工程的当前状态和未来发展，重点讨论了软件重用的关键技术、管理和组织问题，详细论述了这些理论知识在基于组件的软件...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Hardware-Based Computer Security Techniques to Defeat Hackers From Biometrics to Quantum Cryptograph
2008 年出版227 页ISBN：9780470193396
THE MYTH OF THE LEARNING MACHINE:The Theory and Practice of Computer Based Training
1983 年出版240 页ISBN：0905104501
Web-based supply chain management and digital signal processing : methods for effective information
2010 年出版297 页ISBN：1605668885
Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos
CBSE 20052005 年出版358 页ISBN：3540258779
Lecture Notes in Computer Science 4608 Component-Based Software Engineering 10th International Sympo
CBSE 20072007 年出版283 页ISBN：9783540735502
Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN：3540266550
