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
Lecture Notes in Computer Science 3196 User-Centered Interaction Paradigms for Universal Access in t
2004 年出版485 页ISBN：354023375X
STANARD METHODS FOR ANALYSIS AND TESTING OF PETROLEUM AND RELATED PRODUCTS AND BRITISH STANDARD 2000
2222 年出版963 页ISBN：0471491772
STANARD METHODS FOR ANALYSIS AND TESTING OF PETROLEUM AND RELATED PRODUCTS AND BRITISH STANDARD 2000
2222 年出版1005 页ISBN：0471491772
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN：9783540768043
LECTURE NOTES IN MATHEMATICS 1336: SEMI-CLASSICAL ANALYSIS FOR THE SCHRODINGER OPERATOR AND APPLICAT
1988 年出版110 页ISBN：3540500766;0387500766
