Xingyuan Zhang | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

INTERACTIVE THEOREM PROVING - 6TH INTERNATIONAL CONFERENCE, ITP 2015, NANJING, CHINA, AUGUST 24-27, 2015, PROCEEDINGS

Christian Urban; Xingyuan Zhang
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

49,60 €

DEEP INTEGRATION, GLOBAL FIRMS, AND TECHNOLOGY SPILLOVERS

Naoto Jinji; Xingyuan Zhang; Shoji Haruna
Springer (2021)
Kovakantinen kirja

49,60 €

DEEP INTEGRATION, GLOBAL FIRMS, AND TECHNOLOGY SPILLOVERS

Naoto Jinji; Xingyuan Zhang; Shoji Haruna
Springer (2021)
Pehmeäkantinen kirja

60,00 €

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

Christian Urban, Xingyuan Zhang

49,60 €

Springer International Publishing AG
Sivumäärä: 469 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 27.08.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus