Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Structural Health Monitoring Of Composite Structures Using Fiber Optic Methods
Ginu Raja2016 年出版494 页ISBN:149873317
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN:3540331700
Lecture Notes in Computer Science 4781 Advances in Visual Information Systems 9th International Conf
VISUAL 20072007 年出版582 页ISBN:9783540764137
Lecture Notes in Computer Science 4080 Database and Expert Systems Applications 17th International C
DEXA 20062006 年出版959 页ISBN:3540378715
Lecture Notes in Computer Science 3414 Hybrid Systems:Computation and Control 8th International Work
HSCC 20052005 年出版684 页ISBN:3540251081
Lecture Notes in Computer Science 4416 Hybrid Systems:Computation and Control 10th International Wor
HSCC 20072007 年出版797 页ISBN:9783540714927
Lecture Notes in Computer Science 2993 Hybrid Systems:Computation and Control 7th International Work
HSCC 20042004 年出版674 页ISBN:3540212590