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:
ARTIFICIAL INTELLIGENCE IN COMPUTATIONAL ENGINEERING
2222 年出版254 页ISBN:0130482730