SULJE VALIKKO

avaa valikko

ZHIMING | Akateeminen Kirjakauppa

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



Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China,
Xuandong Li (ed.); Zhiming Liu (ed.); Wang Yi (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
47,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lao Tzu and the Bible
Yuan Zhiming
AuthorHouse (2010)
Saatavuus: Tilaustuote
Kovakantinen kirja
39,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tao Te Ching
Yuan Zhiming
AuthorHouse (2010)
Saatavuus: Tilaustuote
Kovakantinen kirja
32,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lao Tzu and the Bible
Yuan Zhiming
AuthorHouse (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
26,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tao Te Ching
Yuan Zhiming
AuthorHouse (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
17,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Evolvement of Tibet
Chen Zhiming
CYBERREAD (2009)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja
58,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Making of Vernacular Singapore English: System, Transfer, and Filter
Zhiming Bao
Cambridge University Press (2015)
Saatavuus: Tilaustuote
Kovakantinen kirja
124,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Making of Vernacular Singapore English: System, Transfer, and Filter
Zhiming Bao
Cambridge University Press (2019)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
39,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Structure of Tone
Zhiming Bao
Oxford University Press Inc (1999)
Saatavuus: Tilaustuote
Kovakantinen kirja
168,50
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)
Saatavuus: Tilaustuote
Kovakantinen kirja
168,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Toward Functional Nanomaterials
Zhiming M Wang
Springer-Verlag New York Inc. (2009)
Saatavuus: Tilaustuote
Kovakantinen kirja
129,90
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Self-Assembled Quantum Dots
Zhiming M Wang
Springer-Verlag New York Inc. (2007)
Saatavuus: Tilaustuote
Kovakantinen kirja
129,90
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
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 (ed.); Zhiming Liu (ed.); Jim Woodcock (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
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 (ed.); Zhiming Liu (ed.); Jim Woodcock (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
One-Dimensional Nanostructures
Zhiming M Wang
Springer-Verlag New York Inc. (2008)
Saatavuus: Tilaustuote
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Differential Equations with Symbolic Computation
Dongming Wang; Zhiming Zheng
Birkhauser Verlag AG (2005)
Saatavuus: Tilaustuote
Kovakantinen kirja
129,90
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China,
47,70 €
Springer
Sivumäärä: 317 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2015, 27.10.2015 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, zoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste