«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Idioma InglésInglés
Libro Tapa blanda
Libro Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Código Libristo: 01782369
Editores Springer Fachmedien Wiesbaden, febrero 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Organisches Germanium Kazuhiko Asai / Libro Tapa blanda
common.buy 19.79 €
Das Innerste Beruhren Maike Stüven / Libro Tapa dura
common.buy 33.09 €
Hochdeutsche Gedichte Friedrich Stoltze / Libro Tapa blanda
common.buy 50.89 €
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Libro Tapa blanda
common.buy 29.59 €
Catálogo da flora vascular galega NIÑO RICOI / Libro Tapa blanda
common.buy 18.79 €
Prehistorický svět v životní velikosti Dougal Dixon / Libro Tapa dura
common.buy 19.09 €

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor Christian Herde
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 163
EAN 9783834814944
ISBN 3834814946
Código Libristo 01782369
Editores Springer Fachmedien Wiesbaden
Peso 228
Dimensiones 148 x 210 x 9

Categorías

Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

The Book Nook Curse Laetitia Clark / Libro Tapa blanda
common.buy 17.19 €
GAMERS BAR REEDER CASSANDRA / Libro Tapa dura
common.buy 20.49 €
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Libro Tapa blanda
common.buy 36.59 €
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Libro Tapa dura
common.buy 118.29 €
Awesome Truths: Confessions of a Believer A Atkinson / Libro Tapa blanda
common.buy 11.59 €
Are You Addicted To Food? Diane Del Vescio / Libro Tapa blanda
common.buy 18.19 €
Próximamente
Ellen Shipman and the American Garden Judith B. Tankard / Libro Tapa dura
common.buy 67.79 €
Basic Equality and Discrimination Smith / Libro Tapa blanda
common.buy 79.79 €
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Libro Tapa dura
common.buy 43.09 €
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Libro Tapa blanda
common.buy 60.39 €
English Plus: Starter: Audio CD Ben Wetz / Audio CD de audio
common.buy 50.39 €
Competitive Strategies for the 21st Century Thomas Mahnken / Libro Tapa blanda
common.buy 32.49 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?