- 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
-
1181
Some mathematical questions in biology IV /
Published 1973“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1182
Some mathematical questions in biology V /
Published 1974“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1183
Some mathematical questions in biology VI /
Published 1974“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1184
Some mathematical questions in biology VII /
Published 1976“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1185
Some mathematical questions in biology VIII /
Published 1977“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1186
Some mathematical questions in biology IX /
Published 1978“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1187
Some mathematical questions in biology X /
Published 1979“…Lectures on mathematics in the life sciences ;…”
Conference Proceeding Book -
1188
Specification and analysis of concurrent systems : the cosy approach /
Published 1992“…EATCS monographs on theoretical computer science ;…”
Book -
1189
-
1190
Compiler generators : what they can do, what they might do, and what they will probably never do /
Published 1990“…EATCS monographs on theoretical computer science ;…”
Book -
1191
Relations and graphs : discrete mathematics for computer scientists /
Published 1993“…EATCS monographs on theoretical computer science…”
Book -
1192
Iteration theories : the equational logic of iterative processes /
Published 1993“…EATCS monographs on theoretical computer science…”
Book -
1193
Algorithmic foundations of geographic information systems /
Published 1997“…Lecture notes in computer science ;…”
Book -
1194
Evolution of parallel cellular machines : the cellular programming approach.
Published 1997“…Lecture notes in computer science ;…”
Book -
1195
Disconnected operation in a distributed file system /
Published 1995“…Lecture notes in computer science ;…”
Book -
1196
Advances in intelligent data analysis : reasoning about data /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1197
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1198
Worldwide computing and its applications - WWCA'98 /
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1199
Advances in spatial databases /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1200
Computer science logic /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book