| Security and Trust Management |
- isbn : 978-3-642-38004-4
- pisbn : 978-3-642-38003-7
|
Fulltext
|
| Multiple Classifier Systems |
- isbn : 978-3-642-38067-9
- pisbn : 978-3-642-38066-2
|
Fulltext
|
| Advances on Practical Applications of Agents and Multi-Agent Systems |
- pisbn : 978-3-642-38072-3
- isbn : 978-3-642-38073-0
|
Fulltext
|
| The Future Internet |
- isbn : 978-3-642-38082-2
- pisbn : 978-3-642-38081-5
|
Fulltext
|
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems |
- isbn : 978-3-642-38171-3
- pisbn : 978-3-642-38170-6
|
Fulltext
|
| Augmented Environments for Computer-Assisted Interventions |
- pisbn : 978-3-642-38084-6
- isbn : 978-3-642-38085-3
|
Fulltext
|
| Model-Based Methodologies for Pervasive and Embedded Software |
- isbn : 978-3-642-38209-3
- pisbn : 978-3-642-38208-6
|
Fulltext
|
|
|
Fulltext
|
| NASA Formal Methods |
- pisbn : 978-3-642-38087-7
- isbn : 978-3-642-38088-4
|
Fulltext
|
| Web Services and Formal Methods |
- isbn : 978-3-642-38230-7
- pisbn : 978-3-642-38229-1
|
Fulltext
|