- 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
-
1561
Cornerstones of undecidability /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
1562
Predictive modular neural networks : applications to time series /
Published 1998“…The Kluwer international series in engineering and computer science…”
Book -
1563
Partial evaluation and automatic program generation /
Published 1999“…Prentice-Hall international series in computer science…”
Book -
1564
An introduction to formal specification and Z /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
1565
Principles of concurrent and distributed programming
Published 1990“…Prentice-Hall international series in computer science…”
Book -
1566
Principles of protocol design /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
1567
Using Z : specification, refinement and proof /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
1568
Applications of formal methods /
Published 1995“…Prentice-Hall international series in computer science…”
Book -
1569
High-level programmer's guide to the 68000 /
Published 1992“…Prentice-Hall international series in computer science…”
Book -
1570
Communication and concurrency /
Published 1989“…Prentice-Hall international series in computer science…”
Book -
1571
Object-oriented databases /
Published 1991“…Prentice-Hall international series in computer science…”
Book -
1572
Reasoned programming /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
1573
The alternative mathematical model of linguistic semantic and pragmatics /
Published 1992“…IFSR international series on systems science and engineering ;…”
Book -
1574
Trellis decoding of books codes : a practical approach /
Published 1997“…The Kluwer international series in engineering and computer science…”
Book -
1575
Communication complexity and parallel computing /
Published 1997“…Texts in theoretical computer science…”
Book -
1576
-
1577
Computation as logic /
Published 1993“…Prentice-Hall international series in computer science…”
Book -
1578
Distributed systems analysis with CCS /
Published 1997“…Prentice-Hall international series in computer science…”
Book -
1579
Foundations of semantic databases /
Published 1995“…Prentice-Hall international series in computer science…”
Book -
1580
Parallel numerical algorithms /
Published 1992“…Prentice-Hall international series in computer science…”
Book