- 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
-
1221
Hybrid systems IV /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1222
Intelligence in services and networks : technology for cooperative competition /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1223
Computer performance evaluation : modelling techniques and tools /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1224
CONCUR -1997 : Concurrency theory /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1225
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 -
1226
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 -
1227
Biological and artificial computation : from neuroscience to technology /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1228
Rewriting techniques and applications /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1229
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 -
1230
Information processing in medical imaging /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1231
Languages and compilers for parallel computing /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1232
Logic foundations of computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1233
Software configuration management /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1234
High-performance computing and networking /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1235
Computational intelligence : theory and applications /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1236
Modular programming languages /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1237
Algorithms and complexity /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1238
ZUM'97 : the Z formal specification notation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1239
Vector and parallel processig - VECPAR '96 /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1240
Mobile object systems : towards the programmable internet /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book