- Artificial intelligence 73
- Inteligencia artificial 73
- Software engineering 62
- Logics and meanings of programs 58
- Lógica y significado de programas 55
- Programming languages 55
- Ingeniería de software 51
- Lenguajes de programación 51
- Analysis of algorithms and problem complexity 45
- Análisis de algoritmos y problemas de complejidad 43
- Mathematical logic 43
- Computer networks 40
- Formal languages 39
- Lógica matemática 39
- Redes de computadoras 39
- Computation by abstract devices 38
- Deducción y prueba de teoremas 38
- Deduction and theorem proving 37
- Discrete mathematics 37
- Database management 36
- Lenguajes formales 36
- Mathematical logic-Computation 36
- Computación mediante dispositivos abstractos 34
- Data encryption 34
- Lógica matemática-Computación 34
- Sistemas distribuidos 34
- Distributed systems 33
- Matemática discreta 33
- Programming techniques 33
- Administrative data processing 32
-
181
Algebraic methodology and software technology /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
182
Algorithms - ESA '94 /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
183
Computer vision, ECCV '96 : 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
184
Computing and combinatorics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
185
Logic program synthesis and transformation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
186
Algorithms and data structures /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
187
CONCUR - 1994 : Concurrency theory /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
188
Algebraic methodology and software technology /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
189
Reliable software technologies - ADA-Europe'97 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
190
Randomization and approximation techniques in computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
191
Logic program synthesis and transformation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
192
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
193
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 -
194
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 -
195
Audio-and video-based biometric person authentication /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
196
Advances in cryptology - EUROCRYPT '97 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
197
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 -
198
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 -
199
Languages and compilers for parallel computing /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
200
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