Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN:9783540745907
Lecture Notes in Computer Science 4817 Information Security and Cryptology-ICISC 2007 10th Internati
2007 年出版368 页ISBN:9783540767879
Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL
2007 年出版290 页ISBN:9783540749837
Lecture Notes in Computer Science 4669 Artificial Neural Networks-ICANN 2007 17th International Conf
2007 年出版990 页ISBN:9783540746935
Lecture Notes in Computer Science 4801 Conceptual Modeling-ER 2007 26th International Conference on
2007 年出版616 页ISBN:9783540755623
Lecture Notes in Computer Science 4450 Public Key Cryptography-PKC 2007 10th International Conferenc
2007 年出版491 页ISBN:9783540716761
Lecture Notes in Computer Science 4831 Web Information Systems Engineering-WISE 2007 8th Internation
2007 年出版675 页ISBN:9783540769927
Lecture Notes in Computer Science 4668 Artificial Neural Networks-ICANN 2007 17th International Conf
2007 年出版978 页ISBN:9783540746898