Springer International Publishing AG

Formal Aspects of Component Software

Information Retrieval Technology

Vitreoretinal Surgery: Strategies and Tactics - Kuhn, Ferenc

Water and the Future of Humanity - Gulbenkian Think Tank on Water and the Future of Humanity

Introduction to Uncertainty Quantification - Sullivan, T.J.

Chronicle of Permutation Statistical Methods - Berry, Kenneth J. a Johnston, Janis E. a Mielke Jr., Paul W.

Historical Perspectives on the State of Health and Health Systems in Africa, Volume I - Azevedo, Mario J.

Management of Post-Stroke Complications

Autonomy Requirements Engineering for Space Missions - Vassev, Emil a Hinchey, Mike

Contemporary Bioethics - Al-Bar, Mohammed Ali a Chamsi-Pasha, Hassan

Advances in Swarm and Computational Intelligence

Insight into Influenza Viruses of Animals and Humans - Kapoor, Sanjay a Dhama, Kuldeep

Advances in Web-Based Learning -- ICWL 2015

Image and Signal Processing

Large-Scale Brain Systems and Neuropsychological Testing - Koziol, Leonard F. a Beljan, Paul a Bree, Kate a Mather, John a Barker, Lauren

Issues in Science and Theology: What is Life?

Economic Planning and Industrial Policy in the Globalizing Economy

Stoffliste des Bundes und der Bundeslander

Scientific Computing, Computer Arithmetic, and Validated Numerics

Finding Solutions for Protecting and Sharing Archaeological Heritage Resources