Product Description: This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions...read more

Product Description: Just how talented are your investment managers?  Measuring portfolio performance requires evaluation (measuring portfolio results against benchmarks) and attribution (determining individual results of the portfolio's parts),   In this book, a professor and an asset manager show readers how to use theories, applications, and real data to understand these tools...read more

Product Description: Modernity, according to some views, poses the problem of homo politicus -- the problem of how to act in a moral universe without a "master narrative," without a final foundation. From this angle, the oeuvre of Heinrich von Kleist -- novellas, dramas, and essays -- addresses problems emerging from a new universe of Kantian provenance, in many ways the same universe we inhabit today...read more

Product Description: For over 150 years, Heinrich von Kleist (1777-1811) has been one of the most widely read and performed German authors. His status in the literary canon is firmly established, but he has always been one of Germany's most contentiously discussed authors...read more