Lecture Notes in Computer Science 4277 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版1009 页ISBN:3540482695
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN:3540211829
Lecture Notes in Computer Science 4278 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版2013 页ISBN:3540482733
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN:3540248439
Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN:354020766X
Lecture Notes in Computer Science 3376 Topics in Cryptology-CT-RSA 2005 The Cryptographers'Track at
2005 年出版385 页ISBN:3540243992
Lecture Notes in Computer Science 3860 Topics in Cryptology-CT-RSA 2006 The Cryptographers'Track at
2006 年出版365 页ISBN:3540310339
Lecture Notes in Computer Science 2964 Topics in Cryptology-CT-RSA 2004 The Cryptographers'Track at
2004 年出版386 页ISBN:3540209964