Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

SAT 2005

Name: SAT 2005
Brand: Springer-Verlag New York Inc.
SKU: 02120471
Price: 919.26 RON
Availability: InStock
Author: Enrico Giunchiglia
ISBN: 9781402045523

Satisfiability Research in the Year 2005

Enrico Giunchiglia

Toby Walsh

Limba

engleză

Carte Copertă tare

Codul Libristo: 02120471

Editura Springer-Verlag New York Inc., februarie 2006

This book covers recent progress in solving propositional satisfiability and related problems. Propo... Descrierea completă

Codul Libristo: 02120471

425 b

919.26 lei

În depozitul extern în cantități mici Expediem în 11-15 zile

Până la 30 de zile pentru returnare

Ar putea de asemenea, să te intereseze

Faking Nature Robert Elliott

Carte broșată

337.47 lei

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§