Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
OBJECT-ORIENTED PROGRAMMING USING C++ THIRD EDITION
JOYCE FARRELL著2222 年出版731 页ISBN：9781418836269
BROADCAST/CABLE PROGRAMMING STRATEGIES AND PRACTICES FOURTH EDITION
SUSAN TYLER EASTMAN1993 年出版588 页ISBN：
METHODS IN ENZYMOLOGY VOLUME 190 RETINOIDS PART B CELL DIFFERENTIATION AND CLINICAL APPLICATIONS
LESTER PACKER2222 年出版488 页ISBN：0121820912
Elementary Computer Programming In Fortran IV 2nd Edition
1980 年出版482 页ISBN：0835916480
BROADCAST/CABLE PROGRAMMING:STRATEGIES AND PRACTICES FIFTH EDITION
SUSAN TYLER EASTMAN DOUGLAS A.FERGUSON1997 年出版471 页ISBN：0534507441
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
INTRODUCTION TO MODERN METHODS OF QUANTUM MANY-BODY THEORY AND THEIR APPLICATIONS
ADELCHI FABROCINI2002 年出版413 页ISBN：
APPROXIMATION AND WEAK CONVERGENCE METHODS FOR RANDOM PROCESSES，WITH APPLICATIONS TO STOCHASTIC SYST
HAROLD J.KUSHNER2222 年出版269 页ISBN：0262110903
