- 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
-
1281
Logic in databases /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1282
Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1283
Practice and theory of automated timetabling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1284
What's happening in the mathematical sciences 1993-1994 /
Published 1993“…What's happening in the mathematical sciences ;…”
Book -
1285
What's happening in the mathematical sciences 1994-1995 /
Published 1994“…What's happening in the mathematical sciences ;…”
Book -
1286
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1287
-
1288
Computer security-ESORICS 96 / 4º European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1289
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1290
Visualization in biomedical computing /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1291
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1292
Computer aided verification /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1293
Parallel problem solving from nature - PPSN IV : nternational Conference on Evolutionary Computation, the 4th International Conference on Parallel Problem Solving from Nature, Berl...
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1294
Object representation in computer vision II / ECCV ’96 International Workshop, Cambridge, UK, April 13-14, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1295
Algorithms - ESA'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1296
Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1297
Design and implementation of symbolic computation systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1298
Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1299
Theorem proving in higher order logics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1300
Formal techniques in real-time and fault-tolerant systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book