| Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications |
- isbn : 978-3-319-47169-3
- pisbn : 978-3-319-47168-6
|
Fulltext
|
| Brain Informatics and Health |
- isbn : 978-3-319-47103-7
- pisbn : 978-3-319-47102-0
|
Fulltext
|
| Rough Sets |
- isbn : 978-3-319-47160-0
- pisbn : 978-3-319-47159-4
|
Fulltext
|
| Machine Learning in Medical Imaging |
- isbn : 978-3-319-47157-0
- pisbn : 978-3-319-47156-3
|
Fulltext
|
| Innovative Security Solutions for Information Technology and Communications |
- isbn : 978-3-319-47238-6
- pisbn : 978-3-319-47237-9
|
Fulltext
|
| Transactions on Computational Collective Intelligence XXV |
- isbn : 978-3-662-53580-6
- pisbn : 978-3-662-53579-0
|
Fulltext
|
| Provable Security |
- isbn : 978-3-319-47422-9
- pisbn : 978-3-319-47421-2
|
Fulltext
|
| Decision and Game Theory for Security |
- isbn : 978-3-319-47413-7
- pisbn : 978-3-319-47412-0
|
Fulltext
|
| Social Robotics |
- isbn : 978-3-319-47437-3
- pisbn : 978-3-319-47436-6
|
Fulltext
|
| Advances in Web-Based Learning – ICWL 2016 |
- isbn : 978-3-319-47440-3
- pisbn : 978-3-319-47439-7
|
Fulltext
|