Proposatutako topikoa bilaketarako iradokizunak
Erakusten 1 - 5 emaitzak -- 5 bilaketa honetara '"Progress in theoretical computer science"', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1
    Comparative metric semantics of programming languages : nondeterminism and recursion /
    Liburua
    nork Breugel, Franck van, 1966-
    Argitaratua 1998
    “...Progress in theoretical computer science...”
    Gogokoenen artean sartu
    Gorde:
  2. 2
    Logic of domains /
    Liburua
    nork Zhang, Guo-Qiang, 1960-
    Argitaratua 1991
    “...Progress in theoretical computer science...”
    Gogokoenen artean sartu
    Gorde:
  3. 3
    ALGOL-like languages /
    Liburua
    Argitaratua 1997
    “...Progress in theoretical computer science...”
    Gogokoenen artean sartu
    Gorde:
  4. 4
    Semantics of type theory : correctness, completeness, and independence results /
    Liburua
    nork Streicher, Thomas, 1958-
    Argitaratua 1991
    “...Progress in theoretical computer science...”
    Gogokoenen artean sartu
    Gorde:
  5. 5
    Complexity theory of real functions /
    Liburua
    nork Ko, Ker-I
    Argitaratua 1991
    “...Progress in theoretical computer science...”
    Gogokoenen artean sartu
    Gorde:
Bilaketa egiteko lanabesak: RSS – Emaitzak posta elektronikoz bidali – Bilaketa gorde