Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems
2006 年出版404 页ISBN:9783540482659
Lecture Notes in Computer Science 3948 Cognitive Vision Systems Sampling the Spectrum of Approaches
2006 年出版365 页ISBN:354033971X
Lecture Notes in Computer Science 2965 Performance Tools and Applications to Networked Systems Revis
2004 年出版384 页ISBN:3540219455
Lecture Notes in Computer Science 1386 Hybrid Systems:Computation and Control First International Wo
HSCC981998 年出版415 页ISBN:3540643583
Lecture Notes in Computer Science 3061 Advanced Distributed Systems Third International School and S
ISSADS 20042004 年出版285 页ISBN:3540221727
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN:3540287019
Lecture Notes in Computer Science 4524 Web Reasoning and Rule Systems First International Conference
RR 20072007 年出版382 页ISBN:9783540729815
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN:3540331700