- 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
Artificial neural networks : INCANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
182
Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings /
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
183
Algebraic methodology and software technology /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
184
Algorithms - ESA '94 /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
185
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 -
186
Computing and combinatorics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
187
Logic program synthesis and transformation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
188
Algorithms and data structures /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
189
CONCUR - 1994 : Concurrency theory /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
190
Algebraic methodology and software technology /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
191
Reliable software technologies - ADA-Europe'97 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
192
Randomization and approximation techniques in computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
193
Logic program synthesis and transformation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
194
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
195
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 -
196
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 -
197
Audio-and video-based biometric person authentication /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
198
Advances in cryptology - EUROCRYPT '97 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
199
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 -
200
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