• Soluciones de educación y negocios Se abre en una nueva ventana
Imagen de portada: 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

  • Autor(es) Christian Herde
  • Editor Publicado por Vieweg+Teubner Verlag Copyright © 2011
  • ISBN-13 9783834814944
  • Formato Diseño fijo

Libro electrónico

Licencia de eTextbook
‌
$13,618.00 ARS
‌
‌

  • Herramientas de estudio

    Herramientas de estudio incorporadas, como resaltados y más

  • Leer en voz alta

    Escucha y sigue la narración mientras Bookshelf lee para ti

  • Acceso sin conexión

    Accede a tu libro de texto electrónico en cualquier momento y en cualquier lugar

  • Búsqueda global

    Busca entre el contenido del libro, las figuras y tu libro de trabajo

Más información

VitalSource Más de 25 años de transformación digital

  • 4500 Instituciones

  • Más de 230 Países y territorios

  • Más de 10 000 Editores

  • Más de 18 000 000 Usuarios activos

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems fue escrito por Christian Herde y publicado por Vieweg+Teubner Verlag. Los ISBN digitales y de libros de texto electrónicos de Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure son 9783834899491, 3834899496 y los ISBN de versión impresa son 9783834814944, 3834814946. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Volver al principio