Springer International Publishing AG

Integrated Formal Methods

Utility Communication Networks and Services

Machine Learning for Health Informatics

Answer Set Solving in Practice

Software Technologies

History of the GPU - Steps to Invention

Smart Energy Control Systems for Sustainable Buildings

Thinking Data Science

Pattern Recognition

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Machine Learning for the Quantified Self

Computational Neuroscience

Information Security and Cryptology – ICISC 2021

Advances in Computer Games

Rewriting Logic and Its Applications

Mobile Web and Intelligent Information Systems

History of the GPU - Eras and Environment

Handbook of Requirements and Business Analysis

Metric Learning

Social Informatics Evolving

Patient-Centered Design of Cognitive Assistive Technology for Traumatic Brain Injury Telerehabilitation

Similarity Joins in Relational Database Systems

Secondary Liability of Internet Service Providers

Private Information Retrieval

Lectures on Matrix Field Theory

Big Data for Urban Sustainability

On-Chip Networks, Second Edition

Designing with Xilinx® FPGAs

Haptic and Audio Interaction Design

Embedded Computer Systems: Architectures, Modeling, and Simulation

Advances in Information and Computer Security

Distributed, Ambient and Pervasive Interactions. Smart Living, Learning, Well-being and Health, Art and Creativity

Medical Robotics

Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities

Image Analysis and Processing – ICIAP 2022

UML @ Classroom