Ergebnisse filtern
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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | eBook | Sack Fachmedien
    E-Book

    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 | eBook | Sack Fachmedien
    E-Book

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | eBook | Sack Fachmedien
    E-Book

    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