Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
IF DESIGN AWARD 2000 PRODUCT DESIGN AWARD BAND 2 VOLUME 2
RALPH WIEGMANN2222 年出版225 页ISBN：
IF DESIGN AWARD 2000 PRODUCT DESIGN AWARD BAND 3 VOLUME 3
FRANK NUOVO2222 年出版484 页ISBN：
DESIGN OF SYSTEMS ON S CHIP：DESIGN AND TEST
RICARDO REIS MARCELO LUBASZEWSKI JOCHEN A.G.JESS2007 年出版233 页ISBN：
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
MODERN VLSI DESIGN:SYSTEM-ON-CHIP DESIGN (3/E)
WAYNE WOLF原著 杨华中改编2006 年出版0 页ISBN：
