SULJE VALIKKO

avaa valikko

Pu Zhang | Akateeminen Kirjakauppa

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



Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
Bernd Finkbeiner; Geguang Pu; Lijun Zhang
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
3D Printing with Light
Pu Xiao; Jing Zhang
De Gruyter (2021)
Kovakantinen kirja
261,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hwangmyong choryong. 10
- Zhang; Pu

15,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hwangmyong choryong. 9
- Zhang; Pu

16,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hwangmyong choryong. 8
- Zhang; Pu

16,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Number Theory and Related Areas
Yi Ouyang; Chaoping Xing; Fei Xu; Pu Zhang
International Press of Boston Inc (2013)
Pehmeäkantinen kirja
71,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Theoretical Analysis, Performance Evaluation, and Reform Solution of the Health Care System in China
Hong Sheng; Lin Zhang; Pu Qian
World Scientific Publishing Co Pte Ltd (2021)
Kovakantinen kirja
137,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
E-Commerce : Concepts, Principles, and Application
Zheng Qin; Qinghong Shuai; Guolong Wang; Pu Zhang; Mengyu Cao; Mingshi Chen
Springer (2022)
Kovakantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
E-Commerce : Concepts, Principles, and Application
Zheng Qin; Qinghong Shuai; Guolong Wang; Pu Zhang; Mengyu Cao; Mingshi Chen
Springer (2023)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
E-Commerce : Konzepte, Prinzipien und Anwendung
Zheng Qin; Qinghong Shuai; Guolong Wang; Pu Zhang; Mengyu Cao; Mingshi Chen
Springer Vieweg (2025)
Kovakantinen kirja
46,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
49,60 €
Springer International Publishing AG
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 22.11.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October  2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20zoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste