This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lire la suiteThe international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
Lire la suiteThis 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 suiteThis book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
Lire la suiteThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lire la suiteThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lire la suiteIntroduces the factorization method in quantum mechanics at an advanced level with an aim to put mathematical and physical ...
Lire la suiteThe present book deals with factorization problems for matrix and operator functions. The problems originate from, or are ...
Lire la suiteThis book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Lire la suiteThe impact of social networks and the influence that fashion influencers have on the choices people make for shopping is ...
Lire la suiteThis book gives insights into feminist methodologies in theory and practice. By foregrounding the experiential and embodied ...
Lire la suiteThe problem of evaluating Feynman integrals over loop momenta has existed from the early days of perturbative quantum field ...
Lire la suiteHelps the user to correctly use fiber-reinforced concrete as a building material in accordance with its properties in order ...
Lire la suitePractical Geometry is the name of the craft for medieval landmeasurers, otherwise known as surveyors in modern times. Fibonacci ...
Lire la suiteCovering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...
Lire la suiteFieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...
Lire la suiteFieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...
Lire la suiteThis text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
Lire la suiteThis easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
Lire la suite