Xingyuan Zhang – författare
Visar alla böcker från författaren Xingyuan Zhang. Handla med fri frakt och snabb leverans.
4 produkter
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Av Christian Urban, Xingyuan Zhang
Häftad, 2015
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations …
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Av Xingyuan Zhang, Christian Urban
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations …
Deep Integration, Global Firms, and Technology Spillovers
Av Naoto Jinji, Xingyuan Zhang m. fl.
Inbunden, 2021
568 kr
Lägg i varukorg
This open access book explores the impact of deep regional economic integration on spillovers of knowledge and technology across countries. Deep integration through signing deep regional trade agreements (DRTAs), which cover various policy areas in addition to tariff reductions, may or may not …
Deep Integration, Global Firms, and Technology Spillovers
Av Naoto Jinji, Xingyuan Zhang m. fl.
Häftad, 2021
455 kr
Lägg i varukorg
This open access book explores the impact of deep regional economic integration on spillovers of knowledge and technology across countries. Deep integration through signing deep regional trade agreements (DRTAs), which cover various policy areas in addition to tariff reductions, may or may not …
