- Lenguajes de programación 10
- Programming languages 10
- Concurrent programming 4
- Functional programming 3
- Programación concurrente 3
- Programación funcional 3
- Computación 2
- Computer networks 2
- Computer science 2
- Ingeniería de software 2
- Lógica matemática 2
- Mathematical logic 2
- Modelos de computación 2
- Models of computation 2
- Redes de computadoras 2
- Software engineering 2
- Z. 2
- Algoritmos numéricos y problemas 1
- Bases de datos 1
- Clases de complejidad 1
- Clasificación de lenguajes 1
- Complexity classes 1
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Computer programming 1
- Concurrent systems 1
- Databases 1
- Design styles 1
- Distributed systems 1
- Electronic digital computers 1
-
1
The implementation of functional programming languages /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
2
Communicating sequential processes /
Published 1985“…Prentice-Hall International series in computer science…”
Book -
3
Object-oriented software construction /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
4
Functional programming using standard ML /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
5
Introduction to functional programming /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
6
Database programming languages : deductive, functional, persistent and object-oriented approaches /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
7
Mechanized reasoning and hardware design /
Published 1992“…Prentice-Hall international series in computer science…”
Book -
8
Logic and its applications /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
9
Mathematics for computer science /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
10
Introduction to Pascal /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
11
Programming language concepts and paradigms /
Published 1990“…Prentice-Hall international series in computer science…”
Book -
12
Computer science : modern introduction /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
13
Distributed systems and computer networks /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
14
From logic programming to PROLOG /
Published 1997“…Prentice-Hall international series in computer science…”
Book -
15
Semantics of sequential and parallel programs /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
16
Cornerstones of undecidability /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
17
Partial evaluation and automatic program generation /
Published 1999“…Prentice-Hall international series in computer science…”
Book -
18
An introduction to formal specification and Z /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
19
Principles of concurrent and distributed programming
Published 1990“…Prentice-Hall international series in computer science…”
Book -
20
Principles of protocol design /
Published 1994“…Prentice-Hall international series in computer science…”
Book