Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN：3540262784
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
2222 年出版632 页ISBN：0818619821
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
43th Annual Symposium on Foundations of Computer Science October 17-19
19991999 年出版668 页ISBN：
37th Annual Symposium on Foundations of Computer Science October 14-16
19961996 年出版638 页ISBN：
35th Annual Symposium on Foundations of Computer Science November 20-22
19941994 年出版837 页ISBN：
43nd IEEE Symposium on Foundations of Computer Science October 14-17
20012001 年出版670 页ISBN：
