Filter by
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal…
- Edition
- -
- ISBN/ISSN
- 9783319150758
- Collation
- IX, 179 hlm
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
1867 Disraeli, Gladstone and Revolution: The Passing of the Second Reform Bill
The passage of the Reform Bill of 1867 is one of the major problems in nineteenth-century British history. Mr Cowling provides a full-scale explanation, based on a wide range of archive material, including four major manuscript collections not previously used. Mr Cowling pays equal attention to the view taken by Parliament of the class structure and to the ambitions and strategies of politician…
- Edition
- -
- ISBN/ISSN
- 9780511560477
- Collation
- -
- Series Title
- -
- Call Number
- -
Forgiveness and Health
This volume collects the state-of-the-art research on forgiveness and mental and physical health and well-being. It focuses specifically on connections between forgiveness and its health and well-being benefits. Forgiveness has been examined from a variety of perspectives, including the moral, ethical and philosophical. Ways in which to become more forgiving and evolutionary theories of revenge…
- Edition
- -
- ISBN/ISSN
- 9789401799935
- Collation
- X, 306 hlm.
- Series Title
- -
- Call Number
- -
Theory of Transformation Groups I General Properties of Continuous Transform…
This modern translation of Sophus Lie's and Friedrich Engel's “Theorie der Transformationsgruppen I” will allow readers to discover the striking conceptual clarity and remarkably systematic organizational thought of the original German text. Volume I presents a comprehensive introduction to the theory and is mainly directed towards the generalization of ideas drawn from the study of example…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46211-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Food Security and Industrial Clustering in Northeast Asia
This book integrates diversified methodologies of area studies, regional economic development, regional science, and related fields to draw up a strategy for forming the “regional food industrial cluster” in Northeast Asia. This is done by assigning “innovation” to a core concept, with the basic problem of food security as the horizontal axis and the areas of Northeast Asia as the verti…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55282-6
- Collation
- XII, 282 hlm.
- Series Title
- New Frontiers in Regional Science: Asian Perspectives
- Call Number
- -
'Who Has the Youth, Has the Future': The Campaign to Save Young Workers in Im…
Virtually all discussions of the problematic character of youth and society in twentieth-century Germany begin with the middle class Wandervogel and end with the Hitler Youth. In this revisionist study Derek S. Linton argues that youth emerged as an important social problem around 1900 without any reference to the Wandervogel. Instead, fears of socialism, urban disorder, mass culture, and youth…
- Edition
- -
- ISBN/ISSN
- 9780511528903
- Collation
- -
- Series Title
- -
- Call Number
- -
I Made Mistakes’: Robert McNamara's Vietnam War Policy, 1960–1968
Speaking to an advisor in 1966 about America's escalation of forces in Vietnam, Secretary of Defense Robert S. McNamara confessed: 'We've made mistakes in Vietnam … I've made mistakes. But the mistakes I made are not the ones they say I made'. In 'I Made Mistakes', Aurélie Basha i Novosejt provides a fresh and controversial examination of Secretary of Defense Robert S. McNamara's decisions d…
- Edition
- -
- ISBN/ISSN
- 9781108234108
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Distributions
This book explains many fundamental ideas on the theory of distributions. The theory of partial differential equations is one of the synthetic branches of analysis that combines ideas and methods from different fields of mathematics, ranging from functional analysis and harmonic analysis to differential geometry and topology. This presents specific difficulties to those studying this field. Thi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19527-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Practice of Risk Assessment ICRA 5, Tomar, Portugal, 2013
This book covers the latest results in the field of risk analysis. Presented topics include probabilistic models in cancer research, models and methods in longevity, epidemiology of cancer risk, engineering reliability and economical risk problems. The contributions of this volume originate from the 5th International Conference on Risk Analysis (ICRA 5). The conference brought together research…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18029-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The Lament for the South': Yu Hsin's 'Ai Chiang-Nan Fu'
The Ai Chiang-nan fu by the sixth-century poet Yu Hsin is one of the most famous and difficult of all Chinese medieval poems. It relates in a highly allegorical and elliptical manner the fall of the Liang dynasty, which the poet served. The poem belongs to the genre of the fu; rhapsodical, elegiac works written in an irregular metre. It is, however not at all typical of the genre, which is more…
- Edition
- -
- ISBN/ISSN
- 9780511759789
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography