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

Mathematik | Informatik

2  Treffer  für „Prabhakar, Pavithra“
Alle Filter löschen
    Prabhakar / Jansen | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Prabhakar / Jansen Formal Modeling and Analysis of Timed Systems

    16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00150-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bogomolov / Martel / Prabhakar | Numerical Software Verification | Buch | Sack Fachmedien

    Bogomolov / Martel / Prabhakar Numerical Software Verification

    9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54291-1
    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