- Software-Requerimientos y especificaciones
- Software-Requeriments and specifications 7
- Programas-Especificación 6
- Programs-Specification 6
- Software-Design 4
- Software-Diseño 4
- Software-Requirements and specifications 4
- Distributed systems 3
- Programming languages-Formal definitions and theory 3
- Sistemas distribuidos 3
- Software-Herramientas y técnicas 3
- Administrative data processing 2
- Analysis of algorithms and problem complexity 2
- Análisis de algoritmos y problemas de complejidad 2
- Computer networks 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Language classifications 2
- Lenguajes de programación 2
- Lenguajes de programación-Definiciones formales y teoría 2
- Procesamiento de datos administrativos 2
- Programming languages 2
- Redes de computadoras 2
- Semantics of programming languages 2
- Software-Tools and techniques 2
- Administración de base de datos 1
- Administración de sistemas de computación y de información 1
- Algebraic manipulation 1
- Aplicaciones de los sistemas de información 1
- Automatic programming 1
-
1
-
2
-
3
-
4
-
5
-
6
Design and implementation of symbolic computation systems /
Published 1996Conference Proceeding Book -
7
-
8
-
9
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Conference Proceeding Book -
10
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995Conference Proceeding Book -
11