An introduction to Lambda Calculi for computer scientists. Volume 2 /

Código QR

An introduction to Lambda Calculi for computer scientists. Volume 2 /

Detalles Bibliográficos
Autor principal:	Hankin, Chris
Formato:	Libro
Lenguaje:	English
Publicado:	Reino Unido : King's College, 2004.
Materias:	Lenguaje computacional Lógica computacional Informática Reducción Semántica Libros

Ejemplares similares

An Introduction to Functional Programming Through Lambda Calculus. /
por: Michaelson, Greg
Publicado: (2011)

Applied logic for computer scientists : computational deduction and formal proofs /
por: Ayala-Rincón, Mauricio
Publicado: (2017)

Lógica para informáticos /
Publicado: (2012)

How to think like a computer scientist : learning with Python /
por: Downey, Allen
Publicado: (2002)

An introduction to fuzzy logic applications in intelligent systems /
Publicado: (1992)

Pentesting con Kali 2.0 /
por: González Pérez, Pablo
Publicado: (2015)

An introduction to computational physics /
por: Pang, Tao
Publicado: (2006)

IEEE Design and Test of Computers.

Especificación de un lenguaje para la definición de condiciones en el software didáctico IYULÚ /
por: Barquero-Lobo, Oscar
Publicado: (1996)

Computational complexity : a modern approach /
por: Arora, Sanjeev
Publicado: (2009)

Computers and intractability : a guide to the theory of NP-Completeness. /
por: Garey, Michael R.
Publicado: (1979)

The secret life of programs : understand computers - craft better code /
por: Steinhart, Jonathan E.
Publicado: (2019)

Quantum computation and quantum information /
por: Nielsen, Michael A.
Publicado: (2010)

The turing omnibus 61 excursions in computer science /
por: Dewdney, A. K.
Publicado: (1989)

Advances in fuzzy implication functions /
Publicado: (2013)

Computational intelligence : an introduction /
por: Engelbrecht, Andries P.
Publicado: (2007)

Java 2 : manual de referencia. /
por: Schildt, Herbert
Publicado: (2001)

Foundations of statistical natural language processing /
por: Manning, Christopher D.
Publicado: (1999)

Lenguaje icónico orientado a objetos para especificar condiciones en Iyulú /
por: Rodríguez-Cháves, Arnoldo
Publicado: (1977)

A survey of computational physics : introductory computational science /
por: Landau, Rubin H.
Publicado: (2011)

Prácticas de laboratorio con tu PC en "bloques" /
por: García-Burciaga-de-Cepeda, Margarita
Publicado: (1998)

Hacking con buscadores : Google, Bing & Shodan /
por: Rando González, Enrique
Publicado: (2014)

Java 2 : Manual de usuario y tutorial.
por: Froufe-Quintas, Agustín
Publicado: (2009)

Diseño de una infraestructura de computación de alto rendimiento para objetos paralelos en un lenguaje de alto nivel /
por: Meneses, Esteban
Publicado: (2017)

Computational Neuroscience : Trends in Research, 1998 /
Publicado: (1998)

Algorithms for computational biology /
Publicado: (2017)

Programación en Java 2 : algoritmos, estructuras de datos y programación orientada a objetos /
por: Joyanes-Aguilar, Luis
Publicado: (2002)

Computer programming using C language /
por: Ramavtar Yadav, Rajkumar
Publicado: (2020)

UML : modelado de software para profesionales /
por: Fontela, Carlos
Publicado: (2011)

Curso practico de introduccion a la informatica por competencias : /
por: Peña-Pérez, Rosario
Publicado: (2017)

Computer and intenet security : a hands-on approach /
por: Du, Wenliang
Publicado: (2022)

Cracking codes with Python : an introduction to building and breaking ciphers /
por: Sweigart, Al
Publicado: (2018)

Hacking y seguridad en comunicaciones móviles GSM / GPRS / UMTS / LTE /
por: Picó García, José
Publicado: (2014)

IEEE Computer Architecture Letters.

Software Requirements. /
por: Wiegers, Karl
Publicado: (2013)

Computabilidad y computación cuántica : revisión de modelos alternativos de computación /
por: Morales-Luna, Guillermo

Advances of soft computing in engineering /
Publicado: (2010)

Applying computational intelligence : how to create value /
por: Kordon, Arthur
Publicado: (2010)

Linux exploiting : guía práctica de explotación de vulnerabilidades /
por: Puente Castro, David
Publicado: (2013)

Fundamentos de programación en lenguaje C /
por: Menchaca-García, Felipe Rolando
Publicado: (1999)