Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Leonardo De Moura | Automated Deduction - CADE 26 | Taschenbuch | Englisch | xi

76,95 €

Jetzt bei Ebay:

Zum Angebot *
  • Buchtitel:
    Automated Deduction - CADE 26
  • Autor:
    Leonardo De Moura
  • Sprache:
    Englisch
  • Erscheinungsjahr:
    2017
  • Anzahl der Seiten:
    596
  • Marke:
    Springer Nature Switzerland, Springer International Publishing
  • Hersteller:
    Springer Nature Switzerland, Springer International Publishing
  • Herstellernummer:
    978-3-319-63045-8
  • Verlag:
    Springer Nature Switzerland, Springer International Publishing
  • Format:
    Taschenbuch
  • Genre:
    Mathematik, Naturwissenschaften, Technik, Medizin
  • Ausgabe:
    1st edition 2017
  • Titelzusatz:
    26th International Conference on Automated Deduction, Gothenburg,
  • Schlagworte:
    Anwendungs-Software, Algorithmen und Datenstrukturen, Informatik,
  • Redaktion:
    Leonardo De Moura
  • Herstellungsland und -region:
    Deutschland
  • ISBN:
    3319630458
  • Standardversand:
    DHL Paket 2,95 EUR - Lieferung zwischen 05. June 2025 und 07. June 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere