Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
Lecture Notes in Computer Science 3988 Logical Approaches to Computational Barriers Second Conferenc
CiE 20062006 年出版608 页ISBN：3540354662
Lecture Notes in Computer Science 4813 Haptic and Audio Interaction Design Second International Work
HAID 20072007 年出版145 页ISBN：9783540767015
Lecture Notes in Computer Science 4129 Haptic and Audio Interaction Design First International Works
HAID 20062006 年出版167 页ISBN：3540375953
Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte
DISCO93 Gmunden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
Lecture Notes in Computer Science 2946 Foundations of Security Analysis and Design II FOSAD 2001/200
2004 年出版267 页ISBN：3540209557
Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN：3540289550
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
