Results
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
© 2016
Soft cover - Print (ISBN: 978-3-319-41134-7)
Electronic (ISBN: 978-3-319-41135-4)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-41135-4