Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN：3540333398
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
CWI MONOGRAPHS 2 STABILITY OF RUNGE-KUTTA METHODS FOR STIFF NONLINEAR DIFFERENTIAL EQUATIONS
K.DEKKER J.G.VERWER2222 年出版307 页ISBN：0444876340
ORGANIC SYNTHESES AN ANNUAL PUBLICATION OF SATISFACTORY METHODS FOR THE PREPARATION OF ORGANIC CHEMI
1999 年出版340 页ISBN：0471348864
ACTION RESEARCH FOR IMPROVING EDUCATIONAL PRACTICE A STEP-BY-STEP GUIDE SECOND EDITION
2010 年出版160 页ISBN：9781848601604
Analecta Husserliana The Yearbook of Phenomenological Research Volume LXXXV The Enigma of Good Evil;
2005 年出版880 页ISBN：1402035756
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：
