| Model Checking Software |
- isbn : 978-3-642-02652-2
- pisbn : 978-3-642-02651-5
|
Fulltext
|
| Model Driven Architecture - Foundations and Applications |
- isbn : 978-3-642-02674-4
- pisbn : 978-3-642-02673-7
|
Fulltext
|
| Detection of Intrusions and Malware, and Vulnerability Assessment |
- isbn : 978-3-642-02918-9
- pisbn : 978-3-642-02917-2
|
Fulltext
|
| Theory and Applications of Satisfiability Testing - SAT 2009 |
- pisbn : 978-3-642-02776-5
- isbn : 978-3-642-02777-2
|
Fulltext
|
|
|
Fulltext
|
| Tests and Proofs |
- isbn : 978-3-642-02949-3
- pisbn : 978-3-642-02948-6
|
Fulltext
|
| Algorithmics of Large and Complex Networks |
- isbn : 978-3-642-02094-0
- pisbn : 978-3-642-02093-3
|
Fulltext
|
| Software Composition |
- isbn : 978-3-642-02655-3
- pisbn : 978-3-642-02654-6
|
Fulltext
|
|
|
Fulltext
|
| Advances in Spatial and Temporal Databases |
- pisbn : 978-3-642-02981-3
- isbn : 978-3-642-02982-0
|
Fulltext
|