• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: 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

  • Auteur(s) Christian Herde
  • Uitgever Gepubliceerd door Vieweg+Teubner Verlag Copyright © 2011
  • ISBN-13 9783834814944
  • Indeling Vaste lay-out

eBook

Licentie eTextbook
‌
€16.35 EUR
‌‌
‌

  • Studietools

    Ingebouwde studiehulpmiddelen zoals markeringen en meer

  • Hardop voorlezen

    Luister en lees mee terwijl Bookshelf voorleest

  • Offline toegang

    Altijd en overal toegang tot je eTextbook

  • Algemene zoekfunctie

    Doorzoek de boekinhoud, illustraties en je werkmap

Meer informatie

VitalSource 25+ jaar digitale transformatie

  • 4500 Instelling

  • 230+ Landen en gebieden

  • 10K+ Uitgevers

  • 18M+ Actieve gebruikers

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems is geschreven door Christian Herde en gepubliceerd door Vieweg+Teubner Verlag. De digitale en eTextbook-ISBN's voor Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure zijn 9783834899491, 3834899496 en de ISBN's voor gedrukt materiaal zijn 9783834814944, 3834814946. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven