Lecture Notes in Computer Science 3697 Artificial Neural Networks:Formal Models and Their Applicatio
2005 年出版1045 页ISBN:3540287558
Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems
2006 年出版404 页ISBN:9783540482659
Lecture Notes in Computer Science 3880 Transactions on Aspect-Oriented Software Development I
2006 年出版335 页ISBN:3540329722
Lecture Notes in Computer Science 3530 SDL 2005:Model Driven 12th International SDL Forum
2005 年出版361 页ISBN:3540266127
Lecture Notes in Computer Science 3028 Probabilistic and Statistical Methods in Cryptology An Introd
2004 年出版158 页ISBN:3540220011
Lecture Notes in Computer Science 4161 Entertainment Computing-ICEC 2006 5th International Conferenc
2006 年出版417 页ISBN:3540452591
Lecture Notes in Computer Science 3221 Algorithms-ESA 2004 12th Annual European Symposium
2004 年出版836 页ISBN:3540230254
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN:9783540496991
Lecture Notes in Computer Science 4561 Digital Human Modeling First International Conference on Digi
2007 年出版1068 页ISBN:9783540733188
Lecture Notes in Computer Science 3379 From Integrated Publication and Information Systems to Virtua
2005 年出版320 页ISBN:3540245510