Lecture Notes in Control and Information Sciences 31 Projection Methods in Constrained Optimisation
Berc Rustem1981 年出版315 页ISBN：
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：
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 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 461: COMPUTATIONAL MECHANICS
1975 年出版328 页ISBN：3540071695;0387071695
LECTURE NOTES IN MATHEMATICS 1552: LIE SEMIGROUPS AND THEIR APPLICATIONS
1993 年出版316 页ISBN：3540569545;0387569545
LECTURE NOTES IN MATHEMATICS 864: COMPLEX ANALYSIS AND SPECTRAL THEORY
1981 年出版480 页ISBN：3540106952;0387106952
LECTURE NOTES IN MATHEMATICS 1418: HOMOTOPY THEORY AND RELATED TOPICS
1990 年出版241 页ISBN：3540522468;0387522468
LECTURE NOTES IN MATHEMATICS 1168: HADAMARD MATRICES AND THEIR APPLICATIONS
1985 年出版227 页ISBN：3540160566;0387160566
