Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 2
  • 3
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 6
Verlag
  • 1
  • 4
  • 1
Preis
  • 4
  • 2
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

Mathematik | Informatik

6  Treffer  für „Zhang, Lijun“
Alle Filter löschen
    Pang / Zhang | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Pang / Zhang Dependable Software Engineering. Theories, Tools, and Applications

    6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-62821-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Vojnar | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Zhang / Vojnar Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-17464-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Vojnar | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Zhang / Vojnar Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-17461-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Xie | Discrete-Time and Discrete-Space Dynamical Systems | Buch | Sack Fachmedien

    Zhang / Xie Discrete-Time and Discrete-Space Dynamical Systems

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25974-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Xie | Discrete-Time and Discrete-Space Dynamical Systems | Buch | Sack Fachmedien

    Zhang / Xie Discrete-Time and Discrete-Space Dynamical Systems

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25971-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Zhang / Pu | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Finkbeiner / Zhang / Pu Automated Technology for Verification and Analysis

    13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24952-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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