SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems
1986 年出版193 页ISBN：0080348017
BUSINESS COMPUTER SYSTEMS:USING APPLICATION SOFTWARE SPECIAL EDITION
1985 年出版577 页ISBN：0394390369
25th Annual IEEE Conference on Local Computer Networks LCN 2000
2000 年出版702 页ISBN：0769509126
2000 IEEE 41st Annual Symposium on Foundations of Computer Science
2000 年出版688 页ISBN：0769508502
1991 IEEE CONFERENCE ON COMPUTER-AIDED DESIGN NOVEMBER 11-14
IEEE COMPUTER SOCIETY PRESS LOS ALAMITOS1991 年出版0 页ISBN：
Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
IEEE Computer society1991 年出版417 页ISBN：
1997 IEEE International Conference on Control Applications V.A
1997 年出版474 页ISBN：0780338766
Lecture Notes in Computer Science 3966 Software Process Change
2006 年出版356 页ISBN：3540341994
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
