Lenguajes de programación y extensión/scripting: general
KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING
978-0-521-81802-5FORMATO PAPEL
BARAL, CHITTA
BARAL, CHITTA
LAMBDA-CALCULUS AND COMBINATORS
978-0-521-89885-0FORMATO PAPEL
HINDLEY, J. ROGER, SELDIN, JONATHAN P.
HINDLEY, J. ROGER, SELDIN, JONATHAN P.
MEMORY PROGRAM CONCEPT C AND C++
978-0-521-81720-2FORMATO PAPEL
FRANEK, FRANTISEK
FRANEK, FRANTISEK
MODERN FORTRAN
978-0-521-73052-5FORMATO PAPEL
CLERMAN, NORMAN S., SPECTOR, WALTER
CLERMAN, NORMAN S., SPECTOR, WALTER
MODERN FORTRAN IN PRACTICE
978-1-107-60347-9FORMATO PAPEL
MARKUS, ARJEN
MARKUS, ARJEN
SPECIFICATION AND PROOF IN REAL TIME CSP
978-0-521-45055-3FORMATO PAPEL
DAVIES, JIM
DAVIES, JIM
STEPS IN SCALA
978-0-521-74758-5FORMATO PAPEL
LOVERDOS, CHRISTOS K. K., SYROPOULOS, APOSTOLOS
LOVERDOS, CHRISTOS K. K., SYROPOULOS, APOSTOLOS
THE B-BOOK
978-0-521-02175-3FORMATO PAPEL
JEAN-RAYMOND ABRIAL, J. R. ABRIAL
JEAN-RAYMOND ABRIAL, J. R. ABRIAL
THE HASKELL SCHOOL OF EXPRESSION
978-0-521-64338-2FORMATO PAPEL
HUDAK, PAUL
HUDAK, PAUL
TRANSITIONS AND TREES
978-0-521-14709-5FORMATO PAPEL
HANS HÜTTEL, HÜTTEL, HANS
HANS HÜTTEL, HÜTTEL, HANS
Programación informática / desarrollo de software
- Algoritmos y estructuras de datos
- Compiladores
- Conceptos de programa / aprendizaje de la programación
- Desarrollo y programación de juegos
- Ingeniería del software
- Lenguajes de programación y extensión/scripting: general
- Programación ágil
- Programación de bases de datos
- Programación de gráficos
- Programación de los PDA / ordenadores de bolsillo
- Programación de Macintosh
- Programación de Microsoft
- Programación de redes
- Programación de web
- Programación extrema
- Programación funcional
- Programación orientada a aspectos / POA
- Programación orientada a objetos (POO)