Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN：9783540732297
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Statistics 142 Bilinear Stochastic Models and Related Problems of Nonlinear Time Se
Gyorgy Terdik1999 年出版262 页ISBN：
Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN：3540209271
Lecture Notes in Bioinformatics 4115 Computational Intelligence and Bioinformatics International Con
ICIC 20062006 年出版800 页ISBN：3540372776
Lecture Notes in Artificial Intelligence 4021 Perception and Interactive Technologies International
PIT 20062006 年出版217 页ISBN：3540347437
Lecture Notes in Artificial Intelligence 3881 Gesture in Human-Computer Interaction and Simulation 6
GW 20052006 年出版344 页ISBN：3540326243
