| Computer Aided Verification |
- isbn : 978-3-642-14295-6
- pisbn : 978-3-642-14294-9
|
Fulltext
|
| Case-Based Reasoning |
- isbn : 978-3-642-14274-1
- pisbn : 978-3-642-14273-4
|
Fulltext
|
| Adaptive Multimedia Retrieval: Identifying, Summarizing, and Recommending Image and Music |
- pisbn : 978-3-642-14757-9
- isbn : 978-3-642-14758-6
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Automated Reasoning |
- isbn : 978-3-642-14203-1
- pisbn : 978-3-642-14202-4
|
Fulltext
|
| Interactive Theorem Proving |
- isbn : 978-3-642-14052-5
- pisbn : 978-3-642-14051-8
|
Fulltext
|
|
|
Fulltext
|
| Financial Cryptography and Data Security |
- pisbn : 978-3-642-14576-6
- isbn : 978-3-642-14577-3
|
Fulltext
|
|
|
Fulltext
|