| Recent Trends in Algebraic Development Techniques |
- isbn : 978-3-319-72044-9
- pisbn : 978-3-319-72043-2
|
Fulltext
|
| Logical Foundations of Computer Science |
- isbn : 978-3-319-72056-2
- pisbn : 978-3-319-72055-5
|
Fulltext
|
| Internet of Vehicles. Technologies and Services for Smart Cities |
- isbn : 978-3-319-72329-7
- pisbn : 978-3-319-72328-0
|
Fulltext
|
| Verified Software. Theories, Tools, and Experiments |
- isbn : 978-3-319-72308-2
- pisbn : 978-3-319-72307-5
|
Fulltext
|
| Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVI |
- isbn : 978-3-662-56266-6
- pisbn : 978-3-662-56265-9
|
Fulltext
|
| Distributed Computing and Internet Technology |
- isbn : 978-3-319-72344-0
- pisbn : 978-3-319-72343-3
|
Fulltext
|
| Virtual Reality and Augmented Reality |
- isbn : 978-3-319-72323-5
- pisbn : 978-3-319-72322-8
|
Fulltext
|
| Information Theoretic Security |
- isbn : 978-3-319-72089-0
- pisbn : 978-3-319-72088-3
|
Fulltext
|
| Security, Privacy, and Anonymity in Computation, Communication, and Storage |
- isbn : 978-3-319-72395-2
- pisbn : 978-3-319-72394-5
|
Fulltext
|
| Security, Privacy, and Anonymity in Computation, Communication, and Storage |
- isbn : 978-3-319-72389-1
- pisbn : 978-3-319-72388-4
|
Fulltext
|