Approximation and Online Algorithms |
- isbn : 978-3-319-28684-6
- pisbn : 978-3-319-28683-9
- doi : 10.1007/978-3-319-28684-6
|
Fulltext
|
Software Engineering and Formal Methods |
- isbn : 978-3-662-49224-6
- pisbn : 978-3-662-49223-9
- doi : 10.1007/978-3-662-49224-6
|
Fulltext
|
RoboCup 2015: Robot World Cup XIX |
- isbn : 978-3-319-29339-4
- pisbn : 978-3-319-29338-7
- doi : 10.1007/978-3-319-29339-4
|
Fulltext
|
Logical Foundations of Computer Science |
- isbn : 978-3-319-27683-0
- pisbn : 978-3-319-27682-3
- doi : 10.1007/978-3-319-27683-0
|
Fulltext
|
Theory of Cryptography |
- isbn : 978-3-662-49099-0
- pisbn : 978-3-662-49098-3
- doi : 10.1007/978-3-662-49099-0
|
Fulltext
|
Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-662-49122-5
- pisbn : 978-3-662-49121-8
- doi : 10.1007/978-3-662-49122-5
|
Fulltext
|
Advances in Network Science |
- isbn : 978-3-319-28361-6
- pisbn : 978-3-319-28360-9
- doi : 10.1007/978-3-319-28361-6
|
Fulltext
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges |
- isbn : 978-3-319-28712-6
- pisbn : 978-3-319-28711-9
- doi : 10.1007/978-3-319-28712-6
|
Fulltext
|
Trustworthy Global Computing |
- isbn : 978-3-319-28766-9
- pisbn : 978-3-319-28765-2
- doi : 10.1007/978-3-319-28766-9
|
Fulltext
|
Formal Aspects of Component Software |
- isbn : 978-3-319-28934-2
- pisbn : 978-3-319-28933-5
- doi : 10.1007/978-3-319-28934-2
|
Fulltext
|