Lecture Notes in Computer Science 3128 Querying Databases Privately A New Approach to Private Inform
2004 年出版115 页ISBN:3540224416
Lecture Notes in Computer Science 3226 Semantics of a Networked World Semantics for Grid Databases
2004 年出版326 页ISBN:3540236090
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN:3540255761
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
Lecture Notes in Computer Science 4166 Computer Safety
Reliability2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN:
Lecture Notes in Computer Science 4680 Computer Safety
Reliability2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3219 Computer Safety
Reliability2004 年出版0 页ISBN: