Електронна книга > Наука > Генерал > Roberto Bruni & Vladimiro Sassone: Trustworthy Global Computing (PDF)

Roberto Bruni & Vladimiro Sassone
Trustworthy Global Computing [PDF ebook]
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

поддержка

Обложка Roberto Bruni & Vladimiro Sassone: Trustworthy Global Computing (PDF)

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.

€57.90

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● ISBN 9783642300653 ● редактор Roberto Bruni & Vladimiro Sassone ● издатель Springer Berlin Heidelberg ● опубликованный 2012 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6322872 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Roberto Bruni Vladimiro Sassone

87 603 Электронные книги в этой категории

Обложка Nicky Pouw: Wellbeing Economics

Nicky Pouw: Wellbeing Economics

Amidst rising global inequality, migration, climate change, health pandemics, and deepening poverty, it is time to redirect our economy towards more sustainable and socially just processes and outcom …

Обложка Majia (Arizona State University, USA) Nadesan & Amit (Arizona State University, USA) Ron: Mapping Populism

Majia (Arizona State University, USA) Nadesan & Amit (Arizona State University, USA) Ron: Mapping Populism

This collection, which can serve as an introduction to the field of populism, provides an array of interdisciplinary approaches to populist mobilizations, theories, meanings, and effects. In so doing …

Обложка Sarah (University of Gent, Belgium) Adeyinka & Ilse (University of Gent, Belgium) Derluyn: Nigerian and Ghanaian Women Working in the Brussels Red-Light District

Sarah (University of Gent, Belgium) Adeyinka & Ilse (University of Gent, Belgium) Derluyn: Nigerian and Ghanaian Women Working in the Brussels Red-Light District

This book unravels the lives, needs and experiences of Nigerian and Ghanaian women working in prostitution in Brussels. This volume casts a light on the working conditions and the experiences of 38 w …

Обложка Etsuko Kinefuchi: Competing Discourses on Japan’s Nuclear Power

Etsuko Kinefuchi: Competing Discourses on Japan’s Nuclear Power

This book examines the discursive formation of nuclear power in Japan to provide insights into the ways this technology has been both promoted and resisted, constituting and being constituted by Japa …

Обложка Daniel Chandler: Semiotics: The Basics

Daniel Chandler: Semiotics: The Basics

This fourth edition of the bestselling textbook, now available in print, e Book, and audiobook, has been fully updated, continuing to provide a concise introduction to the key concepts of semiotics i …

Обложка Marius Felderhof: Inspiring Faith in Schools

Marius Felderhof: Inspiring Faith in Schools

Inspiring Faith in Schools addresses the privileging of secularism that appears to affect RE in countries influenced by modern western thought. The authors argue that a more engaging form of RE would …

Обложка James Beckman: Comparative Legal Approaches to Homeland Security and Anti-Terrorism

James Beckman: Comparative Legal Approaches to Homeland Security and Anti-Terrorism

The spectre and fear of another terrorist attack looms large for most of the world»s citizenry and for the domestic law agencies charged with protecting these citizens and countries. This book explo …

Обложка M.D., Vernon A. Rosario: Science and Homosexualities

M.D., Vernon A. Rosario: Science and Homosexualities

Science and Homosexualities is the first anthology by historians of science to examine European and American scientific research on sexual orientation since the coining of the word ‘homosexual’ almos …

Обложка Shanghai Finance Institute PtoP Research Group: Peer-to-Peer Lending with Chinese Characteristics: Development, Regulation and Outlook

Shanghai Finance Institute PtoP Research Group: Peer-to-Peer Lending with Chinese Characteristics: Development, Regulation and Outlook

Literature on China»s finance in the West has focused on ‘financial repression’ in its highly regulated financial markets. However, fundamental changes in China»s financial system are underway and …