In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics.  Explanantion...

This book was born out of the need to ‘capture’ the experience and understanding of the regeneration management process that is neither UK centric nor centred exclusively on urban areas. Written by experts working in the USA, Holland, Greece, Jamaica, Turkey, Spain, Trinidad and the Czech Republic, this book seeks to locate the issue...

Asthma is a familiar and growing disease today, but its story goes back to the ancient world, as we know from accounts in ancient texts from China, India, Greece and Rome. It was treated with acupuncture and Ayurveda.

As Western medicine developed, the nature of asthma became clearer, and its basis in the lungs recognized....

"With a strong interdisciplinary approach to a subject that does not lend itself easily to the reference format, this work may not seem to support directly academic programs beyond general research, but it is a more thorough and up-to-date treatment than Taylor and Francis’s 1994 Encyclopedia of...

Ancient Greece and Rome aren't usually remembered for their sense of humour. However, in reality the ancient Greeks and Romans often refused to take themselves seriously. Strange and outlandish activities abounded - including somebody accidentally exposing himself while dancing sideways at his wedding (those wearing bed sheets didn't...

• Explores the widespread use of spells, drugs, curse tablets, and figurines, and the practitioners of magic in the ancient world
...

This book constitutes the thoroughly refereed post-conference proceedings of the 36th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2010, held in Zarós, Crete, Greece, in June 2010. The 28 revised full papers presented together with two invited papers were carefully reviewed and selected from 94 initial...

The First International ICST Conference on Mobile Networks and Management (MONAMI) was held in Athens, Greece during October 13–14, 2009, hosted by the National Technical University of Athens. Through what we hope will be a long-lasting series of events, this new international conference aims at bringing together top researchers,...

The RSA conference was initiated in 1991 and is a major international event for cryptography and information security researchers as well as the industry related to these disciplines. It is an annual event that attracts hundreds of vendors and thousands of participants from industry and academia. Since 2001, the RSA conference has included...

The purpose of this volume is to...

FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and...