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

Mathematik | Informatik

8  Treffer  für „Majumdar, Rupak“
Alle Filter löschen
    Majumdar / Georgiou | Networked Systems | Buch | Sack Fachmedien

    Majumdar / Georgiou Networked Systems

    8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-67086-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Esparza | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Majumdar / Esparza Tools and Algorithms for the Construction and Analysis of Systems

    16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-12001-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tabuada / Majumdar | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Tabuada / Majumdar Hybrid Systems: Computation and Control

    12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00601-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Bartocci | Runtime Verification | Buch | Sack Fachmedien

    Majumdar / Bartocci Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Palsberg / Majumdar | Model Checking Software | Buch | Sack Fachmedien

    Havelund / Palsberg / Majumdar Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85113-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuncak / Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Kuncak / Majumdar / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuncak / Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Kuncak / Majumdar / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63386-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raskin / Majumdar / Chatterjee | Principles of Systems Design | Buch | Sack Fachmedien

    Raskin / Majumdar / Chatterjee Principles of Systems Design

    Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-22336-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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