Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 8
Erscheinungsjahr
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 16
  • 2
  • 2
  • 2
Verlag
  • 5
  • 1
  • 9
  • 1
Preis
  • 16
Sprachen
  • 16
Verfügbarkeit
  • 16
Katalog
  • 16
16  Treffer  für „Majumdar, Rupak“
    Georgiou / Majumdar | Networked Systems | eBook | Sack Fachmedien
    E-Book

    Georgiou / Majumdar 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-67087-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    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 / Kuncak / Kuncak | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Majumdar / Kuncak / 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-63390-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Bartocci / Majumdar | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Bartocci / Majumdar 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-23820-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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 / Tabuada | Hybrid Systems: Computation and Control | eBook | Sack Fachmedien
    E-Book

    Majumdar / Tabuada 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-00602-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Esparza / Majumdar | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Esparza / Majumdar 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
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-12002-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Majumdar / Kuncak / 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-63387-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Havelund / Majumdar / Palsberg | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85114-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Raskin / Chatterjee / Doyen | Principles of Systems Design | eBook | Sack Fachmedien
    E-Book

    Raskin / Chatterjee / Doyen Principles of Systems Design

    Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-22337-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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