Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
MODELING AND COMPUTATIONS IN DYNAMICAL SYSTEMS IN COMMEMORATION OF THE 100TH ANNIVERSARY OF THE BIRT
EUSEBIUS J DOEDEL2006 年出版349 页ISBN：
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
Quotient space based problem solving a theoretical foundation of granular computing=基于商空间的问题求解 粒度计算的
Ling Zhang ; Bo Zhang2014 年出版382 页ISBN：7302384953
DIGITAL SIGNAL PROCESSING A COMPUTER-BASED-APPROACH THIRD EDITON
[美]SANJIT K.MITRA著 阔永红改编2006 年出版489 页ISBN：7121023679
本书是在数字信号领域的经典教材Digital Signal Processing: A Computer-Based Approach（第三版）的基础上改编而成，内容涵盖信号与信号处理、时域中的离散时间信号和系统、变换域中的离散时间信号、变换域中的...
PROCEEDINGS OF THE TWENTY-SECOND ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING PODC 20
THE ASSOCIATION FOR COMPUTING MACHINERY2003 年出版369 页ISBN：
Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN：3540230920
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
