The Proceedings of The Seventh IEEE International Conference on Computer Vision Volume 1
1999 年出版694 页ISBN：0769501648
1990 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS
1990 年出版570 页ISBN：0818620552
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN：3540102353
1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS
2222 年出版580 页ISBN：0818619864
MATERIALS RESEARCH SOCIETY SYMPOSIA PROCEEDINGS VOLUME 63 COMPUTER-BASED MICROSCOPIC DESCRIPTION OF
1986 年出版289 页ISBN：0931837286
