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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Decision Procedures

An Algorithmic Point of View

Lingua IngleseInglese
Libro In brossura
Libro Decision Procedures Daniel Kroening
Codice Libristo: 20119732
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 93 b
38.19 €
Magazzino esterno Inviamo tra 10-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

I migliori
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Libro In brossura
common.buy 9.59 €
I migliori
Amokspiel Sebastian Fitzek / Libro In brossura
common.buy 12.39 €
I migliori
DaF Kompakt neu Birgit Braun / Libro In brossura
common.buy 35.89 €
I migliori
In altre parole Jhumpa Lahiri / Libro In brossura
common.buy 12.49 €
Bella Germania Daniel Speck / Libro In brossura
common.buy 13.29 €
I migliori
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Articoli di cancelleria Articoli di cancelleria
common.buy 6.59 €
I migliori
Coloriages mystères Pixar Jérémy Mariez / Libro In brossura
common.buy 22.29 €
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Libro In brossura
common.buy 11.39 €
Opowiem o tobie gwiazdom Edyta Prusinowska / Libro In brossura
common.buy 10.79 €
Lola MacKenzie - Der Ring des Herzogs. Life is a Story - story.one Franziska Deuter / Libro Rigido
common.buy 16.99 €
I migliori
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Libro In brossura
common.buy 14.09 €
I migliori
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Libro Rigido
common.buy 35.99 €
ELOGIO DE LA CARNE Gracia Martínez / Libro In brossura
common.buy 22.29 €
Osmanli Korsani Alptunga Sedat Erdogdu / Libro In brossura
common.buy 21.99 €

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 - In brossura
Data di pubblicazione 2018
Numero di pagine 356
EAN 9783662570654
Codice Libristo 20119732
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 580
Dimensioni 233 x 156 x 24

Categorie

Matematica e Scienze > Matematica > Ottimizzazione
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori
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

History of Paris in Painting Guy Lobrichon / Libro Rigido
common.buy 213.39 €
Supercomputer Algorithms for Reactivity, Dynamics and Kinetics of Small Molecules Antonio Lagan / Libro Rigido
common.buy 102.59 €
Active Middleware Services Salim Hariri / Libro In brossura
common.buy 117.69 €
Sea Monkeys & Brine Shrimp David Franklin / Libro In brossura
common.buy 9.79 €
I migliori
Garden Sounds Felicity Brooks / Libro Leporello
common.buy 14.69 €
In preparazione
Hippo and Friends 1 Pupil's Book Claire Selby / Libro In brossura
common.buy 34.49 €
Chatham Naval Dockyard and Barracks David Hughes / Libro In brossura
common.buy 16.89 €
Cognitive Psychology Matthew Coxon / Libro In brossura
common.buy 30.19 €
Glimmer of a New Leviathan Campbell Craig / Libro Rigido
common.buy 164.39 €
Fra Filippo Lippi Jeffrey Ruda / Libro Rigido
common.buy 177.09 €
Elegies Muriel Rukeyser / Libro In brossura
common.buy 14.49 €
Constitution of Finland Jaakko Husa / Libro In brossura
common.buy 52.09 €
American Lions: The 332nd Infantry Regiment in Italy in World War I Rebecca S. Dalessandro / Libro Rigido
common.buy 51.89 €
Carole King - Tapestry Carole King / Libro Libro
common.buy 20.49 €
Lil. by the Author of "Tip-Cat," Etc. [I.E. Evelyn Whittaker.] Evelyn Whitaker / Libro In brossura
common.buy 22.59 €
Maldita Droga Antonio Zurita / Libro In brossura
common.buy 13.79 €
How to Speak Cat Aline Alexander Newman / Libro In brossura
common.buy 11.19 €
Vitreoretinal Surgery: Strategies and Tactics Ferenc Kuhn / Libro Rigido
common.buy 209.99 €
Reading and Rhyme Ages 3-5 Collins Easy Learning / Libro In brossura
common.buy 5.39 €
Customer Experience Manual, The Alan Pennington / Libro In brossura
common.buy 19.29 €
GCSE 9-1 Geography AQA Complete Revision & Practice (w/ Online Ed) CGP Books / Libro In brossura
common.buy 16.79 €
Rise of the Robots Martin Ford / Libro In brossura
common.buy 14.49 €
As Always, Julia Joan Reardon / Libro In brossura
common.buy 17.89 €
I migliori
Hero of Ages Brandon Sanderson / Libro Rigido
common.buy 27.49 €

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?