- Lenguajes de programación 41
- Programming languages 40
- Software engineering 26
- Programación-Técnicas 25
- Programming techniques 25
- Logics and meanings of programs 24
- Lógica y significado de programas 24
- Ingeniería de software 23
- Lógica matemática 20
- Concurrent programming 19
- Mathematical logic 19
- Programación concurrente 18
- Economía 17
- Juegos 17
- Programación 17
- Investigación operativa 16
- Distributed systems 15
- Lenguajes formales 15
- Sistemas distribuidos 15
- Análisis numérico 14
- Formal languages 14
- Operating systems 14
- Sistemas operativos 14
- Computation by abstract devices 13
- Database management 13
- Matemática discreta 13
- Computer networks 12
- Deducción y prueba de teoremas 12
- Deduction and theorem proving 12
- Discrete mathematics 12
-
1
Job scheduling strategies for parallel processing : IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
2
Programming languages : implementations, logics and programs : Proceedings /
Published 1995Subjects:Conference Proceeding Book -
3
ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings / /
Published 1995Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
4
Proceedings of the workshop on implementation of lazy functional languages /
Published 1988Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
5
Applied game theory : proceedings of a conference at the Institute for Advanced Studies, Vienna, June 13-16, 1978 /
Published 1979Subjects:Conference Proceeding Book -
6
Pseudo-boolean programming and applications : [Lectures] presented at the Colloquium on Mathematics and Cybernetics in the Economy /
Published 1965Subjects:Conference Proceeding Book -
7
-
8
-
9
-
10
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
11
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
12
Nonlinear programming proceeding /
Published 1970Subjects: “…1982 PROGRAMACION NO LINEAL…”
Get full text
Conference Proceeding Book -
13
Implementation of functional languages /
Published 1997Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
14
Analysis and verification of multiple-agent languages /
Published 1997Subjects: “…Programación concurrente.…”
Conference Proceeding Book -
15
Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, Boise State University, Boise, Idaho
Published 1996Subjects:Conference Proceeding Book -
16
Modular programming languages /
Published 1997Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
17
Logic program synthesis and transformation /
Published 1996Subjects: “…Programación automática.…”
Conference Proceeding Book -
18
Design and implementation of symbolic computation systems /
Published 1996Subjects:Conference Proceeding Book -
19
Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...
Published 1998Subjects:Conference Proceeding Book -
20
Languages and compilers for parallel computing /
Published 1997Subjects:Conference Proceeding Book