- 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
-
1301
Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1302
The data parallel programming model : foundations, HPF realization and scientific applications /
Published 1996“…Lecture notes in computer science ;…”
Book -
1303
Recent trends in data type specification /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1304
Advances in structural and syntactical pattern recognition /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1305
Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Book -
1306
Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1307
Principles and practice of constraint programming, CP96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1308
Computer aided systems theory - EUROCAST'95 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1309
Fast software encryption /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1310
Mathematical foundations of computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1311
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Book -
1312
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1313
Tools and algorithms for the construction and analysis of systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1314
Interactive distributed multimedia systems and services /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1315
Broadband communications : networks, services, applications, future directions /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1316
Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995 : invited session papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1317
Applied parallel computing : computations in physics, chemistry and engineering science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1318
Constraint databases and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1319
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1320
Computer aided learning and instruction in science and engineering /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book