development  (42.731 Angebote unter 30.838.722 Artikeln)

This book is a comprehensive study of Nordic Noir television drama from the 1990's until today. The authors introduce the history of contemporary Nordic Noir from the perspective of place, producti...

This book examines how local agencies in Cambodia and Mindanao (the Philippines) have developed their own models of peacebuilding under the strong influence and advocacy of external intervention. I...

Design Perspectives

Modelling.- A Formal Model for Mobile Map Adaptation.- Using Activity Theory to Identify Relevant Context Parameters.- Congestion Visualization Based on Probe Vehicle Data.- Where do you Roll Today...

The presentations of the panel "Local Styles or Common Pattern Books in Roman Wall Painting and Mosaics" illustrated various aspects of the working methods of ancient workshops and their production...

In the last 7 years, the ?rst edition of "Lock-in Thermography" has established as a reference book for all users of this technique for investigating electronic devices, especially solar cells. At ...

International Site and Facility Planning as part of Corporate Strategies

The study of nonlinear localized excitations is a long-standing challenge for research in basic and applied science, as well as engineering, due to their importance in understanding and predicting ...

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in ...

Invited Speaker.- Static Analysis for Safe Destructive Updates in a Functional Language.- Program Transformation and Equivalence.- A Transformation Technique for Datalog Programs Based on Non-deter...

10th International Development Informatics Association Conference, IDIA 2018, Tshwane, South Africa, August 23-24, 2018, Revised Selected Papers

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based ...

Improving On-Demand Strategy Annotations.- First-Order Logic as a Constraint Programming Language.- Maintenance of Formal Software Developments by Stratified Verification.- A Note on Universal Meas...

This book is a comprehensive study of Nordic Noir television drama from the 1990's until today. The authors introduce the history of contemporary Nordic Noir from the perspective of place, producti...

In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most interesting and most...