Zhiming liu u a (15 risultati)

imperial octavo softcover (VG+): all our specials have minimal description to keep listing them viable. They are at least reading copies, complete and in reasonable condition, but usually secondhand; frequently they are superior examples. Ordering more than one book may reduce your overall postage costs.…

Taschenbuch. Condizione: Neu. Dependable Software Engineering: Theories, Tools, and Applications | First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings | Xuandong Li (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2015 | Springer | EAN 9783319259413 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Theories of Programming and Formal Methods | Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday | Zhiming Liu (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396977 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. Unifying Theories of Programming and Formal Engineering Methods | International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures | Zhiming Liu (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642397202 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Web-Age Information Management | WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings | Yunjun Gao (u. a.) | Taschenbuch | xxxiv | Englisch | 2013 | Springer | EAN 9783642395260 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2020 | Springer | EAN 9783030550882 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2025 | Springer | EAN 9789819646555 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Formal Aspects of Component Software | 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers | José Luiz Fiadeiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2014 | Springer | EAN 9783319076010 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Automated Technology for Verification and Analysis | 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings | Zhiming Liu (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642047602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2018 | Springer | EAN 9783030029272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures | Zhiming Liu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2016 | Springer | EAN 9783319296272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Theoretical Aspects of Computing - ICTAC 2022 | 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings | Helmut Seidl (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2022 | Springer | EAN 9783031177149 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2017 | Springer | EAN 9783319568409 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2019 | Springer | EAN 9783030176006 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Formal Methods and Software Engineering | 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings | Zhiming Liu (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540474609 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…