This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, ...
Lire la suite
                The Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...
Lire la suite
                This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient ...
Lire la suite
                This book takes you on a tour of the main ideas forming the language of modern mathematical physics. Here you will meet novel ...
Lire la suite
                In this monograph the natural evolution operators of autonomous first-order differential equations with exponential dichotomy ...
Lire la suite
                Subjects treated in Bhaskara’s commentary range from computing the volume of an equilateral tetrahedron to the interest ...
Lire la suite
                Subjects treated in Bhaskara’s commentary range from computing the volume of an equilateral tetrahedron to the interest ...
Lire la suite
                Portfolio analysis and optimization, together with the associated risk assessment and management, require knowledge of the ...
Lire la suite
                Portfolio analysis and optimization, together with the associated risk assessment and management, require knowledge of the ...
Lire la suite
                Extreme Value Theory offers a careful, coherent exposition of the subject starting from the probabilistic and mathematical ...
Lire la suite
                Extreme Value Theory offers a careful, coherent exposition of the subject starting from the probabilistic and mathematical ...
Lire la suite
                Problems linking the shape of a domain or the coefficients of an elliptic operator to the sequence of its eigenvalues are ...
Lire la suite
                Problems linking the shape of a domain or the coefficients of an elliptic operator to the sequence of its eigenvalues are ...
Lire la suite
                This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lire la suite
                The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
Lire la suite
                This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
Lire la suite
                This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
Lire la suite
                This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
Lire la suite
                The present book deals with factorization problems for matrix and operator functions. The problems originate from, or are ...
Lire la suite
                This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Lire la suite