- 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
-
1101
CONCUR - 1994 : Concurrency theory /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1102
Algebraic methodology and software technology /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1103
Reliable software technologies - ADA-Europe'97 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1104
Randomization and approximation techniques in computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1105
Logic program synthesis and transformation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1106
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1107
Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1108
Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Book -
1109
Audio-and video-based biometric person authentication /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1110
Advances in cryptology - EUROCRYPT '97 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1111
Advances in databases / 14th British National Conference on Databases, BNCOD 14, Edinburgh, Scotland, United Kingdom, July 3-5, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1112
Computer vision, virtual reality and robotics in medicine and medical robotics and computer-assisted surgery - 10
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1113
Languages and compilers for parallel computing /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1114
Applied algebra, algebraic algorithms and eror-correcting codes : 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1115
-
1116
Mobile agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1117
Deductive and object-oriented databases /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1118
Combinatorial pattern matching /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1119
SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1120