Materias dentro de su búsqueda.
Mostrando 1 - 14 Resultados de 14 Para Buscar '"Lambdas"', tiempo de consulta: 0.08s Limitar resultados
  1. 1
    Lambda-calculus, types and models
    por Krivine, J. L.
    Publicado 1993
    Materias: “…Cálculo lambda…”
    Libro
  2. 2
    La teología natural y cósmica de Aristóteles en "Lambda" 10
    Materias: “…Aristóteles Lambda…”
    Enlace del recurso
    Capítulo
  3. 3
    The lambda calculus : its syntax and semantics
    por Barendregt, H. P.
    Publicado 1981
    Materias:
    Libro
  4. 4
    The lambda calculus : its syntax and semantics
    por Barendregt, H. P.
    Publicado 1985
    Materias:
    Libro
  5. 5
    Computable structures and the hyperarithmetical hierarchy
    por Ash, C. J.
    Publicado 2006
    Materias:
    Libro
  6. 6
    Lectures on the Curry-Howard isomorphism
    por Sorensen, Morten Heine
    Publicado 2007
    Materias:
    Libro
  7. 7
    The calculi of lambda-conversion
    por Church, Alonzo, 1903-1995
    Publicado 1985
    Materias:
    Libro
  8. 8
    Case study : how Honeycomb used Serverless to speed up it's servers
    Publicado 2022
    Materias:
    Video
  9. 9
    Java Challenge
    Publicado 2020
    Materias:
    Libro electrónico
  10. 10
    Language in action : categories, lambdas, and dynamic logic
    por Benthem, J. F. A. K. van, 1949-
    Publicado 1991
    Materias:
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca de la Universidad de Navarra)
    Libro
  11. 11
    Java – die Neuerungen in Version 9 bis 14
    Publicado 2020
    Materias:
    Libro electrónico
  12. 12
    Der Weg zum Java-Profi : Konzepte und Techniken für die professionelle Java-Entwicklung
    por Inden, Michael
    Publicado 2020
    Materias:
    Libro electrónico
  13. 13
    Internal Combustion Engines Improving Performance, Fuel Economy and Emissions
    Publicado 2020
    Materias:
    Libro electrónico
  14. 14
    A Meeting of Minds: In Recognition of the Contributions of Randall J. Cohrs
    Publicado 2022
    Materias:
    Libro electrónico

Herramientas de búsqueda: