Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN:3540353623
Lecture Notes in Computer Science 3667 Spatial Coherence for Visual Motion Analysis First Internatio
SCVMA 20042006 年出版141 页ISBN:3540325336
Lecture Notes In Control and Information Sciences 366 Lagrangian and Hamiltonian Methods For Nonline
Francesco Bullo2007 年出版398 页ISBN:
Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern
Activities and Relationships2007 年出版360 页ISBN:
WORKING OUT WITH AUTOCAD An Exercise Book For Building Professional CAD Skills
1987 年出版369 页ISBN:0934035105
ORDINARY DIFFERENTIAL EQUATIONS WITH MODERN APPLICATIONS THIRD EDITION
N.FINIZIO AND G.LADAS2222 年出版361 页ISBN:0534092160
Textbook of biochemistry with clinical correlations sixth edition
edited by Thomas M. Devlin2006 年出版1208 页ISBN:0471678082