Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Computer Science – Theory and Applications
- 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Engelsk Paperback
Computer Science – Theory and Applications
- 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;
Product detaljer
Sprog:
Engelsk
Sider:
425
ISBN-13:
9783319341705
Indbinding:
Paperback
Udgave:
ISBN-10:
3319341707
Udg. Dato:
31 maj 2016
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
31 maj 2016
Forfatter(e):
Kategori sammenhænge