Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN：3540262784
Lecture Notes in Artificial Intelligence 2403 Foundations and Applications of Multi-Agent Systems UK
2002 年出版261 页ISBN：3540439625
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE VOLUME I:SETS
RELATIONS2222 年出版0 页ISBN：
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
2222 年出版632 页ISBN：0818619821
Hashing in Computer Science Fifty Years of Slicing and Dicing
2010 年出版386 页ISBN：9780470344736
