- 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
-
1241
Topology of real algebraic sets /
Published 1992“…Mathematical Sciences Research Institute publications ;…”
Book -
1242
Tight and taut submanifolds : papers in honor of Nicolaas H. Kuiper /
Published 1997“…Mathematical Sciences Research Institute publications ;…”
Book -
1243
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1244
Evolutionary programming VI : 6th international conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Book -
1245
New trends in formal languages : control, cooperation and combinatorics /
Published 1997“…Lecture notes in computer science ;…”
Book -
1246
Tools and algorithms for the construction and analysis of systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1247
Hybrid and real-time systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1248
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1249
Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1250
Multimedia telecommunications and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1251
Constraint databases and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1252
Analysis and verification of multiple-agent languages /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1253
Communication and architectural support for network-based parallel computing /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1254
Graph-theoretic concepts in computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1255
Numerical analysis and its applications /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1256
Applied parallel computing : industrial computation and optimization /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1257
Database issues for data visualization /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1258
Optimization of SQL queries for parallel machines /
Published 1996“…Lecture notes in computer science ;…”
Book -
1259
Perspectives of system informatics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1260
Foundations of software technology and theoretical computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book