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