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
Lecture Notes in Computer Science 3895 Theoretical Computer Science Essays in Memory of Shimon Even
2006 年出版399 页ISBN：3540328807
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
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
