Starting in the middle of the 80s, there has been a growing and fruitful interaction between algebraic geometry and certain ...
Continue readingThis volume originates from the NATO Advanced Study Institute Environmental UV Radiation: Impact on Ecosystems and Human ...
Continue readingThis unique reference represents a cross-section of forefront robotics research, ranging from robotics and systems to learning, ...
Continue readingThis book discusses several didactic traditions in mathematics education in countries across Europe, including France, the ...
Continue readingDuring the first two-thirds of the 20th century the themes of sectorial structure and compared performance prevail in Italian ...
Continue readingMetaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...
Continue readingThe feld of bioinformatics has two main objectives: the creation and main- nance of biological databases, and the discovery ...
Continue readingThis volume comprises papers presented at the 2005 edition of the “Crystallography of Molecular Biology” courses that ...
Continue readingFast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
Continue readingThis book constitutes the refereed proceeding of the 7th International Conference on Flexible Query Answering Systems, FQAS ...
Continue readingThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Continue readingThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Continue readingThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Continue readingThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue readingFORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
Continue readingThis book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Continue readingThe Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004, ...
Continue readingThis book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International ...
Continue readingThis book represents a first considered attempt to study the factors that conditioned industrial chemistry for war in1914-18. ...
Continue reading