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 2288 Information Security and Cryptology-ICISC 2001 4th Internatio
2002 年出版457 页ISBN：3540433198
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
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 364 MFDBS 89 2nd Symposium on Mathematical Fundamentals of Databas
2222 年出版428 页ISBN：3540512519
Lecture Notes in Computer Science 2947 Public Key Cryptography-PKC 2004 7th International Workshop
2004 年出版455 页ISBN：3540210180
Lecture Notes in Computer Science 4669 Artificial Neural Networks-ICANN 2007 17th International Conf
2007 年出版990 页ISBN：9783540746935
Lecture Notes in Computer Science 4652 Service-Oriented Computing ICSOC 2006 4th International Confe
2007 年出版203 页ISBN：9783540754916
