Ergebnisse filtern
Fachgebiet
Medium
  • 21
  • 20
Erscheinungsjahr
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
Autoren
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 41
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 10
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 10
  • 6
  • 2
Verlag
  • 30
  • 7
  • 2
  • 1
  • 1
Preis
  • 2
  • 36
  • 3
Sprachen
  • 41
Verfügbarkeit
  • 41
Katalog
  • 41
41  Treffer  für „Liu, Zhiming“
    Liu / He | Mathematical Frameworks for Component Software: Models for Analysis and Synthesis | Buch | Sack Fachmedien

    Liu / He Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

    Erscheinungsjahr 2006
    Verlag: World Scientific Publishing Company
    ISBN: 978-981-270-017-9
    Medium: Buch
    155,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / He | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Liu / He Formal Methods and Software Engineering

    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47460-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Zhang | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Liu / Zhang Engineering Trustworthy Software Systems

    First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
    Erscheinungsjahr 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29628-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Liu / Zhang Engineering Trustworthy Software Systems

    First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29627-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wassyng | Foundations of Health Informatics Engineering and Systems | Buch | Sack Fachmedien

    Liu / Wassyng Foundations of Health Informatics Engineering and Systems

    First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32354-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | eBook | Sack Fachmedien
    E-Book

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    2005
    Verlag: Springer
    ISBN: 978-3-540-31862-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / He | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Liu / He Formal Methods and Software Engineering

    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-47462-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Wassyng | Foundations of Health Informatics Engineering and Systems | eBook | Sack Fachmedien
    E-Book

    Liu / Wassyng Foundations of Health Informatics Engineering and Systems

    First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32355-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Ravn | Automated Technology for Verification and Analysis | eBook | Sack Fachmedien
    E-Book

    Liu / Ravn Automated Technology for Verification and Analysis

    7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04761-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Ravn | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Liu / Ravn Automated Technology for Verification and Analysis

    7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04760-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theories of Programming and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Liu / Woodcock / Zhu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    2013
    Verlag: Springer
    ISBN: 978-3-642-39698-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | Buch | Sack Fachmedien

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74963-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Unifying Theories of Programming and Formal Engineering Methods | eBook | Sack Fachmedien
    E-Book

    Liu / Woodcock / Zhu 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
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39721-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theoretical Aspects of Computing -- ICTAC 2013 | eBook | Sack Fachmedien
    E-Book

    Liu / Woodcock / Zhu Theoretical Aspects of Computing -- ICTAC 2013

    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39718-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Saoud / Wehrheim | Theoretical Aspects of Computing - ICTAC 2025 | Buch | Sack Fachmedien

    Liu / Saoud / Wehrheim Theoretical Aspects of Computing - ICTAC 2025

    22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11175-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Unifying Theories of Programming and Formal Engineering Methods | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu 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
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39720-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Liu / Yi | Dependable Software Engineering: Theories, Tools, and Applications | Buch | Sack Fachmedien

    Li / Liu / Yi Dependable Software Engineering: Theories, Tools, and Applications

    First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25941-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theoretical Aspects of Computing -- ICTAC 2013 | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Theoretical Aspects of Computing -- ICTAC 2013

    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39717-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | eBook | Sack Fachmedien
    E-Book

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    2007
    Verlag: Springer
    ISBN: 978-3-540-74964-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theories of Programming and Formal Methods | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Saoud / Wehrheim | Theoretical Aspects of Computing – ICTAC 2025 | eBook | Sack Fachmedien
    E-Book

    Liu / Saoud / Wehrheim Theoretical Aspects of Computing – ICTAC 2025

    22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-11176-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Li / Liu / Yi | Dependable Software Engineering: Theories, Tools, and Applications | eBook | Sack Fachmedien
    E-Book

    Li / Liu / Yi Dependable Software Engineering: Theories, Tools, and Applications

    First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25942-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
    Erscheinungsjahr 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56841-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17600-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular