- Lenguajes de programación 12
- Programming languages 12
- Concurrent programming 4
- Functional programming 4
- Programación funcional 4
- Lógica matemática 3
- Mathematical logic 3
- Programación concurrente 3
- Artificial intelligence 2
- Computación 2
- Computer networks 2
- Computer science 2
- Formal languages 2
- Ingeniería de software 2
- Inteligencia artificial 2
- Lenguajes formales 2
- Logic programming 2
- Modelos de computación 2
- Models of computation 2
- Modes of computation 2
- Modos de computación 2
- PASCAL 2
- PROLOG 2
- Redes de computadoras 2
- Software engineering 2
- Z. 2
- ALGORITMOS 1
- Abstract data types 1
- Algoritmos no numéricos y problemas 1
- Algoritmos numéricos y problemas 1
-
21
Mathematics for computer science /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
22
Introduction to Pascal /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
23
Programming language concepts and paradigms /
Published 1990“…Prentice-Hall international series in computer science…”
Book -
24
Computer science : modern introduction /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
25
Distributed systems and computer networks /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
26
From logic programming to PROLOG /
Published 1997“…Prentice-Hall international series in computer science…”
Book -
27
Semantics of sequential and parallel programs /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
28
Cornerstones of undecidability /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
29
Partial evaluation and automatic program generation /
Published 1999“…Prentice-Hall international series in computer science…”
Book -
30
An introduction to formal specification and Z /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
31
Principles of concurrent and distributed programming
Published 1990“…Prentice-Hall international series in computer science…”
Book -
32
Principles of protocol design /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
33
Using Z : specification, refinement and proof /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
34
Applications of formal methods /
Published 1995“…Prentice-Hall international series in computer science…”
Book -
35
High-level programmer's guide to the 68000 /
Published 1992“…Prentice-Hall international series in computer science…”
Book -
36
Communication and concurrency /
Published 1989“…Prentice-Hall international series in computer science…”
Book -
37
Object-oriented databases /
Published 1991“…Prentice-Hall international series in computer science…”
Book -
38
Reasoned programming /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
39
Computation as logic /
Published 1993“…Prentice-Hall international series in computer science…”
Book -
40
Distributed systems analysis with CCS /
Published 1997“…Prentice-Hall international series in computer science…”
Book