| 41 数学 |
Model Based Parameter Estimation (Contributions in Mathematical and Computational Sciences, 4) |
Springer |
978-3-642-30366-1 |
| 007 情報学・情報科学 |
Model Checking and Artificial Intelligence (Lecture Notes in Computer Science, 6572) |
Springer |
978-3-642-20673-3 |
| 007 情報学・情報科学 |
Model Checking Software (Lecture Notes in Computer Science, 3639) |
Springer |
978-3-540-28195-5 |
| 007 情報学・情報科学 |
Model Checking Software (Lecture Notes in Computer Science, 6823) |
Springer |
978-3-642-22305-1 |
| 007 情報学・情報科学 |
Model Checking Software (Lecture Notes in Computer Science, 7385) |
Springer |
978-3-642-31758-3 |
| 007 情報学・情報科学 |
Model Driven Architecture (Lecture Notes in Computer Science, 3599) |
Springer |
978-3-540-28240-2 |
| 007 情報学・情報科学 |
Model Driven Architecture - Foundations and Applications (Lecture Notes in Computer Science, 3748) |
Springer |
978-3-540-30026-7 |
| 007 情報学・情報科学 |
Model Driven Engineering Languages and Systems (Lecture Notes in Computer Science, 3713) |
Springer |
978-3-540-29010-0 |
| 007 情報学・情報科学 |
Model Driven Engineering Languages and Systems (Lecture Notes in Computer Science, 6981) |
Springer |
978-3-642-24484-1 |
| 007 情報学・情報科学 |
Model Driven Engineering Languages and Systems (Lecture Notes in Computer Science, 7590) |
Springer |
978-3-642-33665-2 |
| 41 数学 |
Model Order Reduction: Theory, Research Aspects and Applications (Mathematics in Industry, 13) |
Springer |
978-3-540-78840-9 |
| 41 数学 |
Model Theory and Applications (C.I.M.E. Summer Schools, 69) |
Springer |
978-3-642-11119-8 |
| 41 数学 |
Model Theory in Algebra, Analysis and Arithmetic (Lecture Notes in Mathematics, 2111) |
Springer |
978-3-642-54935-9 |
| 007 情報学・情報科学 |
Model-Based Development and Evolution of Information Systems |
Springer |
978-1-4471-2935-6 |
| 007 情報学・情報科学 |
Model-Based Engineering of Embedded Systems |
Springer |
978-3-642-34613-2 |
| 007 情報学・情報科学 |
Model-Based Software Performance Analysis |
Springer |
978-3-642-13620-7 |
| 007 情報学・情報科学 |
Model-Based Testing of Reactive Systems (Lecture Notes in Computer Science, 3472) |
Springer |
978-3-540-26278-7 |
| 007 情報学・情報科学 |
Model-Driven Risk Analysis |
Springer |
978-3-642-12322-1 |
| 007 情報学・情報科学 |
Model-Driven Software Development |
Springer |
978-3-540-25613-7 |
| 41 数学 |
Modèles aléatoires (Mathématiques et Applications, 57) |
Springer |
978-3-540-33282-4 |