Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN：3540251073
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V
1995 年出版360 页ISBN：3540606475
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
Object-Oriented Databases A Semantic Data Model Approach
1992 年出版237 页ISBN：0136302033
Lecture Notes in Computer Science 3196 User-Centered Interaction Paradigms for Universal Access in t
2004 年出版485 页ISBN：354023375X
