- Programación-Técnicas 44
- Programming techniques 42
- Ingeniería de software 19
- Lenguajes de programación 19
- Software engineering 19
- Programming languages 18
- Lógica y significado de programas 8
- Discrete mathematics 7
- Logics and meanings of programs 7
- Matemática discreta 7
- Lógica matemática 6
- Operating systems 6
- Sistemas operativos 6
- Teoría de la computación 6
- Theory of computation 6
- Analysis of algorithms and problem complexity 5
- Análisis de algoritmos y problemas de complejidad 5
- Computation by abstract devices 5
- Computer networks 5
- Data structures 5
- Database management 5
- Lenguajes formales 5
- Mathematical logic 5
- Programas-Especificación 5
- Programs-Specification 5
- Redes de computadoras 5
- Administrative data processing 4
- Análisis numérico 4
- Computación mediante dispositivos abstractos 4
- Deducción y prueba de teoremas 4
-
1
Diseño de programas : formalismo y abstracción /
Published 1998Subjects: “…Programación-Técnicas.…”
Book -
2
Designing and building parallel programs : concepts and tools for parallel software engineering /
Published 1995Subjects: “…Programación-Técnicas.…”
Book -
3
-
4
-
5
-
6
ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings / /
Published 1995Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
7
-
8
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
9
ADA 95 reference manual : language and standard libraries : international standard ISO/IEC 8652 : 1995(E) /
Published 1995Subjects: “…Programación-Técnicas.…”
Book -
10
-
11
Parallel programming with MPI /
Published 1997Subjects: “…Programación-Técnicas.…”
Publisher description
Table of contents
Book -
12
-
13
-
14
-
15
-
16
Using OpenMP : portable shared memory parallel programming /
Published 2008Subjects: “…Programación-Técnicas.…”
Table of contents only
Book -
17
-
18
-
19
-
20
Logic program synthesis and transformation /
Published 1997Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book