Ergebnisse filtern
Fachgebiet
Medium
  • 4
  • 3
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
Autoren
  • 7
  • 2
  • 1
  • 2
  • 2
Verlag
  • 4
  • 2
  • 1
Preis
  • 3
  • 4
Sprachen
  • 7
Verfügbarkeit
  • 7
Katalog
  • 7
7  Treffer  für „Abdulla, Parosh Aziz“
    Kesner / Abdulla | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kesner / Abdulla Foundations of Software Science and Computation Structures

    28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-90896-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Potapov / Abdulla | Reachability Problems | Buch | Sack Fachmedien

    Potapov / Abdulla Reachability Problems

    7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41035-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulla / Potapov | Reachability Problems | eBook | Sack Fachmedien
    E-Book

    Abdulla / Potapov Reachability Problems

    7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41036-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Abdulla / Delporte-Gallet | Networked Systems | eBook | Sack Fachmedien
    E-Book

    Abdulla / Delporte-Gallet Networked Systems

    4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46140-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Delporte-Gallet / Abdulla | Networked Systems | Buch | Sack Fachmedien

    Delporte-Gallet / Abdulla Networked Systems

    4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46139-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulla / Leino | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems

    17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulla / Leino | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems

    17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19835-9
    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