Del 9236 - Lecture Notes in Computer Science
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Xingyuan Zhang – författare
Visar alla böcker från författaren Xingyuan Zhang.
3 produkter
3 produkter
- Del 26 - Advances in Japanese Business and Economics
Deep Integration, Global Firms, and Technology Spillovers
Inbunden, Engelska, 2021749 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2021
599 kr
Skickas inom 10-15 vardagar