- Programación-Técnicas
- Programming techniques 27
- Lenguajes de programación 19
- Programming languages 18
- Ingeniería de software 14
- Software engineering 14
- Lógica y significado de programas 8
- Logics and meanings of programs 7
- Computation by abstract devices 5
- Computer networks 5
- Lenguajes formales 5
- Lógica matemática 5
- Redes de computadoras 5
- Analysis of algorithms and problem complexity 4
- Análisis de algoritmos y problemas de complejidad 4
- Computación mediante dispositivos abstractos 4
- Database management 4
- Deducción y prueba de teoremas 4
- Formal languages 4
- Mathematical logic 4
- Operating systems 4
- Programas-Especificación 4
- Programs-Specification 4
- Sistemas operativos 4
- Administración de base de datos 3
- Administrative data processing 3
- Deduction and theorem proving 3
- Discrete mathematics 3
- Language classifications 3
- Language constructs and features 3
-
1
Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
2
Programming languages and systems-ESOP'96 /
Published 1996Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
3
Concepts, techniques and models of computer programming /
Published 2004Subjects: “…Lenguajes de programación…”
Book -
4
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
5
ADA 95 reference manual : language and standard libraries : international standard ISO/IEC 8652 : 1995(E) /
Published 1995Subjects:Book -
6
-
7
-
8
Modular programming languages /
Published 1997Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
9
Using OpenMP : portable shared memory parallel programming /
Published 2008Subjects: Table of contents only
Book -
10
-
11
Design and implementation of symbolic computation systems /
Published 1996Subjects:Conference Proceeding Book -
12
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
13
-
14
-
15
-
16
ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
17
-
18
-
19
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
20