Ergebnisse filtern
Fachgebiet
Medium
  • 4
  • 4
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 4
  • 4
Preis
  • 8
Sprachen
  • 8
Verfügbarkeit
  • 8
Eigenschaften
  • 1
Katalog
  • 8
8  Treffer  für „Madeira, Alexandre“
    Madeira / Benevides | Dynamic Logic. New Trends and Applications | eBook | Sack Fachmedien
    E-Book

    Madeira / Benevides Dynamic Logic. New Trends and Applications

    First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-73579-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Madeira / Knapp | Software Engineering and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Madeira / Knapp Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-77382-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Madeira / Knapp | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Madeira / Knapp Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77381-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madeira / Benevides | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Madeira / Benevides Dynamic Logic. New Trends and Applications

    First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73578-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madeira / Martins | Recent Trends in Algebraic Development Techniques | eBook | Sack Fachmedien
    E-Book

    Madeira / Martins Recent Trends in Algebraic Development Techniques

    26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-43345-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Madeira / Martins | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Madeira / Martins Recent Trends in Algebraic Development Techniques

    26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43344-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Madeira / Li | Dynamic Logic. New Trends and Applications | eBook | Sack Fachmedien
    E-Book

    Wang / Madeira / Li Dynamic Logic. New Trends and Applications

    6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer International Publishing
    ISBN: 978-3-032-22626-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wang / Madeira / Li | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Wang / Madeira / Li Dynamic Logic. New Trends and Applications

    6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22625-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