Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 4238 Management of Convergence Networks and Services 9th Asia-Paci
APNOMS 20062006 年出版605 页ISBN:3540457763
Lecture Notes in Computer Science 4549 Distributed Computing in Sensor Systems Third IEEE Internatio
DCOSS 20072007 年出版417 页ISBN:9783540730897
Lecture Notes in Computer Science 4026 Distributed Computing in Sensor Systems Second IEEE Internati
DCOSS 20062006 年出版566 页ISBN:3540352279
Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN:3540266550
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN:3540326545
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN:3540221743