Informática

1995

1. A second year course on data structures based on functional programming

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

2. Acceptance trees for probabilistic processes

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

3. Asociatividad en álgebras de procesos probabilísticas

   I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

4. COPERNICO: Una herramienta de ayuda para la construcción de bases de conocimiento

   VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

5. Caracterización algorítmica de semialgebraicos básicos

   Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995

6. Distributed parallel computers versus PVM on a workstation cluster in the simulation of time dependent partial differential equations

   Proceedings - Euromicro Workshop on Parallel and Distributed Processing

7. Extension orderings

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

8. From abstract data types to logical frameworks

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

9. INFORMATION OVERLOAD IN THE INFORMATION AGE

   INNOVATIVE ADULT LEARNING WITH INNOVATIVE TECHNOLOGIES

10. Multilevel logic synthesis using algorithms based on natural processes

    Proceedings of the International Conference on Microelectronics

11. Orderings, AC-theories and symbolic constraint solving

    Proceedings - Symposium on Logic in Computer Science

12. Promoting software reuse through explicit knowledge representations

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

13. TINA network resource model

    Conference Record / IEEE Global Telecommunications Conference

14. Tuning of Fuzzy Controllers: Application of the Relay Method

    EUROSIM '95 Simulation Congress

15. Un algoritmo genético para la optimización del interconexionado de circuitos

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

16. Un algoritmo para determinar la basicidad de un semialgebraico plano

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995