- Programación-Técnicas
- 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
-
2
Using OpenMP : portable shared memory parallel programming /
Published 2008Table of contents only
Book -
3
-
4
-
5
-
6
-
7
-
8
ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings / /
Published 1995Conference Proceeding Book -
9
Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /
Published 1995Conference Proceeding Book -
10
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995Conference Proceeding Book -
11
-
12
-
13
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /
Published 1996Conference Proceeding Book -
14
Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /
Published 1996Conference Proceeding Book -
15
-
16
-
17
-
18
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995Conference Proceeding Book -
19
-
20