Integrated Formal Methods |
- pisbn : 978-3-319-10180-4
- isbn : 978-3-319-10181-1
- doi : 10.1007/978-3-319-10181-1
|
Fulltext
|
Collaboration and Technology |
- isbn : 978-3-319-10166-8
- pisbn : 978-3-319-10165-1
- doi : 10.1007/978-3-319-10166-8
|
Fulltext
|
Mathematical Foundations of Computer Science 2014 |
- isbn : 978-3-662-44465-8
- pisbn : 978-3-662-44464-1
- doi : 10.1007/978-3-662-44465-8
|
Fulltext
|
Constructive Side-Channel Analysis and Secure Design |
- pisbn : 978-3-319-10174-3
- isbn : 978-3-319-10175-0
- doi : 10.1007/978-3-319-10175-0
|
Fulltext
|
Multiple Access Communications |
- pisbn : 978-3-319-10261-0
- isbn : 978-3-319-10262-7
- doi : 10.1007/978-3-319-10262-7
|
Fulltext
|
Mathematical Foundations of Computer Science 2014 |
- pisbn : 978-3-662-44521-1
- isbn : 978-3-662-44522-8
- doi : 10.1007/978-3-662-44522-8
|
Fulltext
|
Information Technology in Bio- and Medical Informatics |
- pisbn : 978-3-319-10264-1
- isbn : 978-3-319-10265-8
- doi : 10.1007/978-3-319-10265-8
|
Fulltext
|
Business Process Management |
- isbn : 978-3-319-10172-9
- pisbn : 978-3-319-10171-2
- doi : 10.1007/978-3-319-10172-9
|
Fulltext
|
Theoretical Computer Science |
- pisbn : 978-3-662-44601-0
- isbn : 978-3-662-44602-7
- doi : 10.1007/978-3-662-44602-7
|
Fulltext
|
Augmented Environments for Computer-Assisted Interventions |
- pisbn : 978-3-319-10436-2
- isbn : 978-3-319-10437-9
- doi : 10.1007/978-3-319-10437-9
|
Fulltext
|