Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 4263 Computer and Information Sciences-ISCIS 2006 21th Internation
2006 年出版1084 页ISBN：3540472428
Lecture Notes in Computer Science 2288 Information Security and Cryptology-ICISC 2001 4th Internatio
2002 年出版457 页ISBN：3540433198
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 712 LASERS IN MEDICINE
1987 年出版278 页ISBN：0892527471
Studies in Suface Science and Catalysis Vol.133 REACTION KINETICS AND THE DEVELOPMENT AND OPERATION
2001 年出版648 页ISBN：0444505598
Lecture Notes in Artificial Intelligence 4180 OMDoc-An Open Markup Format for Mathematical Documents
2006 年出版428 页ISBN：3540378979
Lecture Notes in Artificial Intelligence 2977 Engineering Self-Organising Systems Nature-Inspired Ap
2004 年出版299 页ISBN：3540212019
Lecture Notes in Computer Science 3597 Web and Communication Technologies and Internet-Related Socia
2005 年出版368 页ISBN：3540278303
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
