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

Mathematik | Informatik

6  Treffer  für „Bartocci, Ezio“
Alle Filter löschen
    Bartocci / Majumdar | Runtime Verification | Buch | Sack Fachmedien

    Bartocci / Majumdar Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Falcone | Lectures on Runtime Verification | Buch | Sack Fachmedien

    Bartocci / Falcone Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75631-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Ramakrishnan | Model Checking Software | Buch | Sack Fachmedien

    Bartocci / Ramakrishnan Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Lio / Paoletti | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Bartocci / Lio / Paoletti Computational Methods in Systems Biology

    14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45176-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Falcone / Leucker | Formal Methods in Outer Space | Buch | Sack Fachmedien

    Bartocci / Falcone / Leucker Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87347-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Cleaveland / Grosu | From Reactive Systems to Cyber-Physical Systems | Buch | Sack Fachmedien

    Bartocci / Cleaveland / Grosu From Reactive Systems to Cyber-Physical Systems

    Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31513-9
    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