| Agents and Data Mining Interaction |
- isbn : 978-3-642-27609-5
- pisbn : 978-3-642-27608-8
|
Fulltext
|
| Computation, Physics and Beyond |
- isbn : 978-3-642-27654-5
- pisbn : 978-3-642-27653-8
|
Fulltext
|
| Practical Aspects of Declarative Languages |
- isbn : 978-3-642-27694-1
- pisbn : 978-3-642-27693-4
|
Fulltext
|
| Knowledge Representation for Health-Care |
- isbn : 978-3-642-27697-2
- pisbn : 978-3-642-27696-5
|
Fulltext
|
| Verified Software: Theories, Tools, Experiments |
- isbn : 978-3-642-27705-4
- pisbn : 978-3-642-27704-7
|
Fulltext
|
| Data Engineering and Management |
- isbn : 978-3-642-27872-3
- pisbn : 978-3-642-27871-6
|
Fulltext
|
| Information Security Applications |
- isbn : 978-3-642-27890-7
- pisbn : 978-3-642-27889-1
|
Fulltext
|
| Topics in Cryptology - CT-RSA 2012 |
- isbn : 978-3-642-27954-6
- pisbn : 978-3-642-27953-9
|
Fulltext
|
| Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-642-27940-9
- pisbn : 978-3-642-27939-3
|
Fulltext
|
| Foundations and Practice of Security |
- isbn : 978-3-642-27901-0
- pisbn : 978-3-642-27900-3
|
Fulltext
|