Pastāsti draugiem par šo preci:
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Lecture Notes in Computer Science
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;
446 pages, 49 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2016. gada 31. maijs |
| ISBN13 | 9783319341705 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 425 |
| Izmēri | 155 × 235 × 23 mm · 682 g |
| Valoda | Vācu |
| Redaktors | Kulikov, Alexander S. |
| Redaktors | Woeginger, Gerhard J. |