1984ACM TWELFTH ANNUAL COMPUTER SCIENCE SONFERENCE
2222 年出版200 页ISBN:089791127X
Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN:
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
Advances in mathematical chemistry and applications Volume 2
Subhash C. Basak ; Guillermo Restrepo ; José L. Villaveces2015 年出版334 页ISBN:1681080536
Current Trends in Linguistics Volume III Theoretical Foundations
Thomas A.Sebeok1966 年出版537 页ISBN: