Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Proceedings of the 4th International Congress on Rhelology Pt. 4 Symposium on biorheology
Lee;E. H.;Copley;Alfred L.;International Congress on Rheology Providence)1965 年出版644 页ISBN：
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat
BNCOD 182001 年出版218 页ISBN：354042265X
MICROBIAL GROWTH ON C1 COMPOUNDS Proceedings of the 4th International Symposium
2222 年出版343 页ISBN：091482659X
Lecture Notes in Computer Science 2942 Foundations of Information and Knowledge Systems Thied Intern
FoIKS 20042004 年出版320 页ISBN：3540209654
PROCEEDINGS OF THE 4TH SYMPOSIUM ON STRUCTURAL DURABILITY IN DARMSTADT SOSDID
J.BAUMGARTNER2014 年出版277 页ISBN：9783839607343
1988 IEEE SYMPOSIUM ON THE ENGINEERING OF COMPUTER-BASED MEDICAL SYSTEMS
1988 年出版174 页ISBN：0817648635
Lecture Notes in Computer Science 2054 DNA Computing 6th International Workshop on DNA-Based Compute
DNA 20002001 年出版271 页ISBN：3540420762
Lecture Notes in Computer Science 2943 DNA Computing 9th International Workshop on DNA-Based Compute
DNA92004 年出版225 页ISBN：3540209301
