| Formal Methods for Industrial Critical Systems |
- isbn : 978-3-030-00244-2
- pisbn : 978-3-030-00243-5
|
Fulltext
|
| Reachability Problems |
- isbn : 978-3-030-00250-3
- pisbn : 978-3-030-00249-7
|
Fulltext
|
| Enjoying Natural Computing |
- isbn : 978-3-030-00265-7
- pisbn : 978-3-030-00264-0
|
Fulltext
|
| Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-030-00256-5
- pisbn : 978-3-030-00255-8
|
Fulltext
|
| Data Privacy Management, Cryptocurrencies and Blockchain Technology |
- isbn : 978-3-030-00305-0
- pisbn : 978-3-030-00304-3
|
Fulltext
|
| RoboCup 2017: Robot World Cup XXI |
- isbn : 978-3-030-00308-1
- pisbn : 978-3-030-00307-4
|
Fulltext
|
| Verification and Evaluation of Computer and Communication Systems |
- isbn : 978-3-030-00359-3
- pisbn : 978-3-030-00358-6
|
Fulltext
|
| PRedictive Intelligence in MEdicine |
- isbn : 978-3-030-00320-3
- pisbn : 978-3-030-00319-7
|
Fulltext
|
| Reasoning Web. Learning, Uncertainty, Streaming, and Scalability |
- isbn : 978-3-030-00338-8
- pisbn : 978-3-030-00337-1
|
Fulltext
|
| Programming with Actors |
- isbn : 978-3-030-00302-9
- pisbn : 978-3-030-00301-2
|
Fulltext
|