Xingyuan Zhang – författare
Visar alla böcker från författaren Xingyuan Zhang. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
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
565 kr
Skickas inom 10-15 vardagar
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 to implementation aspects and applications in program verification, security and formalization of mathematics.
E-bok
PDF, Engelska, 2015708 kr
Läs direkt efter köp
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 to implementation aspects and applications in program verification, security and formalization of mathematics.
Inbunden, Engelska, 2021
565 kr
Skickas inom 10-15 vardagar
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 facilitate technology spillovers among their signatories. To understand the mechanism of the impact of deep integration on technology spillovers, this book starts by analyzing the behavior of global firms. Factors that affect global firms’ activities, such as export, foreign direct investment (FDI), offshore outsourcing, are examined. Micro data on Japanese firms are employed for the analysis. Then, the relationships between bilateral trade patterns and technology spillovers and between types of FDI and technology spillovers are investigated in detail. Patent citation data are used to measure technology spillovers. Finally, the impact of DRTAs on international technology spillovers is analyzed. This book is highly recommended to readers who are interested in the effects of deep regional integration, including academic scholars, policymakers, and graduate students.
Häftad, Engelska, 2021
453 kr
Skickas inom 10-15 vardagar