Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Κωδικός Libristo: 01782369
ΕΕκδοτικός οίκος Springer Fachmedien Wiesbaden, Φεβρουάριος 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Πλήρης περιγραφή
? points 125 b
51.75 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

Οι πελάτες αγόρασαν επίσης

Organisches Germanium Kazuhiko Asai / Βιβλίο Χαρτόδετο
common.buy 17.82 €
Das Innerste Beruhren Maike Stüven / Βιβλίο Σκληρόδετο
common.buy 16.20 €
Hochdeutsche Gedichte Friedrich Stoltze / Βιβλίο Χαρτόδετο
common.buy 41.92 €
Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht / Βιβλίο Χαρτόδετο
common.buy 19.03 €
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Βιβλίο Χαρτόδετο
common.buy 24.20 €
Catálogo da flora vascular galega NIÑO RICOI / Βιβλίο Χαρτόδετο
common.buy 18.73 €
Prehistorický svět v životní velikosti Dougal Dixon / Βιβλίο Σκληρόδετο
common.buy 17.92 €

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Συγγραφέας Christian Herde
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2011
Αριθμός σελίδων 163
EAN 9783834814944
ISBN 3834814946
Κωδικός Libristo 01782369
ΕΕκδοτικός οίκος Springer Fachmedien Wiesbaden
Βάρος 228
Διαστάσεις 148 x 210 x 9

Κατηγορία

Computing & Information Technology > Computer science
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Plays by H. J. Byron Jim Davis / Βιβλίο Σκληρόδετο
common.buy 10.73 €
The Book Nook Curse Laetitia Clark / Βιβλίο Χαρτόδετο
common.buy 17.41 €
GAMERS BAR REEDER CASSANDRA / Βιβλίο Σκληρόδετο
common.buy 20.75 €
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Βιβλίο Χαρτόδετο
common.buy 37.06 €
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Βιβλίο Σκληρόδετο
common.buy 103.10 €
Awesome Truths: Confessions of a Believer A Atkinson / Βιβλίο Χαρτόδετο
common.buy 11.74 €
Are You Addicted To Food? Diane Del Vescio / Βιβλίο Χαρτόδετο
common.buy 18.42 €
Ellen Shipman and the American Garden Judith B. Tankard / Βιβλίο Σκληρόδετο
common.buy 39.29 €
Basic Equality and Discrimination Smith / Βιβλίο Χαρτόδετο
common.buy 80.81 €
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Βιβλίο Σκληρόδετο
common.buy 20.55 €
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Βιβλίο Χαρτόδετο
common.buy 51.75 €
English Plus: Starter: Audio CD Ben Wetz / Audio Audio CD
common.buy 50.02 €
Competitive Strategies for the 21st Century Thomas Mahnken / Βιβλίο Χαρτόδετο
common.buy 32.91 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;