M.V. Hermenegildo's Documents

M.V. Hermenegildo's Documents

Analysis and Visualization Tools for Constraint Programming

Analysis and Visualization Tools for Constraint Programming
Read more
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)
Read more
The Mystery Of The Scar-Faced Beggar. Alfred Hitchcock #31

The Mystery Of The Scar-Faced Beggar. Alfred Hitchcock #31
Read more
The Three Investigators 31 - The Mystery of the Scar-Faced Beggar

The Three Investigators 31 - The Mystery of the Scar-Faced Beggar
Read more
Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings
Read more
Fast text compression with neural networks

Fast text compression with neural networks
Read more
A behavior of generalized solutions of the Dirichlet problem for quasilienar elliptic divergence equations of second order near a conical point

A behavior of generalized solutions of the Dirichlet problem for quasilienar elliptic divergence equations of second order near a conical point
Read more
History of Physics

History of Physics
Read more
The Mystery of the Magic Circle (The Three Invesigators, Book 27)

The Mystery of the Magic Circle (The Three Invesigators, Book 27)
Read more
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)
Read more
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
Read more
The Three Investigators 32 - The Mystery of the Blazing Cliffs

The Three Investigators 32 - The Mystery of the Blazing Cliffs
Read more
The Three Investigators 27 - The Mystery of the Magic Circle

The Three Investigators 27 - The Mystery of the Magic Circle
Read more
A-modules over A-algebras and Hochschild cohomology for modules over algebras

A-modules over A-algebras and Hochschild cohomology for modules over algebras
Read more
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005
Read more
Practical Aspects of Declarative Languages 7 conf

Practical Aspects of Declarative Languages 7 conf
Read more
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
Read more
Structure and Properties of Ceramics

Structure and Properties of Ceramics
Read more
Hybrid Simulation: Theory, Implementation and Applications (Balkema-Proceedings and Monographs in Engineering, Water, an)

Hybrid Simulation: Theory, Implementation and Applications (Balkema-Proceedings and Monographs in Engineering, Water, an)
Read more
Болезни растений и внешняя среда (Очерки биологии и экологии паразитов растений) Illnesses of plants and the external environment (Essays on the biology and ecology of parasites of plants)

Болезни растений и внешняя среда (Очерки биологии и экологии паразитов растений) Illnesses of plants and the external environment (Essays on the biology and ecology of parasites of plants)
Read more
Studies in Kautilya

Studies in Kautilya
Read more
Proceedings of the Twelfth Annual ACM-SIAM Symposium on Discrete Algorithms (Proceedings in Applied Mathematics 103)

Proceedings of the Twelfth Annual ACM-SIAM Symposium on Discrete Algorithms (Proceedings in Applied Mathematics 103)
Read more
Lossy Image Compression: Domain Decomposition-Based Algorithms

Lossy Image Compression: Domain Decomposition-Based Algorithms
Read more
Essays in Contemporary Chemistry.. From Molecular Structure towards Biology

Essays in Contemporary Chemistry.. From Molecular Structure towards Biology
Read more
Fundamentals of Foods, Nutrition and Diet Therapy, 5th Edition

Fundamentals of Foods, Nutrition and Diet Therapy, 5th Edition
Read more
Topics in the Constructive Theory of Countable Markov Chains

Topics in the Constructive Theory of Countable Markov Chains
Read more
Strategies for Optimizing Petroleum Exploration:: Evaluate Initial Potential and Forecast Reserves

Strategies for Optimizing Petroleum Exploration:: Evaluate Initial Potential and Forecast Reserves
Read more
Molecular and Cellular Foundations of Biomaterials

Molecular and Cellular Foundations of Biomaterials
Read more
Probability and Statistical Models with Applications

Probability and Statistical Models with Applications
Read more
Probability and statistical models with applications

Probability and statistical models with applications
Read more