- 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
-
1
From humans to computers : cognition to visual perception /
Published 1999“…Series in computer science ;…”
Book -
2
Information randomness and incompleteness : papers on algorithmic information theory /
Published 1990“…Series in computer science ;…”
Book -
3
P-Prolog : a parallel logic programming language /
Published 1987“…Series in computer science ;…”
Book -
4
Data structures with abstract data types and Pascal /
Published 1985“…Brooks/Cole series in computer science…”
Book -
5
Introduction to functional programming using Haskell /
Published 1998“…Prentice-Hall series in computer science…”
Book -
6
Elementary logics : a procedural perspective /
Published 1998“…Prentice-Hall series in computer science…”
Book -
7
-
8
The theory and practice of concurrency /
Published 1998“…Prentice-Hall series in computer science…”
Book -
9
Compilers : principles, techniques, and tools /
Published 1988“…Addison-Wesley series in computer science…”
Book -
10
Probability theory and computer science /
Published 1983“…International lecture series in computer science…”
Book -
11
Introduction to Automata Theory, Languages and Computation /
Published 1979“…Addison-Wesley Series in Computer Science…”
Book -
12
The implementation of functional programming languages /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
13
Communicating sequential processes /
Published 1985“…Prentice-Hall International series in computer science…”
Book -
14
Machine Learning /
Published 1997“…McGraw-Hill series in computer science…”
Publisher description
Table of contents
Book -
15
Object-oriented software construction /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
16
Functional programming using standard ML /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
17
Introduction to functional programming /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
18
Database programming languages : deductive, functional, persistent and object-oriented approaches /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
19
Mechanized reasoning and hardware design /
Published 1992“…Prentice-Hall international series in computer science…”
Book -
20
Logic and its applications /
Published 1996“…Prentice-Hall international series in computer science…”
Book