development  (42.456 Angebote unter 30.791.377 Artikeln)

Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.- T...

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications i...

A fast parallel merging algorithm for 2-3 trees.- Evaluation of graph representations with active nodes.- On equivalence transformations for term rewriting systems.- A portable logic simulation sys...

Recently, a renewed international interest in Russia as a world political actor has emerged. Against this background, it is useful to better understand how international relations and foreign affai...

The food industry is in the process of adapting itself more strongly than previously to the demands and needs for quality products. Tightening up the legal framework of conditions and the internati...

Außergewöhnliche Lebensgeschichten von starken Kids

In this study, Marcus Köhler describes the development of ethnography in Russia in terms of a differentiation of a separate scientific discipline at the threshold between imperial expansion, scient...

SafeScrum® - Agile Development of Safety-Critical Software

Companies focus on both organic and inorganic mechanisms in its pursuit for growth. The growth strategies of companies are determined by the industry sector and target market influence. Successful ...

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling ...

Engineering dependable Software using Principle-based Development

The Policies of the US, the UK and Canada

This book is a part of the Sabkha Ecosystems series which was designed to provide information on sabkha ecosystems of different regions and to add to the collective knowledge available about saline...

/ Inhaltsverzeichnis.- 1: International Colloquium "Aims of Safety and Protection Aspects as Basis for Technical Standards in Europe, Demonstrated by the Example of Pressure Systems" / Teil 1: Inte...