Automated Deduction in Geometry |
- isbn : 978-3-319-21362-0
- pisbn : 978-3-319-21361-3
- doi : 10.1007/978-3-319-21362-0
|
Fulltext
|
Cryptography and Information Security in the Balkans |
- isbn : 978-3-319-21356-9
- pisbn : 978-3-319-21355-2
- doi : 10.1007/978-3-319-21356-9
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21404-7
- pisbn : 978-3-319-21403-0
- doi : 10.1007/978-3-319-21404-7
|
Fulltext
|
Computing and Combinatorics |
- isbn : 978-3-319-21398-9
- pisbn : 978-3-319-21397-2
- doi : 10.1007/978-3-319-21398-9
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21413-9
- pisbn : 978-3-319-21412-2
- doi : 10.1007/978-3-319-21413-9
|
Fulltext
|
Automated Deduction - CADE-25 |
- isbn : 978-3-319-21401-6
- pisbn : 978-3-319-21400-9
- doi : 10.1007/978-3-319-21401-6
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21470-2
- pisbn : 978-3-319-21469-6
- doi : 10.1007/978-3-319-21470-2
|
Fulltext
|
Developments in Language Theory |
- isbn : 978-3-319-21500-6
- pisbn : 978-3-319-21499-3
- doi : 10.1007/978-3-319-21500-6
|
Fulltext
|
Stabilization, Safety, and Security of Distributed Systems |
- isbn : 978-3-319-21741-3
- pisbn : 978-3-319-21740-6
- doi : 10.1007/978-3-319-21741-3
|
Fulltext
|
Computational Social Networks |
- isbn : 978-3-319-21786-4
- pisbn : 978-3-319-21785-7
- doi : 10.1007/978-3-319-21786-4
|
Fulltext
|