SULJE VALIKKO

avaa valikko

Zhiming Liu | Akateeminen Kirjakauppa

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



Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June
Yunjun Gao; Kyuseok Shim; Zhiming Ding; Peiquan Jin; Ren Zujie; Yingyuan Xiao; An Liu; Shaojie Qiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China,
Zhiming Liu; Jifeng He
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Xuandong Li; Zhiming Liu; Wang Yi
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
49,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Le
Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja
59,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Zhiming Liu; Jifeng He
World Scientific Publishing Co Pte Ltd (2006)
Kovakantinen kirja
175,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Se
Zhiming Liu; Keijiro Araki
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009,
Zhiming Liu; Anders P. Ravn
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Afric
Zhiming Liu; Alan Wassyng
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
47,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutor
Zhiming Liu; Zili Zhang
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing -- Ictac 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer (2013)
Pehmeäkantinen kirja
120,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Domain Modeling and the Duration Calculus - International Training School, Shanghai, China, September 17-21, 2007, Advanced Lect
Chris George; Zhiming Liu; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th
Cliff B. Jones; Zhiming Liu; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing - ICTAC 2007 - 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Cliff B. Jones; Zhiming Liu; Jones Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Se
José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016,
Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial
Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer Nature Switzerland AG (2018)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial L
Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June
51,40 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 396 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013 ed.
Julkaisuvuosi: 2013, 18.07.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Information Systems and Applications, incl. Internet/Web, and HCI
This book constitutes the refereed proceedings of six workshops of the 14th International Conference on Web-Age Information Management, WAIM 2013, held in Beidaihe, China, June 2013. The 37 revised full papers are organized in topical sections on the six following workshops: The International Workshop on Big Data Management on Emerging Hardware (HardBD 2013), the Second International Workshop on Massive Data Storage and Processing (MDSP 2013), the First International Workshop on Emergency Management in Big Data Age (BigEM 2013), the International Workshop on Trajectory Mining in Social Networks (TMSN 2013), the First International Workshop on Location-based Query Processing in Mobile Environments (LQPM 2013), and the First International Workshop on Big Data Management and Service (BDMS 2013).

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, Junezoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste