Lecture Notes in Computer Science 3563 Advanced Distributed Ststems 5th International School and Sym
ISSADS 20052005 年出版558 页ISBN：3540280634
Lecture Notes in Computer Science 3414 Hybrid Systems:Computation and Control 8th International Work
HSCC 20052005 年出版684 页ISBN：3540251081
Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int
DEON 20062006 年出版273 页ISBN：3540358420
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
