- 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
-
241
ADA 95 reference manual : language and standard libraries : international standard ISO/IEC 8652 : 1995(E) /
Published 1995“…Lecture notes in computer science ;…”
Book -
242
ADA 95 rationale : the language, the standard libraries /
Published 1995“…Lecture notes in computer science ;…”
Book -
243
Automata, languages and programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
244
Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16-20, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
245
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
246
Implementation of functional languages /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
247
Advances in databases : 15th British National Convention on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
248
Information security and privacy : Second Australian Conference, ACISP '97, Sydney, NSW, Australia, June 7-9, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
249
Energy minimization methods in computer vision and pattern recognition /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
250
Hybrid systems IV /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
251
Intelligence in services and networks : technology for cooperative competition /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
252
Computer performance evaluation : modelling techniques and tools /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
253
CONCUR -1997 : Concurrency theory /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
254
Multimedia applications, services and techniques : ECMAST '97, 2nd European conference, Milan, Italy, May 21-23, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
255
ECOOP'97, object-oriented programming : 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
256
Biological and artificial computation : from neuroscience to technology /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
257
Rewriting techniques and applications /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
258
Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain,...
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
259
Information processing in medical imaging /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
260
Languages and compilers for parallel computing /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book