Lecture Notes in Computer Science 111 CONPAR 81 Conference on Analysing Problem Classes and Programm
1981 年出版508 页ISBN：3540108270
NUMERICAL METHODS IN FLUID DYNAMICS
N.N.YANENKO AND YU.I.SHOKIN1984 年出版336 页ISBN：
Lecture Notes in Computer Science 3958 Public Key Cryptography-PKC 2006 9th International Conference
2006 年出版543 页ISBN：3540338519
Lecture Notes in Computer Science 686 New Trends in Neural Computation International Workshop on Art
IWANN931993 年出版746 页ISBN：3540567984
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 3912 Active Networks IFIP TC6 6th International Working Conference
IWAN 20042007 年出版218 页ISBN：9783540714996
Lecture Notes in Computer Science 4033 Performability Has its Price 5th International Workshop on In
ICQT 20062006 年出版106 页ISBN：3540354565
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
