Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN:3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
GRADED PROBLEMS IN COMPU-TER SCIENCE
ANDREW D.MCGETTRICK PETER D.SMITH2222 年出版314 页ISBN:0201137879
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN:3540221522
Lecture Notes in Computer Science 3988 Logical Approaches to Computational Barriers Second Conferenc
CiE 20062006 年出版608 页ISBN:3540354662
Lecture Notes in Computer Science 3526 New Computational Paradigms First Conference on Computability
CiE 20052005 年出版574 页ISBN:3540261796
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN:3540527346;0387527346
RECENT ADVANCES IN SCIENCE PHYSICS AND APPLIED MATHEMATICS
MORRIS H. SHAMOS AND GEORGE M. MURPHY1956 年出版384 页ISBN: