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
Lecture Notes in Computer Science Artificial Intelligence 3336 Practical Aspects of Knowledge Manage
PAKM 20042004 年出版524 页ISBN：3540240888
Lecture Notes in Computer Science 4767 International Symposium on Fundamentals of Software Engineeri
FSEN 20072007 年出版450 页ISBN：9783540756972
Lecture Notes in Computer Science 3458 Scientific Applications of Grid Computing First International
SAG 20042005 年出版208 页ISBN：3540258108
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
Lecture Notes in Computer Science 2205 Spatial Information Theory Foundations of Geographic Informat
COSIT 20012001 年出版503 页ISBN：3540426132
