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 4417 Human-Centered Visualization Environments GI-Dagstuhl Researc
2007 年出版403 页ISBN:9783540719489
Lecture Notes in Computer Science 4050 Transactions on High-Performance Embedded Architectures and C
2007 年出版361 页ISBN:9783540715276
Lecture Notes in Computer Science 3307 Web Information Systems-WISE 2004 Workshops WISE 2004 Interna
2004 年出版275 页ISBN:3540238921
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Lecture Notes in Artificial Intelligence 4635 Modeling and Using Context 6th International and Inter
2007 年出版574 页ISBN:9783540742548
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202