[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

SAT 2005

Name: SAT 2005
Brand: Springer
SKU: 09160830
Price: 194.62 EUR
Availability: InStock

Enrico Giunchiglia

Toby Walsh

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετη βιβλιοδεσία

Κωδικός Libristo: 09160830

ΕΕκδοτικός οίκος Springer, Δεκέμβριος 2014

This book covers recent progress in solving propositional satisfiability and related problems. Propo... Πλήρης περιγραφή

Κωδικός Libristo: 09160830

488 b

194.62 €

Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-16 ημέρες

30 ημέρες για την επιστροφή των προϊόντων

Μπορεί να σας ενδιαφέρει

Vzpomínka na Zemi Liou Cch´-Sin

/ Χαρτόδετη βιβλιοδεσία

10.48 €

Kundalini Yoga Athanasios Megarisiotis

/ Χαρτόδετη βιβλιοδεσία

16.03 €

Hegemonův stín Orson Scott Card

/ Σκληρόδετη βιβλιοδεσία

11.19 €

Enderův stín Orson Scott Card

/ Σκληρόδετη βιβλιοδεσία

10.58 €

Beautiful You Chuck Palahniuk

/ Χαρτόδετη βιβλιοδεσία

9.07 €

Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto

/ Χαρτόδετη βιβλιοδεσία

90.60 €

Cathars, White Eagle and St John Colum Hayward

/ Χαρτόδετη βιβλιοδεσία

16.03 €

Mayhem Harris

/ Χαρτόδετη βιβλιοδεσία

18.05 €

Stress and Your Health - From Vulnerability to Resilience Hymie Anisman

/ Χαρτόδετη βιβλιοδεσία

29.86 €

Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer

/ Χαρτόδετη βιβλιοδεσία

82.52 €

Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata

/ Χαρτόδετη βιβλιοδεσία

75.97 €

Athenaeum Raul Pompeia

/ Χαρτόδετη βιβλιοδεσία

22.39 €

Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio

/ Χαρτόδετη βιβλιοδεσία

39.14 €

Factors Affecting Academic Staff Turnover Intention Gebayaw Adugna

/ Χαρτόδετη βιβλιοδεσία

52.05 €

Strategic Utilization of Information Systems in Small Business M. Gordon Hunter

/ Σκληρόδετη βιβλιοδεσία

236.39 €

Kertomuksia Lapista osa 3 Juha Kivekäs

/ Σκληρόδετη βιβλιοδεσία

28.34 €

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

Πληροφορίες για το βιβλίο

Πλήρες όνομα SAT 2005

Συγγραφέας Enrico Giunchiglia, Toby Walsh

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετη βιβλιοδεσία

Ημερομηνία έκδοσης 2014

Αριθμός σελίδων 293

EAN 9789400787155

ISBN 9789400787155

Κωδικός Libristo 09160830

ΕΕκδοτικός οίκος Springer

Βάρος 462

Διαστάσεις 155 x 235 x 16

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Operating systems

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Παράδοση

Οδηγός αγορών