Sistemas Informáticos y Computación

1997

1. A propósito de Huffman

   Novática: Revista de la Asociación de Técnicos de Informática, Núm. 130, pp. 13

2. A sound and complete proof system for probabilistic processes

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

3. Constraint logic programming with hereditary Harrop formulas

   LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM

4. Denotational semantics for timed testing

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

5. Desarrollo de algoritmos y técnicas de programación en Pascal

   Madrid : RA-MA, D.L. 1997

6. Diseño de programas: formalismo y abstracción

   Madrid [etc. : Prentice Hall, D.L. 1997

7. Eden coordination model for distributed memory systems

   Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS

8. Introducing friendly testing

   V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

9. Paramodulation with built-in AC-theories and symbolic constraints

   Journal of Symbolic Computation, Vol. 23, Núm. 1, pp. 1-21

10. Testing semantics for a probabilistic-timed process algebra

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

11. Testing semantics for unbounded nondeterminism

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

12. The Eden coordination model for distributed memory systems

    SECOND INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS

13. The locker metaphor to teach dynamic memory

    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), Vol. 29, Núm. 1, pp. 169-173

14. Un enfoque basado en conocimiento para la reutilización de frameworks

    CAEPIA'97: actas

15. Verification and refinement of distributed programs in a fair framework

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)