Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
DIGITAL COMPUTER TECHNOLOGY FOR AIRBORNE APPLICATIONS
1989 年出版122 页ISBN：0903409402
APPLICATIONS OF COMPUTER TECHNOLOGY TO DYNAMICAL ASTRONOMY
P.Kenneth Seidelmann and Jean Kovalevsky2222 年出版341 页ISBN：0792303121
COMPUTER-BASED ENERGY MANAGEMENT SYSTEMS TECHNOLOGY AND APPLICATIONS
1984 年出版242 页ISBN：0121733807
The Protection of Computer Software-Its Technology and Applications Second Edition
1992 年出版307 页ISBN：0521424623
VLSI AND COMPUTERS：FIRST INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY SYSTEMS AND APPLICATIONS
WALTER E.PROEBSTER AND HANS REINER2222 年出版1006 页ISBN：
