Hoppa till sidans huvudinnehåll

Xingyuan Zhang – författare

Visar alla böcker från författaren .
3 produkter
Christian Urban, Xingyuan Zhang - Interactive Theorem Proving, Häftad
Del 9236 - Lecture Notes in Computer Science

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

AvChristian Urban,Xingyuan Zhang

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Naoto Jinji, Xingyuan Zhang, Shoji Haruna - Deep Integration, Global Firms, and Technology Spillovers, Inbunden

Deep Integration, Global Firms, and Technology Spillovers

AvNaoto Jinji,Xingyuan Zhangm. fl.

Inbunden, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar

Naoto Jinji, Xingyuan Zhang, Shoji Haruna - Deep Integration, Global Firms, and Technology Spillovers, Häftad

Deep Integration, Global Firms, and Technology Spillovers

AvNaoto Jinji,Xingyuan Zhangm. fl.

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar