Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN：9783540496991
Lecture Notes in Computer Science 4469:Technologies for E-Learning and Digital Entertainment
2007 年出版974 页ISBN：9783540730101
Lecture Notes in Computer Science 4716 Software Engineering Approaches for Offshore and Outsourced D
SEAFOOD 20072007 年出版201 页ISBN：9783540755418
Lecture Notes in Computer Science 3926 Graphics Recognition Ten Years Review and Future Perspectives
GREC 20052006 年出版428 页ISBN：3540347119
Lecture Notes in Computer Science 4748 Formal Methds and Stochastic Models for Percformance Evaluati
EPEW 20072007 年出版300 页ISBN：9783540752103
Lecture Notes in Computer Science 4214 Quality of Software Architectures and Software Quality Second
QoSA 20062006 年出版213 页ISBN：9783540488194
Lecture Notes in Computer Science 3793 High Performance Embedded Architectures and Compilers First I
HiPEAC 20052005 年出版317 页ISBN：3540303170
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 4235 Combinatorial and Algorithmic Aspects of Networking Third Wor
CAAN 20062006 年出版134 页ISBN：9783540488224
