Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Texts in Theoretical Computer Science. An EATCS Series"', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2016
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2008
    “…Texts in Theoretical Computer Science, An Eatcs Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email