- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
1541
Introduction to functional programming /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
1542
Structure and interpretation of computer programs /
Published 1985“…The MIT electrical engeneering and computing science series…”
Book -
1543
Elementary fluid dynamics /
Published 1995“…Oxford applied mathematics and computing science series…”
Book -
1544
-
1545
Logistic regression : a self-learning text /
Published 1994“…Statistics in the health sciences…”
Book -
1546
The use of restricted significance tests in clinical trials /
Published 1992“…Statistics in the health sciences…”
Book -
1547
-
1548
-
1549
-
1550
Integrated analog-to-digital and digital-to-analog converters /
Published 1994“…The Kluwer international series in engineering and computer science…”
Book -
1551
Database programming languages : deductive, functional, persistent and object-oriented approaches /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
1552
Mechanized reasoning and hardware design /
Published 1992“…Prentice-Hall international series in computer science…”
Book -
1553
Logic and its applications /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
1554
Mathematics for computer science /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
1555
Introduction to Pascal /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
1556
Programming language concepts and paradigms /
Published 1990“…Prentice-Hall international series in computer science…”
Book -
1557
Computer science : modern introduction /
Published 1988“…Prentice-Hall international series in computer science…”
Book -
1558
Distributed systems and computer networks /
Published 1987“…Prentice-Hall international series in computer science…”
Book -
1559
From logic programming to PROLOG /
Published 1997“…Prentice-Hall international series in computer science…”
Book -
1560
Semantics of sequential and parallel programs /
Published 1996“…Prentice-Hall international series in computer science…”
Book