Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Zhiming Liu | Booky.fi

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



Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Le
Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Le
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
59,10 €
Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June
Gao, Yunjun; Shim, Kyuseok; Ding, Zhiming; Jin, Peiquan; Zujie, Ren; Xiao, Yingyuan; Liu, An; Qiao, Shaojie
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024,
Bowen, Jonathan P. ; Gomes, Cláudio; Liu, Zhiming
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th
Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Liu, Zhiming; He, Jifeng
World Scientific Publishing Co Pte Ltd
2006
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
171,70 €
Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China,
Liu, Zhiming; He, Jifeng
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Se
Liu, Zhiming; Araki, Keijiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Se
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009,
Liu, Zhiming; Ravn, Anders P.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Afric
Liu, Zhiming; Wassyng, Alan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Afric
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
47,20 €
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutor
Liu, Zhiming; Zhang, Zili
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutor
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Theoretical Aspects of Computing -- Ictac 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer
2013
Pehmeäkantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Theoretical Aspects of Computing -- Ictac 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
118,20 €
Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28,
Liu, Zhiming; Saoud, Adnane; Wehrheim, Heike
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
117,80 €
Domain Modeling and the Duration Calculus - International Training School, Shanghai, China, September 17-21, 2007, Advanced Lect
George, Chris; Liu, Zhiming; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Domain Modeling and the Duration Calculus - International Training School, Shanghai, China, September 17-21, 2007, Advanced Lect
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Theoretical Aspects of Computing - ICTAC 2007 - 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Jones, Cliff B.; Liu, Zhiming; Woodcock, Jones
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Theoretical Aspects of Computing - ICTAC 2007 - 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Se
Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Se
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Li, Xuandong; Liu, Zhiming; Yi, Wang
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016,
Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...