Informática

1993

1. A demand driven computation strategy for lazy narrowing

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

2. A massively parallel memory-based story system for psychotherapy

   Computers and Biomedical Research, Vol. 26, Núm. 5, pp. 415-423

3. A technique for specifying and refining TCSP processes by using guards and liveness conditions

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

4. AN APPROACH TO MODULE BINDING BY FUZZY PARTITIONING

   EURO-DAC 93 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL 93 : PROCEEDINGS

5. Approach to module binding by fuzzy partitioning

   European Design Automation Conference - Proceedings

6. Contabilidad de operaciones con derechos de suscripción preferente: dos casos prácticos

   Actualidad financiera, Núm. 1, pp. 215-222

7. Data path structures and heuristics for testable allocation in high level synthesis

   Microprocessing and Microprogramming, Vol. 39, Núm. 2-5, pp. 263-266

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

   México : Prentice Hall, D.L. 1993

9. Foundations of a theorem prover for functional and mathematical uses

   Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38

10. Frenkel-Kontorova model with a transversal degree of freedom: Static properties of kinks

    Physical Review B, Vol. 48, Núm. 6, pp. 3734-3743

11. Global hardware synthesis guided by realistic probability computation

    Microprocessing and Microprogramming, Vol. 39, Núm. 2-5, pp. 233-236

12. Guidance for optimization-based synthesis tools

    Microprocessing and Microprogramming, Vol. 37, Núm. 1-5, pp. 95-98

13. La cultura informática en el Madrid del 92

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 1

14. Laser-induced transverse thermoelectric potential in bismuth films: Evidence for optical pumping to a metastable band

    Physical Review B, Vol. 47, Núm. 15, pp. 9844-9848

15. OSAM. KBMS: An Object-Oriented Knowledge Base Management System for Supporting Advanced Applications

    ACM SIGMOD Record, Vol. 22, Núm. 2, pp. 540-541

16. On the completeness of narrowing as the operational semantics of functional logic programming

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

17. Planning national telecommunication networks

    Electrical Communication, pp. 188-194

18. Process instances in LOTOS simulation*

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

19. Relaciones entre la informática y el lenguaje: el caso del español

    Informática y automática: revista de la Asociación Española de Informática y Automática, Vol. 26, Núm. 1, pp. 37-47

20. Selección de módulos por particionamiento borroso

    VIII Congreso Diseño de Circuitos Integrados: Málaga, 9 al 11 de noviembre de 1993