- 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
-
281
Numerical analysis and its applications /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
282
Applied parallel computing : industrial computation and optimization /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
283
Database issues for data visualization /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
284
Optimization of SQL queries for parallel machines /
Published 1996“…Lecture notes in computer science ;…”
Book -
285
Perspectives of system informatics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
286
Foundations of software technology and theoretical computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
287
Security protocols /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
288
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 -
289
Algorithms and computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
290
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 -
291
Information hiding /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
292
Building tightly integrated software development environments : the IPSEN approach /
Published 1996“…Lecture notes in computer science ;…”
Book -
293
Formal systems specification : the RPC memory specification case study /
Published 1996“…Lecture notes in computer science ;…”
Book -
294
Efficient visual recognition using the Hausdorff distance /
Published 1996“…Lecture notes in computer science ;…”
Book -
295
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 -
296
Formal methods for industrial applications : specifying and programming the steam boiler control /
Published 1996“…Lecture notes in computer science ;…”
Book -
297
Conceptual modeling - ER '96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
298
Types for proofs and programs /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
299
Trends in distributed systems : CORBA and beyond /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
300
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