- 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
-
1161
Computational learning theory : an introduction /
Published 1997“…Cambridge tracts in theoretical computer science ;…”
Book -
1162
Semirings, automata, languages /
Published 1986“…EATCS monographs on theoretical computer science ;…”
Book -
1163
Formal methods in artificial intelligence /
Published 1991“…Cambridge tracts in theoretical computer science ;…”
Book -
1164
Nonsequential processes : a Petri net view /
Published 1988“…EATCS monographs on theoretical computer science ;…”
Book -
1165
-
1166
Problems in the foundations of physics /
Published 1971“…Studies in the foundations, methodology and philosophy of science ;…”
Book -
1167
Computing in horn clause theories.
Published 1988“…EATCS monographs on theoretical computer science ;…”
Book -
1168
Mathematics for computer graphics /
Published 1994“…Cambridge tracts in theoretical computer science ;…”
Book -
1169
-
1170
Basic simple type theory /
Published 1997“…Cambridge tracts in theoretical computer science ;…”
Book -
1171
Deduction and declarative programming /
Published 1992“…Cambridge tracts in theoretical computer science ;…”
Book -
1172
Information flow : the logic of distributed systems /
Published 1997“…Cambridge tracts in theoretical computer science ;…”
Book -
1173
Managing information highways : the PRISM book : principles, methods and case studies for designing telecomunications management systems /
Published 1996“…Lecture notes in computer science ;…”
Book -
1174
Spheroidal wave functions : including tables of separation constants and coefficients /
Published 1956“…Technology Press books in science and engineering…”
Book -
1175
Probability theory and computer science /
Published 1983“…International lecture series in computer science…”
Book -
1176
A history of numerical analysis from the 16th through the 19th century /
Published 1977“…Studies in the history of mathematics and physical sciences ;…”
Book -
1177
Some mathematical problems in biology.
Published 1974“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1178
Some mathematical questions in biology.
Published 1970“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1179
Some mathematical questions in biology II /
Published 1972“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1180
Some mathematical questions in biology III /
Published 1972“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book