«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 130 b
53.09 €
Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Talsperrenstatik Othmar J. Rescher / Libro Tapa blanda
common.buy 52.49 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Libro Tapa blanda
common.buy 17.09 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Libro Tapa blanda
common.buy 1.69 €
MIGUEL, UNA CABRITA Y UN SUEÑO PEROZO RUIZ / Libro Tapa blanda
common.buy 13.39 €
Gift from the Trees Mammal Hands Audio Vinilo de audio
common.buy 33.89 €
Kiss of the Spider Woman / Audio CD de audio
common.buy 23.79 €
Fyzika na dvore Radek Chajda / Libro Tapa blanda
common.buy 7.69 €
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Libro Tapa dura
common.buy 8.89 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Libro Tapa blanda
common.buy 26.89 €
Hafenmanöver Schritt für Schritt Lars Bolle / Libro Tapa blanda
common.buy 21.29 €
Be a little analog Julius Hendricks / Libro Tapa dura
common.buy 8.49 €
Els altres catalans : edició no censurada Francisco Candel / Libro Tapa blanda
common.buy 23.69 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Libro Tapa blanda
common.buy 16.99 €
Biblia Para Ninos Epoca Editorial / Libro Tapa blanda
common.buy 6.69 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Libro Tapa blanda
common.buy 26.69 €
Mystiques, Tome 1: Le septieme sens Kim Richardson / Libro Tapa blanda
common.buy 15.39 €
Puedo soñar contigo BLUE JEANS / Libro Tapa dura
common.buy 10.99 €
Próximamente
Ukulele Melody-Chord-Concept Patrick Steinbach / Libro Tapa blanda
common.buy 20.79 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Libro Tapa blanda
common.buy 24.79 €
Das kleine WIR im Kindergarten Daniela Kunkel / Libro Tapa dura
common.buy 12.59 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Libro Tapa blanda
common.buy 26.49 €
Prolongations François-Guillaume Lorrain / Libro Tapa blanda
common.buy 17.89 €
Der Schachwettkampf Tarrasch-Mieses Im Herbst 1916 Tarrasch / Libro Tapa dura
common.buy 117.79 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Libro Tapa blanda
common.buy 69.59 €

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

También puede interesarle

Translation in Modern Japan Indra Levy / Libro Tapa blanda
common.buy 85.09 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Libro Tapa blanda
common.buy 61.89 €
Popular
Hero of Ages Brandon Sanderson / Libro Tapa blanda
common.buy 8.89 €
Egypt, Cyprus And Asiatic Turkey (1878) James Lewis Farley / Libro Tapa dura
common.buy 46.49 €
Americans and Germans in Bastogne Gary Sterne / Libro Tapa dura
common.buy 29.79 €
AI Narratives Stephen Cave / Libro Tapa dura
common.buy 141.29 €
Popular
William Shakespeare: Famous Loving Words Insight Editions / Libro Tapa dura
common.buy 10.49 €
Hey, Kitty Kitty! Brenda Ponnay / Libro Tapa blanda
common.buy 14.59 €
Kuniyoshi Matthi Forrer / Libro Tapa dura
common.buy 111.99 €
Gurdjieff and the Fourth Way Grant / Libro Tapa dura
common.buy 24.59 €
What is to be done? Vladimir Ilyich Lenin / Libro Tapa blanda
common.buy 13.49 €
Research Design and Statistical Analysis Caren M. Rotello / Libro Tapa dura
common.buy 215.89 €
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Libro Tapa dura
common.buy 16.49 €
Popular
Indestructibles: Hello, Farm! Amy Pixton / Libro Tapa blanda
common.buy 5.79 €
DNA: AQA GCSE 9-1 English Literature Text Guide Collins GCSE / Libro Tapa blanda
common.buy 7.99 €
Económico
World of Warcraft: Book One Walter Simonson / Libro Tapa dura
common.buy 10.39 €
Popular
Tanned Leather Hand-Made Bags: Ultimate Techniques YOKO GANAHA / Libro Tapa blanda
common.buy 20.49 €
Gedichte Gustav Schwab / Libro Tapa blanda
common.buy 31.79 €
Popular
Hilma af Klint Hilma af Klint / Libro Tapa dura
common.buy 51.29 €
Homecoming Colin Grant / Libro Tapa blanda
common.buy 14.99 €
Lost & Found: Based on a True Story / Libro Tapa dura
common.buy 15.79 €
Netter's Physiology Coloring Book Susan Mulroney / Libro Tapa blanda
common.buy 21.49 €
Popular
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Libro Tapa blanda
common.buy 24.29 €
Popular
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Libro Tapa blanda
common.buy 40.79 €

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?