«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.

Decision Procedures

An Algorithmic Point of View

Idioma InglésInglés
Libro Tapa dura
Libro Decision Procedures Daniel Kroening
Código Libristo: 02981250
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 123 b
50.29 €
Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

También puede interesarle

Próximamente
Aromatherapy for Health Professionals Revised Reprint Len Price / Libro Tapa blanda
common.buy 59.29 €
Translation in Modern Japan Indra Levy / Libro Tapa blanda
common.buy 90.49 €
Popular
Superman for All Seasons Tim Sale / Libro Tapa blanda
common.buy 16.99 €
The City of Stardust Summers / Libro Tapa dura
common.buy 23.49 €
Popular
Panzer Tracts No.16-1: Bergepanther Thomas Jentz / Libro Tapa blanda
common.buy 24.09 €
Popular
Psychopathology of the Situation in Gestalt Therapy Margherita Spagnuolo Lobb / Libro Tapa blanda
common.buy 49.79 €
Popular
The Solution Focused Brief Therapy Diamond: A New Approach to Sfbt That Will Empower Both Practitioner and Client to Achieve the Best Outcomes Adam S. Froerer / Libro Tapa blanda
common.buy 16.99 €
Popular
Critical Role: The Mighty Nein Origins -- Mollymauk Tealeaf Hunter Severn Bonyun / Libro Tapa dura
common.buy 15.09 €
Popular
Co-Regulation Handbook Linda K Murphy / Libro Tapa blanda
common.buy 9.09 €
Popular
Why Raeliana Ended Up at the Duke's Mansion, Vol. 1 Whale / Libro Tapa blanda
common.buy 16.99 €
Remote Team Interactions Workbook Manuel Pais / Libro Tapa blanda
common.buy 12.69 €
Dzogchen Nonmeditation Keith Dowman / Libro Tapa blanda
common.buy 9.79 €
Popular
Creating a Forest Garden Martin Crawford / Libro Tapa blanda
common.buy 24.69 €
Stranger Things Tarot Deck and Guidebook Insight Editions / Artículos impresos Tarjetas
common.buy 23.29 €
Próximamente
Lebanese Cuisine Samira Kazan / Libro Tapa dura
common.buy 28.59 €
Popular
Creativity John Cleese / Libro Tapa blanda
common.buy 8.89 €
Criminal Law: The Basics Herring / Libro Tapa blanda
common.buy 33.39 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Libro Tapa blanda
common.buy 16.59 €
Stress Less HANNAH BOWSTEAD / Artículos impresos Tarjetas
common.buy 13.59 €
Popular
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Libro Tapa blanda
common.buy 41.79 €
Beginner's Guide To Procreate: Characters 3dtotal Publishing / Libro Tapa blanda
common.buy 29.69 €
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Libro Tapa blanda
common.buy 24.89 €
Popular
Netter's Physiology Coloring Book Susan Mulroney / Libro Tapa blanda
common.buy 22.99 €
Best Bondage Erotica Of The Year, Vol. 2 Bussel / Libro Tapa blanda
common.buy 19.40 €

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.§

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 Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2017
Número de páginas 356
EAN 9783662504963
ISBN 3662504960
Código Libristo 02981250
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 722
Dimensiones 165 x 244 x 26

Categorías

Matemáticas y ciencias > Matemáticas > Optimización
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Sistemas operativos
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

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?