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 Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20052005 年出版410 页ISBN:3540261524
Lecture Notes in Computer Science 3990 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20062006 年出版300 页ISBN:3540343067
Lecture Notes in Computer Science 4510 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20072007 年出版390 页ISBN:9783540723967
Lecture Notes in Computer Science 3011 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20042004 年出版415 页ISBN:354021836X
数字信号处理 基于计算机的方法 a computer-based approach 上
(美)Sanjit K.Mitra著;孙洪等译2006 年出版538 页ISBN:712102652X
本书是数字信号领域的经典教材,内容涵盖了信号与信号处理、时域中的离散时间信号与系统、变换域中的离散时间信号、变换域中的LTI离散时间系统、连续时间信号的数字处理、数字滤波器的结构与设计、DSP算法实...