| Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-662-46081-8
- pisbn : 978-3-662-46080-1
|
Fulltext
|
| Mining, Modeling, and Recommending 'Things' in Social Media |
- isbn : 978-3-319-14723-9
- pisbn : 978-3-319-14722-2
|
Fulltext
|
| Transactional Memory. Foundations, Algorithms, Tools, and Applications |
- isbn : 978-3-319-14720-8
- pisbn : 978-3-319-14719-2
|
Fulltext
|
| Artificial Life and Computational Intelligence |
- isbn : 978-3-319-14803-8
- pisbn : 978-3-319-14802-1
|
Fulltext
|
| Unifying Theories of Programming |
- isbn : 978-3-319-14806-9
- pisbn : 978-3-319-14805-2
|
Fulltext
|
| Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction |
- isbn : 978-3-319-14899-1
- pisbn : 978-3-319-14898-4
|
Fulltext
|
| Mathematical and Engineering Methods in Computer Science |
- isbn : 978-3-319-14896-0
- pisbn : 978-3-319-14895-3
|
Fulltext
|
| Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data |
- isbn : 978-3-319-14905-9
- pisbn : 978-3-319-14904-2
|
Fulltext
|
| Algorithms and Discrete Applied Mathematics |
- isbn : 978-3-319-14974-5
- pisbn : 978-3-319-14973-8
|
Fulltext
|
| Computer Algebra and Polynomials |
- isbn : 978-3-319-15081-9
- pisbn : 978-3-319-15080-2
|
Fulltext
|