Product Description: This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding...read more

Product Description: This book introduces Miranda at a level appropriate for professionals with little or no prior experience in programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Using a large number of running examples and case studies, the book encourages the design of well structured, reusable software together with proofs of correctness...read more

Product Description: Richard Rorty is one of the most influential and provocative figures in contemporary intellectual life. He argues that many of philosophy's traditional concerns are redundant, and that the goal of inquiry should not be truth but human betterment...read more (view table of contents, read Amazon.com's description)

Product Description: This study guide provides clear explanations of all key concepts and processes, generously illustrated with examples and diagrams. Hints and revision advice are given to minimise likely problems. Practice questions and trial exams (all sections) for both units of the course are provided, together with sample answers...read more (view table of contents, read Amazon.com's description)

Product Description: Topics include definition of communication; types of communication; collecting information to aid in your job; deadlines, communicating ideas; effective listening skills; and written communication.

Product Description: Richard Rorty is one of the most influential and provocative figures in contemporary intellectual life. He argues that many of philosophy's traditional concerns are redundant, and that the goal of inquiry should not be truth but human betterment...read more

Product Description: This comprehensive and handy pocket-size guide is packed with information, tips and recommendations for the first-time traveller who wants to experience the major highlights Japan has to offer. This travel book surpasses other guides in that it incorporates essential information in an easy-to-carry, easy-to-read format that is attractive and useful at the same time...read more

Product Description: Emotion, Politics and Society critically addresses the intersection between power, politics and the emotions. This is a very timely project given the centrality of mass emotions such as fear and humiliation on the world stage today...read more

Product Description: In recent years the political landscape has changed: established ideas about class, economy, nation and equality have been challenged by a new politics of identity, culture, ethnicity and difference. The political theory of recognition is a response to these challenges...read more

Product Description: This book is an in-depth introduction to Erlang, a programming language ideal for any situation where concurrency, fault tolerance, and fast response is essential. Erlang is gaining widespread adoption with the advent of multi-core processors and their new scalable approach to concurrency...read more

Product Description: In his remarkably assured debut, Simon Thompson shows us the place where he lives, where everything inevitably comes back to the centre. The predominant impression is of a man, sometimes seen from a long way off, moving indecisively towards some overwhelming question...read more

Product Description: Lifts the lid on inside trading knowledge and shows you how to make the same eye watering profits as the smartest City traders and professional investors.   Explicit aim: It will increase the readers' chances of making money on the stock market...read more

Product Description: To the impartial observer Britain does not appear to have any mountains. Yet the British invented the sport of mountain climbing and for two periods in history British climbers led the world in the pursuit of this beautiful and dangerous obsession...read more

Product Description: One of the leading textbooks on Haskell programming, this third edition is thoroughly revised throughout and includes new material on testing and domain-specific languages and a variety of new examples and case studies, including simple games...read more

Product Description: >