Fachgebiet
Medium
  • 4
  • 3
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
Autoren
  • 2
  • 2
  • 6
  • 1
  • 2
  • 2
  • 9
  • 1
  • 1
  • 2
  • 2
  • 11
  • 7
  • 2
  • 2
Verlag
  • 6
  • 1
Preis
  • 1
  • 6
Sprachen
  • 7
Verfügbarkeit
  • 7
Katalog
  • 7
7  Treffer  für „Tinelli, Cesare“


    Pientka / Tinelli Automated Deduction - CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38498-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems

    21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46680-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems

    21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    Erscheinungsjahr 2015
    Verlag: Springer
    ISBN: 978-3-662-46681-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Tinelli / Sofronie-Stokkermans Frontiers of Combining Systems

    8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24364-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Tinelli / Sofronie-Stokkermans Frontiers of Combining Systems

    8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24363-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lutz / Sattler / Tinelli Description Logic, Theory Combination, and All That

    Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22101-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lutz / Sattler / Tinelli Description Logic, Theory Combination, and All That

    Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-22102-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