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
  • 11
  • 5
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
    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
    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
    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
    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
    Georgiou / Majumdar | Networked Systems | Buch | Sack Fachmedien

    Georgiou / Majumdar Networked Systems

    8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-67086-3
    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 / Tabuada | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Majumdar / Tabuada Hybrid Systems: Computation and Control

    12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00601-2
    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
    Esparza / Majumdar | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    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
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12001-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Majumdar / Palsberg | Model Checking Software | Buch | Sack Fachmedien

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    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
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-63389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-63386-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raskin / Chatterjee / Doyen | Principles of Systems Design | Buch | Sack Fachmedien

    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
    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