Titelbild: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure 9783834814944

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

eBook

eTextbook-Lizenz
€53.49 EUR

  • Studienhilfen

    Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr

  • Vorlesen

    Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest

  • Offline-Zugriff

    Greifen Sie jederzeit und überall auf Ihr eTextbook zu

Erfahren Sie mehr

VitalSource Über 25 Jahre digitale Transformation

  • 4500 Einrichtungen

  • Über 230 Länder und Regionen

  • Über 10.000 Verlage

  • Über 18 Mio. Aktive Benutzer