Introduction To The Formal Design of Real-Time Systems
1999 年出版461 页ISBN:3540761403
DIGITAL SYSTEMS DESIGN WITH VHDL AND SYNTHESIS AN INTEGRATED APPROACH
2222 年出版501 页ISBN:0769500234
SITE CHARACTERIZATION AND DESIGN OF ON-SITE SEPTIC SYSTEMS
2222 年出版307 页ISBN:0803124201
OPERATING SYSTEM DESIGN VOL.1 THE XINU APPROACH (PC EDITION)
DOUGLAS COMER TIMOTHY V.FOSSUM2222 年出版504 页ISBN:0136381804
Agent-Mediated Electronic Commerce V Designing Mechanisms and Systems
2004 年出版155 页ISBN:3540226745