The 26 revised full papers and 36 revised short papers presented were carefully reviewed and selected from 194 submissions. The papers are organized in topical sections on mobile...

The 13 revised papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop served to present the current state of the art in the new...

This Handbook explores the history of mathematics under a series of themes which raise new questions about what mathematics has been and what it has meant to practice it. It addresses questions of who creates mathematics, who uses it, and how. A broader understanding of mathematical practitioners naturally leads to a new appreciation of what...

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers presented together with 3 invited talks were...

This unique, engaging, and highly authoritative volume enlightens readers on changes needed in the way society accesses, provides, and uses water. It further shines a light on changes needed in the way we use food, energy, and other goods and services in relation to water, and offers projections and recommendations, up to 2050, that apply to...

The book offers an interesting blend of applied state-of-the-art studies of coevolutionary development of institutions, innovation diffusion and innovative entrepreneurship, not published anywhere else. It can firstly be classified as belonging to mainstream endogenous growth studies on the country level, and secondly, to mainstream evolutionary...