| Form-Oriented Analysis |
Springer |
978-3-540-20593-7 |
Springer: Springer eBook Collection |
| Formal Approaches to Agent-Based Systems (Lecture Notes in Computer Science, 3228) |
Springer |
978-3-540-24422-6 |
Springer: Springer eBook Collection |
| Formal Approaches to Software Testing (Lecture Notes in Computer Science, 3395) |
Springer |
978-3-540-25109-5 |
Springer: Springer eBook Collection |
| Formal Aspects in Security and Trust (IFIP Advances in Information and Communication Technology, 173) |
Springer |
978-0-387-24050-3 |
Springer: Springer eBook Collection |
| Formal Aspects of Component Software (Lecture Notes in Computer Science, 6921) |
Springer |
978-3-642-27268-4 |
Springer: Springer eBook Collection |
| Formal Aspects of Component Software (Lecture Notes in Computer Science, 7253) |
Springer |
978-3-642-35742-8 |
Springer: Springer eBook Collection |
| Formal Aspects of Security and Trust (Lecture Notes in Computer Science, 6561) |
Springer |
978-3-642-19750-5 |
Springer: Springer eBook Collection |
| Formal Aspects of Security and Trust (Lecture Notes in Computer Science, 7140) |
Springer |
978-3-642-29419-8 |
Springer: Springer eBook Collection |
| Formal Concept Analysis (Lecture Notes in Computer Science, 3403) |
Springer |
978-3-540-24525-4 |
Springer: Springer eBook Collection |
| Formal Concept Analysis (Lecture Notes in Computer Science, 3626) |
Springer |
978-3-540-27891-7 |
Springer: Springer eBook Collection |
| Formal Concept Analysis (Lecture Notes in Computer Science, 6628) |
Springer |
978-3-642-20513-2 |
Springer: Springer eBook Collection |
| Formal Concept Analysis (Lecture Notes in Computer Science, 7278) |
Springer |
978-3-642-29891-2 |
Springer: Springer eBook Collection |
| Formal Grammar (Lecture Notes in Computer Science, 5591) |
Springer |
978-3-642-20168-4 |
Springer: Springer eBook Collection |
| Formal Grammar (Lecture Notes in Computer Science, 7395) |
Springer |
978-3-642-32023-1 |
Springer: Springer eBook Collection |
| Formal Methods and Software Engineering (Lecture Notes in Computer Science, 3785) |
Springer |
978-3-540-29797-0 |
Springer: Springer eBook Collection |
| Formal Methods and Software Engineering (Lecture Notes in Computer Science, 6991) |
Springer |
978-3-642-24558-9 |
Springer: Springer eBook Collection |
| Formal Methods and Software Engineering (Lecture Notes in Computer Science, 7635) |
Springer |
978-3-642-34280-6 |
Springer: Springer eBook Collection |
| Formal Methods for Components and Objects (Lecture Notes in Computer Science, 3657) |
Springer |
978-3-540-29131-2 |
Springer: Springer eBook Collection |
| Formal Methods for Components and Objects (Lecture Notes in Computer Science, 6957) |
Springer |
978-3-642-25270-9 |
Springer: Springer eBook Collection |
| Formal Methods for Eternal Networked Software Systems (Lecture Notes in Computer Science, 6659) |
Springer |
978-3-642-21454-7 |
Springer: Springer eBook Collection |