Fachgebiet
Medium
  • 4
  • 4
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
Autoren
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
Verlag
  • 6
  • 2
Preis
  • 8
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
8  Treffer  für „Sebastiani, Roberto“


    Sebastiani / Ghilardi Frontiers of Combining Systems

    7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04221-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sebastiani / Cimatti Theory and Applications of Satisfiability Testing -- SAT 2012

    15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31611-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012

    15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31612-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ghilardi / Sebastiani Frontiers of Combining Systems

    7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04222-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Galmiche / Schulz / Sebastiani Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-94205-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Galmiche / Sebastiani / Schulz Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-94204-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lalmas / Jose / Rauber Research and Advanced Technology for Digital Libraries

    14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15463-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lalmas / Jose / Rauber Research and Advanced Technology for Digital Libraries

    14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15464-5
    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