- 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
-
1201
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /
Published 1997“…Lecture notes in computer science ;…”
Book -
1202
Parallel computing technologies /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1203
Automata implementation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1204
Computing and combinatorics /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1205
Computer aided verification : proceedindings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1206
Solving irregularly structured problems in parallel /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1207
Scale-space theory in computer vision /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1208
Evolvable systems : from biology to hardware /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1209
Combinatorial pattern matching /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1210
ADA 95 reference manual : language and standard libraries : international standard ISO/IEC 8652 : 1995(E) /
Published 1995“…Lecture notes in computer science ;…”
Book -
1211
ADA 95 rationale : the language, the standard libraries /
Published 1995“…Lecture notes in computer science ;…”
Book -
1212
Automata, languages and programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1213
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 -
1214
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 -
1215
What is happening in the mathematical sciences 1998-1999 /
Published 1999“…What's happening in the mathematical sciences ;…”
Book -
1216
Implementation of functional languages /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1217
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 -
1218
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 -
1219
Energy minimization methods in computer vision and pattern recognition /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1220
Hybrid systems IV /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book