Fachgebiet
Medium
  • 4
Erscheinungsjahr
  • 1
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
Verlag
  • 4
Preis
  • 4
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4

Mathematik | Informatik

4  Treffer  für „Stolz, Volker“


    Stolz / Carvalho Formal Methods: Foundations and Applications

    23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63881-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stolz / Dang Runtime Verification

    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-17195-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stolz / Mann Advances in Service-Oriented and Cloud Computing

    Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-79089-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pun / Simao / Stolz Theoretical Aspects of Computing - ICTAC 2020

    17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64275-4
    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