Lecture Notes in Computer Science 4808 Embedded and Ubiquitous Computing International Conference
EUC 20072007 年出版769 页ISBN:9783540770916
Lecture Notes in Computer Science 4096 Embedded and Ubiquitous Computing International Conference
EUC 20062006 年出版1170 页ISBN:3540366792
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Computer Science 3211 Image Analysis and Recognition International Conference
ICIAR 2004 Part I2004 年出版880 页ISBN:3540232230
Lecture Notes in Computer Science 3212 Image Analysis and Recognition International Conference
ICIAR 2004 Part II2004 年出版862 页ISBN:3540232400
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN:
Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL
2007 年出版290 页ISBN:9783540749837
Lecture Notes in Computer Science 3341 Algorithms and Computation 15th International Symposium
ISAAC 20042004 年出版935 页ISBN:3540241310
Lecture Notes in Computer Science 4288 Algorithms and Computation 17th International Symposium
ISAAC 20062006 年出版766 页ISBN:9783540496946