- 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
-
301
Software process technology : 5º European workshop, EWSPT ’96, Nancy, France, October 9-11, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
302
Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
303
Parallel virtual machine, EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
304
Broadband network traffic : performance evaluation and design of broadband multiservice networks : final report of action COST 242 /
Published 1996“…Lecture notes in computer science ;…”
Book -
305
Formal methods in computer-aided design /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
306
Logic in databases /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
307
Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
308
Practice and theory of automated timetabling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
309
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
310
-
311
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 -
312
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 -
313
Visualization in biomedical computing /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
314
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 -
315
Computer aided verification /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
316
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 -
317
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 -
318
Algorithms - ESA'96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
319
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 -
320
Design and implementation of symbolic computation systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book