| Logic, Rationality, and Interaction |
- isbn : 978-3-662-55665-8
- pisbn : 978-3-662-55664-1
|
Fulltext
|
| Algorithms and Architectures for Parallel Processing |
- isbn : 978-3-319-65482-9
- pisbn : 978-3-319-65481-2
|
Fulltext
|
| Formal Modeling and Analysis of Timed Systems |
- isbn : 978-3-319-65765-3
- pisbn : 978-3-319-65764-6
|
Fulltext
|
| E-Learning and Games |
- isbn : 978-3-319-65849-0
- pisbn : 978-3-319-65848-3
|
Fulltext
|
| Software Architecture |
- isbn : 978-3-319-65831-5
- pisbn : 978-3-319-65830-8
|
Fulltext
|
| Experimental IR Meets Multilinguality, Multimodality, and Interaction |
- isbn : 978-3-319-65813-1
- pisbn : 978-3-319-65812-4
|
Fulltext
|
| Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII |
- isbn : 978-3-662-55696-2
- pisbn : 978-3-662-55695-5
|
Fulltext
|
| Software Engineering for Resilient Systems |
- isbn : 978-3-319-65948-0
- pisbn : 978-3-319-65947-3
|
Fulltext
|
| Interactive Theorem Proving |
- isbn : 978-3-319-66107-0
- pisbn : 978-3-319-66106-3
|
Fulltext
|
| Enhanced Quality of Life and Smart Living |
- isbn : 978-3-319-66188-9
- pisbn : 978-3-319-66187-2
|
Fulltext
|