- Programming languages
- Lenguajes de programación 247
- Software engineering 38
- Programming techniques 29
- Ingeniería de software 28
- Logics and meanings of programs 25
- Lógica y significado de programas 23
- Mathematical logic 18
- Programación-Técnicas 18
- C++ 16
- JAVA 16
- Lógica matemática 16
- Java 15
- Formal languages 13
- Operating systems 13
- Computer networks 12
- Lenguajes formales 11
- Sistemas operativos 11
- C. 10
- Computation by abstract devices 10
- Redes de computadoras 10
- Concurrent programming 9
- Object-oriented programming 8
- Artificial intelligence 7
- Computación mediante dispositivos abstractos 7
- Deducción y prueba de teoremas 7
- Deduction and theorem proving 7
- Programación orientada a objetos 7
- Automatic programming 6
- Data structures 6
-
261
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997Conference Proceeding Book -
262
-
263
Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /
Published 1996Conference Proceeding Book -
264
Design and implementation of symbolic computation systems /
Published 1996Conference Proceeding Book -
265
Formal techniques in real-time and fault-tolerant systems /
Published 1996Conference Proceeding Book -
266
-
267
-
268
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996Conference Proceeding Book -
269
-
270
-
271
-
272
-
273
-
274
-
275
ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings /
Published 1996Conference Proceeding Book -
276
-
277
-
278
-
279
-
280
Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
Published 1996Conference Proceeding Book