- 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
-
261
High-performance computing and networking /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
262
Computational intelligence : theory and applications /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
263
Modular programming languages /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
264
Algorithms and complexity /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
265
ZUM'97 : the Z formal specification notation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
266
Vector and parallel processig - VECPAR '96 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
267
Mobile object systems : towards the programmable internet /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
268
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
269
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
270
Evolutionary programming VI : 6th international conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Book -
271
New trends in formal languages : control, cooperation and combinatorics /
Published 1997“…Lecture notes in computer science ;…”
Book -
272
Tools and algorithms for the construction and analysis of systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
273
Hybrid and real-time systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
274
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
275
Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
276
Multimedia telecommunications and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
277
Constraint databases and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
278
Analysis and verification of multiple-agent languages /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
279
Communication and architectural support for network-based parallel computing /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
280
Graph-theoretic concepts in computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book