| Verified Software: Theories, Tools, and Experiments |
- isbn : 978-3-319-29613-5
- pisbn : 978-3-319-29612-8
|
Fulltext
|
| Intelligent Information and Database Systems |
- isbn : 978-3-662-49390-8
- pisbn : 978-3-662-49389-2
|
Fulltext
|
| Intelligent Information and Database Systems |
- isbn : 978-3-662-49381-6
- pisbn : 978-3-662-49380-9
|
Fulltext
|
| Information and Communications Security |
- isbn : 978-3-319-29814-6
- pisbn : 978-3-319-29813-9
|
Fulltext
|
| Data Privacy Management, and Security Assurance |
- isbn : 978-3-319-29883-2
- pisbn : 978-3-319-29882-5
|
Fulltext
|
| Algorithmic Aspects of Cloud Computing |
- isbn : 978-3-319-29919-8
- pisbn : 978-3-319-29918-1
|
Fulltext
|
| Technology and Practice of Passwords |
- isbn : 978-3-319-29938-9
- pisbn : 978-3-319-29937-2
|
Fulltext
|
| Language and Automata Theory and Applications |
- isbn : 978-3-319-30000-9
- pisbn : 978-3-319-29999-0
|
Fulltext
|
| Computer-Assisted and Robotic Endoscopy |
- isbn : 978-3-319-29965-5
- pisbn : 978-3-319-29964-8
|
Fulltext
|
| Graphical Models for Security |
- isbn : 978-3-319-29968-6
- pisbn : 978-3-319-29967-9
|
Fulltext
|