LECTURE NOTES IN MATHEMATICS 1326: ELLIPTIC CURVES AND MODULAR FORMS IN ALGEBRAIC TOPOLOGY
1988 年出版224 页ISBN:3540194908;0387194908
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Control and Information Sciences 31 Projection Methods in Constrained Optimisation
Berc Rustem1981 年出版315 页ISBN:
Lecture Notes in Computer Science 3807 Web Information Systems Engineering-WISE 2005 Workshops WISE
2005 年出版275 页ISBN:354030018X
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN:354045778X
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN: