José Francisco Rodrigues's Documents

José Francisco Rodrigues's Documents

All about Maude.. a high-performance logical framework

All about Maude.. a high-performance logical framework
Read more
Orthogonal Polynomials and their Applications

Orthogonal Polynomials and their Applications
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Read more
Systematics and the Origin of Species. On Ernst Mayr's 100th Anniversary

Systematics and the Origin of Species. On Ernst Mayr's 100th Anniversary
Read more
International Human Rights and Humanitarian Law: Treaties, Cases, and Analysis

International Human Rights and Humanitarian Law: Treaties, Cases, and Analysis
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Read more
Les emotions a l'ecole

Les emotions a l'ecole
Read more
Marine Ecosystems and Global Change

Marine Ecosystems and Global Change
Read more
Viet Nam at the Crossroads: The Role of Science and Technology

Viet Nam at the Crossroads: The Role of Science and Technology
Read more
Tempo and Mode in Evolution: Genetics and Paleontology 50 Years After Simpson

Tempo and Mode in Evolution: Genetics and Paleontology 50 Years After Simpson
Read more
3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)

3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)
Read more
Recomendaciones para el desarrollo y consolidación de la biotecnología en México

Recomendaciones para el desarrollo y consolidación de la biotecnología en México
Read more
In the Light of Evolution IV: The Human Condition

In the Light of Evolution IV: The Human Condition
Read more
Automata, Languages and Programming, 29 conf., ICALP 2002

Automata, Languages and Programming, 29 conf., ICALP 2002
Read more
Human Computer Interaction, Tourism and Cultural Heritage

Human Computer Interaction, Tourism and Cultural Heritage
Read more
Advances in Research in Karst Media (Environmental Earth Sciences)

Advances in Research in Karst Media (Environmental Earth Sciences)
Read more
Symbolic Analysis Techniques: Applications to Analog Design Automation

Symbolic Analysis Techniques: Applications to Analog Design Automation
Read more
III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering: Book of Abstracts

III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering: Book of Abstracts
Read more
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More

Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More
Read more
Approximation and Optimization: Proceedings of the International Seminar, held in Havana, Cuba, January 12-16, 1987

Approximation and Optimization: Proceedings of the International Seminar, held in Havana, Cuba, January 12-16, 1987
Read more
3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)

3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)
Read more
3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)

3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)
Read more
Modern Optimization Modelling Techniques

Modern Optimization Modelling Techniques
Read more
Human-Induced Climate Change: An Interdisciplinary Assessment

Human-Induced Climate Change: An Interdisciplinary Assessment
Read more
Shifting Baselines: The Past and the Future of Ocean Fisheries

Shifting Baselines: The Past and the Future of Ocean Fisheries
Read more
Information Theory in Computer Vision and Pattern Recognition

Information Theory in Computer Vision and Pattern Recognition
Read more
Logica Computacional

Logica Computacional
Read more
Agenda Publica: Arquitectura, Ciudad y Desarrollo

Agenda Publica: Arquitectura, Ciudad y Desarrollo
Read more
Semiconductor-On-Insulator Materials for Nanoelectronics Applications

Semiconductor-On-Insulator Materials for Nanoelectronics Applications
Read more
Cognitive Linguistics: Internal Dynamics and Interdisciplinary Interaction (Cognitive Linguistics Research, 32)

Cognitive Linguistics: Internal Dynamics and Interdisciplinary Interaction (Cognitive Linguistics Research, 32)
Read more