| Detection of Intrusions and Malware, and Vulnerability Assessment |
- isbn : 978-3-540-31645-9
- pisbn : 978-3-540-26613-6
|
Fulltext
|
| Embedded Computer Systems: Architectures, Modeling, and Simulation |
- isbn : 978-3-540-31664-0
- pisbn : 978-3-540-26969-4
|
Fulltext
|
| Reasoning Web |
- isbn : 978-3-540-31675-6
- pisbn : 978-3-540-27828-3
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Theory and Applications of Satisfiability Testing |
- isbn : 978-3-540-31679-4
- pisbn : 978-3-540-26276-3
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Advances in Cryptology – EUROCRYPT 2005 |
- pisbn : 978-3-540-25910-7
- isbn : 978-3-540-32055-5
|
Fulltext
|
|
|
Fulltext
|