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 ...
Lee mas
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 ...
Lee mas
Ultrathin Magnetic Structures I
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Lee mas
Ultrathin Magnetic Structures II
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Lee mas
Ultrathin Magnetic Structures III
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Lee mas
Ultrathin Magnetic Structures IV
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Understanding IPv6
Covers the basic materials and up-to-date information to understand IPv6, including site local address often overlooked by ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Universal Algebra
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
Lee mas
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 ...
Lee mas
Urban Landscape Perspectives
Urban Landscape Perspectives explores how landscape terminology can be usefully brought into the urban debate. Articles in ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Values and Valuing in Mathematics Education
This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...
Lee mas
Vascular Surgery
This updated and revised second edition of Vascular Surgery: Cases, Questions and Commentaries provides a thorough overview ...
Lee mas
Vegetative Powers
The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...
Lee mas
Venous Thromboembolism
Pulmonary thromboembolism in Japan is currently associated with a high mortality rate and remains a concern for patients ...
Lee mas
