| 007 情報学・情報科学 |
Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 7273) |
Springer |
978-3-642-30792-8 |
| 007 情報学・情報科学 |
Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Lecture Notes in Computer Science, 3731) |
Springer |
978-3-540-29189-3 |
| 007 情報学・情報科学 |
Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 6528) |
Springer |
978-3-642-18069-9 |
| 007 情報学・情報科学 |
Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 7421) |
Springer |
978-3-642-31761-3 |
| 41 数学 |
Forme differenziali e loro integrali (C.I.M.E. Summer Schools, 22) |
Springer |
978-3-642-10951-5 |
| 41 数学 |
Formulas Useful for Linear Regression Analysis and Related Matrix Theory (SpringerBriefs in Statistics) |
Springer |
978-3-642-32930-2 |
| 41 数学 |
Forward-Backward Stochastic Differential Equations and their Applications (Lecture Notes in Mathematics, 1702) |
Springer |
978-3-540-65960-0 |
| 007 情報学・情報科学 |
Foundational and Practical Aspects of Resource Analysis (Lecture Notes in Computer Science, 7177) |
Springer |
978-3-642-32494-9 |
| 007 情報学・情報科学 |
Foundational Java |
Springer |
978-1-4471-2478-8 |
| 41 数学 |
Foundations and Applications of Mis (IFSR International Series on Systems Science and Engineering, 24) |
Springer |
978-0-387-31414-3 |
| 007 情報学・情報科学 |
Foundations and Practice of Security (Lecture Notes in Computer Science, 6888) |
Springer |
978-3-642-27900-3 |
| 007 情報学・情報科学 |
Foundations for the Web of Information and Services |
Springer |
978-3-642-19796-3 |
| 41 数学 |
Foundations of Abstract Analysis |
Springer |
978-1-4614-5961-3 |
| 007 情報学・情報科学 |
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) |
Springer |
978-3-642-17335-6 |
| 007 情報学・情報科学 |
Foundations of Augmented Cognition. Directing the Future of Adaptive Systems (Lecture Notes in Computer Science, 6780) |
Springer |
978-3-642-21851-4 |
| 007 情報学・情報科学 |
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems (Lecture Notes in Computer Science, 6662) |
Springer |
978-3-642-21291-8 |
| 007 情報学・情報科学 |
Foundations of Generic Optimization (Mathematical Modelling: Theory and Applications, 20) |
Springer |
978-1-4020-3666-8 |
| 41 数学 |
Foundations of Generic Optimization (Mathematical Modelling: Theory and Applications, 24) |
Springer |
978-1-4020-6667-2 |
| 007 情報学・情報科学 |
Foundations of Genetic Algorithms (Lecture Notes in Computer Science, 3469) |
Springer |
978-3-540-27237-3 |
| 41 数学 |
Foundations of Geometric Algebra Computing (Geometry and Computing, 8) |
Springer |
978-3-642-31793-4 |