The Workshop Volume from the Humans and Computers Conference documents the advanced tutorials that were presented to deepen the understanding gained from the conference lectures. It presents case studies along with accompanying exercises.

The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler".

This is essential reading for anyone wanting to keep up to date with the literature on photochemistry and its applications.

This book is Open Access under a CC BY licence.

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences.

This volume contains the papers accepted for presentation at the 10th - ternational Static Analysis Symposium (SAS 2003),which was held June 11–13, 2003 in San Diego, California, USA.

Das Forum Bauinformatik steht unter dem Motto „von jungen Forschenden für junge Forschende“.

Learn about the basics and the future of vehicular networking research with this essential guide to in- and inter-vehicle communication.

This book addresses emerging issues concerning the integration of artificial intelligence systems in our daily lives.

The International Conference on Consumer Electronics (ICCE) is soliciting technical papers for oral and poster presentation at ICCE 2018 ICCE has a strong conference history coupled with a tradition of attracting leading authors and ...