Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Decision Procedures

An Algorithmic Point of View

Lingua IngleseInglese
Libro Rigido
Libro Decision Procedures Daniel Kroening
Codice Libristo: 02981250
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 127 b
52.09 €
Magazzino esterno Inviamo tra 10-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Talsperrenstatik Othmar J. Rescher / Libro In brossura
common.buy 55.29 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Libro In brossura
common.buy 17.09 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Libro In brossura
common.buy 0.79 €
I migliori
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Libro Rigido
common.buy 10.49 €
Gift from the Trees Mammal Hands Audio Vinile audio
common.buy 33.19 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Libro In brossura
common.buy 65.99 €
Prolongations François-Guillaume Lorrain / Libro In brossura
common.buy 19.49 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Libro In brossura
common.buy 27.39 €
Das kleine WIR im Kindergarten Daniela Kunkel / Libro Rigido
common.buy 13.39 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Libro In brossura
common.buy 26.29 €
Ukulele Melody-Chord-Concept Patrick Steinbach / Libro In brossura
common.buy 19.69 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Libro In brossura
common.buy 26.39 €
Puedo soñar contigo BLUE JEANS / Libro Rigido
common.buy 10.89 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Libro In brossura
common.buy 26.19 €
Biblia Para Ninos Epoca Editorial / Libro In brossura
common.buy 6.49 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Libro In brossura
common.buy 18.79 €
Hafenmanöver Schritt für Schritt Lars Bolle / Libro In brossura
common.buy 22.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.§

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Decision Procedures
Autore Daniel Kroening, Ofer Strichman
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2017
Numero di pagine 356
EAN 9783662504963
ISBN 3662504960
Codice Libristo 02981250
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 722
Dimensioni 165 x 244 x 26

Categorie

Matematica e Scienze > Matematica > Ottimizzazione
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Translation in Modern Japan Indra Levy / Libro In brossura
common.buy 85.09 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Libro In brossura
common.buy 60.99 €
I migliori
Indestructibles: Hello, Farm! Amy Pixton / Libro In brossura
common.buy 5.79 €
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Libro Rigido
common.buy 16.49 €
What is to be done? Vladimir Ilyich Lenin / Libro In brossura
common.buy 13.49 €
Research Design and Statistical Analysis Caren M. Rotello / Libro Rigido
common.buy 215.89 €
I migliori
Hero of Ages Brandon Sanderson / Libro In brossura
common.buy 9.49 €
Hey, Kitty Kitty! Brenda Ponnay / Libro In brossura
common.buy 14.29 €
I migliori
William Shakespeare: Famous Loving Words Insight Editions / Libro Rigido
common.buy 10.29 €
Americans and Germans in Bastogne Gary Sterne / Libro Rigido
common.buy 28.09 €
Gedichte Gustav Schwab / Libro In brossura
common.buy 31.79 €
Kuniyoshi Matthi Forrer / Libro Rigido
common.buy 121.59 €
Homecoming Colin Grant / Libro In brossura
common.buy 14.69 €
Gurdjieff and the Fourth Way Grant / Libro Rigido
common.buy 23.19 €
I migliori
Lost & Found: Based on a True Story / Libro Rigido
common.buy 15.79 €
Netter's Physiology Coloring Book Susan Mulroney / Libro In brossura
common.buy 22.59 €
I migliori
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Libro In brossura
common.buy 24.89 €
I migliori
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Libro In brossura
common.buy 40.19 €
Skate Park Plans Alan Brown / Libro In brossura
common.buy 8.09 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Libro In brossura
common.buy 16.49 €
Poetic Spanking Anthony Toomer / Libro Rigido
common.buy 33.29 €
Aberdeen European Nights ALLY BEGG / Libro Rigido
common.buy 21.49 €
Basic and Clinical Pharmacology 16th Edition Vanderah / Libro In brossura
common.buy 82.99 €
I migliori
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Libro In brossura
common.buy 14.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?