Manes

Exploring individual and collective formation of gender identities, this book contributes to current scholarly discourses by examining plays in the genre of 'erudite comedy' (commedia erudita), which

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students a

Sonia Delaunay made enormous contributions to the development of abstraction in the early 1900s. Sonia Delaunay: Art Is Life introduces young audiences to her art as Sonia and her six-year-old Charles

Gates reveals the guiding genius behind the unparalleled success of the Microsoft Corporation-- the biggest and most profitable personal computer software company in history-- and exposes the intens

In 1924 when thirty-two-year-old Edmond Landry kissed his family good-bye and left for the leprosarium in Carville, Louisiana, leprosy, now referred to as Hansen's Disease, stigmatized and disfigured

With the advice of a book he borrows from the library, Milo Crinkley tries to make himself into a perfect person in only three days

Milo, tired of problems with his sister, parents, and classmates, finds a book in the library that promises to make him a perfect person in just three days.

Social Neuroscience of Psychiatric Disorders is about the role of the Social Brain in neuropsychiatry. The need to belong to social groups and interact with others has driven much of the evolution of

This book focuses on the accounting change processes that drive integrated reporting in the public sector. The Integrated Report is a tool that allows public sector entities to quantify and convey tho

The accounting systems of all levels of government in Europe have undergone substantial changes during the last 20 years, which have not always been communicated outside country boundaries in a timely

Collects three tales of mystery, including such famous characters as Tom Sawyer and Sherlock Holmes solving crimes.

This book analyses the role of public sector accounting, and the relevance of accounting frameworks, in assisting financially sustainable policy making. Focussing on the European context, the book exa