Materias dentro de su búsqueda.
Mostrando 81 - 100 Resultados de 136 Para Buscar '"Theoretical Computer Science"', tiempo de consulta: 0.17s Limitar resultados
  1. 81
    Computability
    por Weihrauch, K. 1943-
    Publicado 1987
    “…EATCS Monographs on Theoretical Computer Science…”
    Libro
  2. 82
    The Lebesgue integral
    por Burkill, J. C. 1900-1993
    Publicado 1975
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  3. 83
    Parsing theory
    por Sippu, Seppo, 1950-
    Publicado 1990
    “…EATCS Monographs on Theoretical Computer Science…”
    Libro
  4. 84
    Algorithmic information theory
    por Chaitin, Gregory J.
    Publicado 1987
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  5. 85
    The clausal theory of types
    por Wolfram, D. A.
    Publicado 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada)
    Libro
  6. 86
    Public-key cryptography
    por Salomaa, Arto
    Publicado 1990
    “…EATCS Monographs on Theoretical Computer Science…”
    Libro
  7. 87
    Information flow : the logic of distributed systems
    por Barwise, Jon
    Publicado 1997
    “…Cambridge Tracts in Theoretical Computer Science…”
    Biblioteca de la Universidad de Navarra (Otras Fuentes: Biblioteca Provicincial Misioneros Claretianos - Provincia de Santiago)
    Libro
  8. 88
    Logic of typed feature structures : with applications to unification grammars, logoc programs and constraint resolution
    por Carpenter, Bob
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  9. 89
    Basic proof theory
    por Troelstra, A. S.
    Publicado 2000
    “…Cambridge tracts in theoretical computer science…”
    Libro
  10. 90
    Topology via logic
    por Vickers, Steven
    Publicado 1989
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  11. 91
    Propositional logic, deduction and algorithms
    por Büning, Hans Kleine
    Publicado 1999
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  12. 92
    Modal logic
    por Blackburn, Patrick, 1959-
    Publicado 2004
    “…Cambridge tracts in theoretical computer science…”
    Sumario
    Libro
  13. 93
    Logic and computation : interactive proof with Cambridge LCF
    por Paulson, Lawrence C.
    Publicado 1990
    “…Cambridge tracts in theoretical computer science…”
    Libro
  14. 94
    Formal semantics and pragmatics for natural language querying
    por Clifford, James, 1945-
    Publicado 1990
    “…Cambridge tracts in theoretical computer science ; 8…”
    Libro
  15. 95
    Unconventional models of computation
    Publicado 1998
    “…Springer Series in Discrete Mathematics and Theoretical Computer Science…”
    Libro
  16. 96
    The limits of mathematics : a course on information theory and limits of formal reasoning
    por Chaitin, Gregory J.
    Publicado 1997
    “…Springer Series in Discrete Mathematics and Theoretical Computer Science…”
    Libro
  17. 97
    Advances in network information theory : DIMACS Workshop Network Information Theory, March 17-19, 2003, Piscataway, New Jersey
    Publicado 2004
    “…DIMACS series in discrete mathematics and theoretical computer science…”
    Libro
  18. 98
    An introduction to formal language theory
    por Moll, Robert N.
    Publicado 1988
    “…The AKM Series in Theoretical Computer Science…”
    Libro
  19. 99
    Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
    Publicado 2012
    Libro electrónico
  20. 100
    Replication : theory and practice
    Publicado 2010
    “…LNCS sublibrary. SL 1, Theoretical computer science and general issues…”
    Libro

Herramientas de búsqueda: