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 779 Advances in Database Technology-EDBT'94 4th International Conf
United Kingdom1994 年出版406 页ISBN:
Lecture Notes in Computer Science 3293 Web Content Caching and Distribution 9th International Worksh
WCW 20042004 年出版285 页ISBN:3540235167
Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos
CBSE 20052005 年出版358 页ISBN:3540258779
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN:3540331700
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543
Lecture Notes in Computer Science 4654 Data Warehousing and Knowledge Discovery 9th International Co
DaWaK 20072007 年出版482 页ISBN:9783540745525
Lecture Notes in Computer Science 4080 Database and Expert Systems Applications 17th International C
DEXA 20062006 年出版959 页ISBN:3540378715