- 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
-
321
Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
322
Theorem proving in higher order logics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
323
Formal techniques in real-time and fault-tolerant systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
324
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 -
325
The data parallel programming model : foundations, HPF realization and scientific applications /
Published 1996“…Lecture notes in computer science ;…”
Book -
326
Recent trends in data type specification /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
327
Advances in structural and syntactical pattern recognition /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
328
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 -
329
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 -
330
Principles and practice of constraint programming, CP96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
331
Computer aided systems theory - EUROCAST'95 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
332
Fast software encryption /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
333
Mathematical foundations of computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
334
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 -
335
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 -
336
Tools and algorithms for the construction and analysis of systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
337
Interactive distributed multimedia systems and services /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
338
Broadband communications : networks, services, applications, future directions /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
339
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 -
340
Applied parallel computing : computations in physics, chemistry and engineering science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book