Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21413-9
- pisbn : 978-3-319-21412-2
|
Fulltext
|
Automated Deduction - CADE-25 |
- isbn : 978-3-319-21401-6
- pisbn : 978-3-319-21400-9
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21470-2
- pisbn : 978-3-319-21469-6
|
Fulltext
|
Constructive Side-Channel Analysis and Secure Design |
- isbn : 978-3-319-21476-4
- pisbn : 978-3-319-21475-7
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21410-8
- pisbn : 978-3-319-21409-2
|
Fulltext
|
Rule Technologies: Foundations, Tools, and Applications |
- isbn : 978-3-319-21542-6
- pisbn : 978-3-319-21541-9
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-319-21668-3
- pisbn : 978-3-319-21667-6
|
Fulltext
|
Developments in Language Theory |
- isbn : 978-3-319-21500-6
- pisbn : 978-3-319-21499-3
|
Fulltext
|
Stabilization, Safety, and Security of Distributed Systems |
- isbn : 978-3-319-21741-3
- pisbn : 978-3-319-21740-6
|
Fulltext
|
Computational Social Networks |
- isbn : 978-3-319-21786-4
- pisbn : 978-3-319-21785-7
|
Fulltext
|