This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
Climate Adaptation and Resilience Across Scales provides professionals with guidance on adapting the built environment to a changing climate. This edited volume brings together practitioners and researchers to discuss climate-related resilience from the building to the city scale. This book highlights North American cases that deal with issues such as climate projections, public health, adaptiv…
In diesem Open-Access-Buch werden Erfahrungen zur Zusammenarbeit und zum Wissensmanagement verschiedenster staatlicher, gemeinnütziger und privater Akteure in der Flüchtlingslage 2015/16 aufbereitet, mit praxisnahen Beispielen angereichert und um Übungen zur Vorbereitung auf zukünftige Lagen ergänzt. Die damalige Lage stellte die Beteiligten vor große Herausforderungen, sowohl im Hinblick…
This open access book is both a memoir and a biography. Born in Czechoslovakia in 1924, Herwig Schopper is one of the few people able to bear witness to 100 years of European history. His career has taken him from research to management to diplomacy, with a major part devoted to, and inspired by, CERN. Herwig enjoyed a rich childhood, spending his summers at his grandparent’s hotel on …