| 41 数学 |
Variétés différentielles et analytiques |
Springer |
978-3-540-34396-7 |
| 41 数学 |
Vector Analysis Versus Vector Calculus (Universitext) |
Springer |
978-1-4614-2199-3 |
| 41 数学 |
Vector fields on Singular Varieties (Lecture Notes in Mathematics, 1987) |
Springer |
978-3-642-05204-0 |
| 41 数学 |
Vector Measures, Integration and Related Topics (Operator Theory: Advances and Applications, 201) |
Springer |
978-3-0346-0210-5 |
| 41 数学 |
Vector-valued Laplace Transforms and Cauchy Problems (Monographs in Mathematics, 96) |
Springer |
978-3-0348-0086-0 |
| 41 数学 |
Vedute e problemi attuali in relatività generale (C.I.M.E. Summer Schools, 15) |
Springer |
978-3-642-10900-3 |
| 41 数学 |
Verification and Control of Hybrid Systems |
Springer |
978-1-4419-0223-8 |
| 007 情報学・情報科学 |
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 3385) |
Springer |
978-3-540-24297-0 |
| 007 情報学・情報科学 |
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 6538) |
Springer |
978-3-642-18274-7 |
| 007 情報学・情報科学 |
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 7148) |
Springer |
978-3-642-27939-3 |
| 007 情報学・情報科学 |
Verified Software: Theories, Tools, Experiments (Lecture Notes in Computer Science, 7152) |
Springer |
978-3-642-27704-7 |
| 41 数学 |
Viability Theory |
Springer |
978-3-642-16683-9 |
| 41 数学 |
Viability Theory (Modern Birkhäuser Classics) |
Springer |
978-0-8176-4909-8 |
| 007 情報学・情報科学 |
Video Analysis and Repackaging for Distance Education |
Springer |
978-1-4614-3836-6 |
| 007 情報学・情報科学 |
Video Processing and Computational Video (Lecture Notes in Computer Science, 7082) |
Springer |
978-3-642-24869-6 |
| 007 情報学・情報科学 |
Video Processing in the Cloud (SpringerBriefs in Computer Science) |
Springer |
978-1-4471-2136-7 |
| 007 情報学・情報科学 |
Virtual and Mixed Reality - New Trends (Lecture Notes in Computer Science, 6773) |
Springer |
978-3-642-22020-3 |
| 007 情報学・情報科学 |
Virtual and Mixed Reality - Systems and Applications (Lecture Notes in Computer Science, 6774) |
Springer |
978-3-642-22023-4 |
| 007 情報学・情報科学 |
Virtual and Networked Organizations, Emergent Technologies and Tools (Communications in Computer and Information Science, 248) |
Springer |
978-3-642-31799-6 |
| 007 情報学・情報科学 |
Virtual Colonoscopy and Abdominal Imaging. Computational Challenges and Clinical Opportunities (Lecture Notes in Computer Science, 6668) |
Springer |
978-3-642-25718-6 |