Lecture Notes in Computer Science 4011 The Semantic Web:Research and Applications 3rd European Seman
ESWC 20062006 年出版728 页ISBN:3540345442
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN:9783540714095
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN:354028009X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur
ESAS 20052005 年出版219 页ISBN:3540309128
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202
LECTURE NOTES IN COMPUTER SCIENCE COMPUTATION THEORY 208
G.GOOS AND J.HARTMANIS ANDRZEJ SKOWRON2222 年出版397 页ISBN:3540160663