Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 7
Erscheinungsjahr
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
Autoren
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 15
  • 2
  • 3
  • 1
  • 2
  • 2
  • 4
Verlag
  • 2
  • 8
  • 2
  • 2
  • 1
Preis
  • 13
  • 2
Sprachen
  • 15
Verfügbarkeit
  • 15
Katalog
  • 15
15  Treffer  für „Méry, Dominique“
    Méry / Merz | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Méry / Merz Integrated Formal Methods

    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16265-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Merz / Méry | Integrated Formal Methods | Buch | Sack Fachmedien

    Merz / Méry Integrated Formal Methods

    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-16264-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Méry / Ciobanu | Theoretical Aspects of Computing - ICTAC 2014 | Buch | Sack Fachmedien

    Méry / Ciobanu Theoretical Aspects of Computing - ICTAC 2014

    11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10881-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciobanu / Méry | Theoretical Aspects of Computing – ICTAC 2014 | eBook | Sack Fachmedien
    E-Book

    Ciobanu / Méry Theoretical Aspects of Computing – ICTAC 2014

    11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10882-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Raschke / Méry | Rigorous State-Based Methods | eBook | Sack Fachmedien
    E-Book

    Raschke / Méry Rigorous State-Based Methods

    8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-77543-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Méry / Raschke | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Méry / Raschke Rigorous State-Based Methods

    8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-77542-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raschke / Houdek / Méry | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Raschke / Houdek / Méry Rigorous State-Based Methods

    7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-48076-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raschke / Méry / Houdek | Rigorous State-Based Methods | eBook | Sack Fachmedien
    E-Book

    Raschke / Méry / Houdek Rigorous State-Based Methods

    7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-48077-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ait-Ameur / Méry / Nakajima | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems | Buch | Sack Fachmedien

    Ait-Ameur / Méry / Nakajima Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Communications of NII Shonan Meetings
    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-5056-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait-Ameur / Nakajima / Méry | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems | eBook | Sack Fachmedien
    E-Book

    Ait-Ameur / Nakajima / Méry Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Communications of NII Shonan Meetings
    1. Auflage 2020
    Verlag: Springer Singapore
    ISBN: 978-981-15-5054-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ait-Ameur / Méry / Nakajima | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems | Buch | Sack Fachmedien

    Ait-Ameur / Méry / Nakajima Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Communications of NII Shonan Meetings
    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-5053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glässer / Creissac Campos / Méry | Rigorous State-Based Methods | eBook | Sack Fachmedien
    E-Book

    Glässer / Creissac Campos / Méry Rigorous State-Based Methods

    9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-33163-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Glässer / Palanque / Creissac Campos | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Glässer / Palanque / Creissac Campos Rigorous State-Based Methods

    9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-33162-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdelwahed / Bellatreche / Ordonez | Model and Data Engineering | Buch | Sack Fachmedien

    Abdelwahed / Bellatreche / Ordonez Model and Data Engineering

    8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00855-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdelwahed / Bellatreche / Golfarelli | Model and Data Engineering | eBook | Sack Fachmedien
    E-Book

    Abdelwahed / Bellatreche / Golfarelli Model and Data Engineering

    8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00856-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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