Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite
UK Child Migration to Australia, 1945-1970 A Study in Policy Failure
This book offers an unprecedented analysis of child welfare schemes, situating them in the wider context of post-war policy ...
Lire la suite
Ultrathin Magnetic Structures I
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Lire la suite
Ultrathin Magnetic Structures II
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Lire la suite
Ultrathin Magnetic Structures III
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Lire la suite
Ultrathin Magnetic Structures IV
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Lire la suite
Ultraviolet and Soft X-Ray Free-Electron Lasers : Introduction to Physical Principles, Experimental Results, Technological Challenges
In the introduction accelerator-based light sources are considered and a comparison is made between free-electron lasers ...
Lire la suite
Underdetermination : An Essay on Evidence and the Limits of Natural Knowledge
Underdetermination. An Essay on Evidence and the Limits of Natural Knowledge is a wide-ranging study of the thesis that scientific ...
Lire la suite
Understanding IPv6
Covers the basic materials and up-to-date information to understand IPv6, including site local address often overlooked by ...
Lire la suite
Understanding Willing Participants, Volume 2
This volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished ...
Lire la suite
United Nations Peace Operations in a Changing Global Order
This volume explores how UN peace operations are adapting to four trends in the changing global order: the rebalancing of ...
Lire la suite
Universal Algebra
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
Lire la suite
Unsettling Responsibility in Science Education Indigenous Science, Deconstruction, and the Multicultural Science Education Debate
This book engages with the response-ability of science education to Indigenous ways-of-living-with-Nature. Higgins deconstructs ...
Lire la suite
Urban Landscape Perspectives
Urban Landscape Perspectives explores how landscape terminology can be usefully brought into the urban debate. Articles in ...
Lire la suite
Urban Planning Against Poverty How to Think and Do Better Cities in the Global South
This book revisits the theoretical foundations of urban planning and the application of these concepts and methods in the ...
Lire la suite
Urban Socio-Economic Segregation and Income Inequality A Global Perspective
This book investigates the link between income inequality and socio-economic residential segregation in 24 large urban regions ...
Lire la suite
Values and Valuing in Mathematics Education
This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...
Lire la suite
Vascular Surgery
This updated and revised second edition of Vascular Surgery: Cases, Questions and Commentaries provides a thorough overview ...
Lire la suite
Vegetative Powers
The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...
Lire la suite
Venous Thromboembolism
Pulmonary thromboembolism in Japan is currently associated with a high mortality rate and remains a concern for patients ...
Lire la suite
