RADIOACTIVITY – RADIONUCLIDES – RADIATION is suitable for a general audience interested in topical environmental and ...
اقرأ المزيد
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
اقرأ المزيد
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
The justified-constraint theory avoids the problems which have bedeviled the interest/benefit theories and the choice/will ...
اقرأ المزيد
This work brings out and recovers the normative dimension of law, called "the reality that ought to be", placing within ...
اقرأ المزيد
The Observer's Sky Atlas contains star charts and information for all those who observe the night sky with unaided eyes, ...
اقرأ المزيد
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
Rights language is a fundamental feature of the modern world. Virtually all significant social and political struggles are ...
اقرأ المزيد
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
اقرأ المزيد