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