Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
beyond functionality » obesity functionality, network functionality, adding functionality
functionality https » functionality maps, functionality needs, functionality pt
processing beyond » processing second, bioprocessing beyond, processes beyond
java processing » data processing, data processings, data processsing
parallel java » parallel data, parallel scara, parallel a
1
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης