Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Texts in theoretical computer science"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Interactive theorem proving and program development :

    Interactive theorem proving and program development : από Bertot, Yves

    Δημοσίευση 2004
    “…Texts in theoretical computer science…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Extremal combinatorics :

    Extremal combinatorics : από Jukna, Stasys 1953-

    Δημοσίευση 2001
    “…Texts in theoretical computer science…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: