Springer International Publishing AG

Model Checking Software

Multiple Helix Ecosystems for Sustainable Competitiveness

New Insights From Recent Studies in Historical Astronomy: Following in the Footsteps of F. Richard Stephenson

Performance Characterization and Benchmarking

Plant Breeding in the Omics Era - Ortiz Rios, Rodomiro

System Engineering Approach to Planning Anticancer Therapies - Swierniak, Andrzej a Kimmel, Marek a Smieja, Jaroslaw a Puszynski, Krzysztof a Psiuk-Maksymowicz, Krzysztof

High Speed and Wide Bandwidth Delta-Sigma ADCs - Bolatkale, Muhammed a Breems, Lucien J. a Makinwa, Kofi A. A.

Computer Vision and Graphics

Statistical Modelling in Biostatistics and Bioinformatics

Health Risks and Fair Compensation in the Fire Service

Inclusive Smart Cities and e-Health

Energy Informatics