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
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN：9783540756637
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4521 Applied Cryptography and Network Security 5th International C
ACNS 20072007 年出版498 页ISBN：9783540727378
Lecture Notes in Computer Science 4150 Ant Colony Optimization and Swarm Intelligence 5th Internatio
ANTS 20062006 年出版526 页ISBN：3540384820
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 4199 Model Driven Engineering Languages and Systems 9th Internatio
MODELS 20062006 年出版794 页ISBN：3540457720
Lecture Notes in Computer Science 4852 Combinatorial and Algorithmic Aspects of Networking 4TH Works
CAAN 20072007 年出版149 页ISBN：9783540772934
