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 Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN:
Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN:3540397280
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN:3540232125
Lecture Notes in Artificial Intelligence 3881 Gesture in Human-Computer Interaction and Simulation 6
GW 20052006 年出版344 页ISBN:3540326243
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN:3540574999