- 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
-
1261
Security protocols /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1262
Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1263
Algorithms and computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1264
Discrete geometry for computer imagery : 6th international workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1265
Information hiding /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1266
Building tightly integrated software development environments : the IPSEN approach /
Published 1996“…Lecture notes in computer science ;…”
Book -
1267
Formal systems specification : the RPC memory specification case study /
Published 1996“…Lecture notes in computer science ;…”
Book -
1268
Efficient visual recognition using the Hausdorff distance /
Published 1996“…Lecture notes in computer science ;…”
Book -
1269
Information security and privacy : First Australian Conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1270
Formal methods for industrial applications : specifying and programming the steam boiler control /
Published 1996“…Lecture notes in computer science ;…”
Book -
1271
Software configuration management /
Published 1996“…Lectrure notes in computer science ;…”
Conference Proceeding Book -
1272
Conceptual modeling - ER '96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1273
Types for proofs and programs /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1274
Trends in distributed systems : CORBA and beyond /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1275
Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1276
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 -
1277
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 -
1278
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 -
1279
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 -
1280
Formal methods in computer-aided design /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book