Springer International Publishing AG

Rewriting and Typed Lambda Calculi

Reviews of Environmental Contamination and Toxicology Volume 238

Responsible Innovation 2

Image Analysis and Recognition

Computational Science and Its Applications - ICCSA 2014

Mathematical Financial Economics - Evstigneev, Igor V. a Hens, Thorsten a Schenk-Hoppe, Klaus Reiner

Stochastics of Environmental and Financial Economics

Diaspora as Cultures of Cooperation

Schools as Protection? - Nordtveit, Bjorn H.

Computer Safety, Reliability, and Security

Bioinformatics and Biomedical Engineering

Advances in Multimedia Information Processing -- PCM 2015

Opening Markets for Foreign Skills: How Can the WTO Help? - Kategekwa, Joy

MRI of the Knee - Bolog, Nicolae V. a Andreisek, Gustav a Ulbrich, Erika J.

Online Social Media Analysis and Visualization

Integrated Project Management Sourcebook - Vanhoucke, Mario

Programming Languages

Theory and Applications of Models of Computation

Melanie Klein - Britzman, Deborah P.

Trusted Systems