E-Learning and Games |
- isbn : 978-3-319-65849-0
- pisbn : 978-3-319-65848-3
- doi : 10.1007/978-3-319-65849-0
|
Fulltext
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction |
- isbn : 978-3-319-65813-1
- pisbn : 978-3-319-65812-4
- doi : 10.1007/978-3-319-65813-1
|
Fulltext
|
Medical Image Computing and Computer-Assisted Intervention ? MICCAI 2017 |
- isbn : 978-3-319-66185-8
- pisbn : 978-3-319-66184-1
- doi : 10.1007/978-3-319-66185-8
|
Fulltext
|
Interactive Theorem Proving |
- isbn : 978-3-319-66107-0
- pisbn : 978-3-319-66106-3
- doi : 10.1007/978-3-319-66107-0
|
Fulltext
|
Enhanced Quality of Life and Smart Living |
- isbn : 978-3-319-66188-9
- pisbn : 978-3-319-66187-2
- doi : 10.1007/978-3-319-66188-9
|
Fulltext
|
Principles and Practice of Constraint Programming |
- isbn : 978-3-319-66158-2
- pisbn : 978-3-319-66157-5
- doi : 10.1007/978-3-319-66158-2
|
Fulltext
|
Software Engineering and Formal Methods |
- isbn : 978-3-319-66197-1
- pisbn : 978-3-319-66196-4
- doi : 10.1007/978-3-319-66197-1
|
Fulltext
|
Computer Safety, Reliability, and Security |
- isbn : 978-3-319-66266-4
- pisbn : 978-3-319-66265-7
- doi : 10.1007/978-3-319-66266-4
|
Fulltext
|
Computer Safety, Reliability, and Security |
- isbn : 978-3-319-66284-8
- pisbn : 978-3-319-66283-1
- doi : 10.1007/978-3-319-66284-8
|
Fulltext
|
Theory and Applications of Satisfiability Testing – SAT 2017 |
- isbn : 978-3-319-66263-3
- pisbn : 978-3-319-66262-6
- doi : 10.1007/978-3-319-66263-3
|
Fulltext
|