Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
NUMERICAL SOLUTIONS OF THREE CLASSES OF NONLINEAR PARABOLIC INTEGRO-DIFFERENTIAL EQUATIONS
TEMUR JANGVELADZE2016 年出版243 页ISBN:
METHODS IN ENZYMOLOGY VOLUME 190 RETINOIDS PART B CELL DIFFERENTIATION AND CLINICAL APPLICATIONS
LESTER PACKER2222 年出版488 页ISBN:0121820912
Numerical solution of Nonlinear Boundary Value Problems with Application
1983 年出版323 页ISBN:0136273645
Numerical computation of electric and magnetic fields second edition
1997 年出版260 页ISBN:0412086212
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 3485 Peer-to-Peer Systems and Applications
2005 年出版629 页ISBN:354029192X
VLSI AND COMPUTERS:FIRST INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY SYSTEMS AND APPLICATIONS
WALTER E.PROEBSTER AND HANS REINER2222 年出版1006 页ISBN:
Lecture Notes in Computer Science 3744 Mobility Aware Technologies and Applications Second Internati
MATA 20052005 年出版418 页ISBN:3540294104
Lecture Notes in Computer Science 3026 Software Engineering Research and Applications First Internat
SERA 20032004 年出版375 页ISBN:3540219757