หนังสือดิจิตอล > วิทยาศาสตร์ > ทั่วไป > 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.66

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783642300653 ● บรรณาธิการ Roberto Bruni & Vladimiro Sassone ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2012 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6322872 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Roberto Bruni Vladimiro Sassone

87,176 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Klaus (University of North Carolina at Chapel Hill, USA) Larres & Ruth (University of Durham, UK) Wittlinger: Understanding Global Politics

Klaus (University of North Carolina at Chapel Hill, USA) Larres & Ruth (University of Durham, UK) Wittlinger: Understanding Global Politics

Contemporary international affairs are largely shaped by widely differing thematic issues and actors, such as nation states, international institutions, NGOs and multinational companies. Obtaini …

ปกของ Mohd Mizan (University Malaysia Perlis (UniMAP), Malaysia) Aslam & Rohan (S. Rajaratnam School of International Studies (RSIS), Singapore) Gunaratna: Terrorist Rehabilitation and Community Engagement in Malaysia and Southeast Asia

Mohd Mizan (University Malaysia Perlis (UniMAP), Malaysia) Aslam & Rohan (S. Rajaratnam School of International Studies (RSIS), Singapore) Gunaratna: Terrorist Rehabilitation and Community Engagement in Malaysia and Southeast Asia

The contributors to this book analyse the different approaches and modes of terrorist rehabilitation that have been attempted by Malaysia, and other countries in Southeast Asia. With an emphasis on …

ปกของ Vivian Kao & Julia Kiernan: Writing STEAM

Vivian Kao & Julia Kiernan: Writing STEAM

This edited collection positions writing at the center of interdisciplinary higher education, and explores how writing instruction, writing scholarship, and writing program administration bring STEM …

ปกของ Andras - (University of Stuttgart, Stuttgart, Germany) Bardossy & Lucien Duckstein: Fuzzy Rule-Based Modeling with Applications to Geophysical, Biological, and Engineering Systems

Andras – (University of Stuttgart, Stuttgart, Germany) Bardossy & Lucien Duckstein: Fuzzy Rule-Based Modeling with Applications to Geophysical, Biological, and Engineering Systems

This book presents in a systematic and comprehensive manner the modeling of uncertainty, vagueness, or imprecision, alias ‘fuzziness, ‘ in just about any field of science and engineering. It delivers …

ปกของ The Feminist Review Collective: Debating Discourses, Practising Feminisms

The Feminist Review Collective: Debating Discourses, Practising Feminisms

Debating Discourses, Practising Feminisms brings together international debates on the discourses and practices of contemporary feminisms. Discussions range across conflicting analyses of gender and …

ปกของ Robert L. (Washington University, St. Louis, USA) Canfield & Gabriele (University of Vienna, Austria) Rasuly-Paleczek: Ethnicity, Authority, and Power in Central Asia

Robert L. (Washington University, St. Louis, USA) Canfield & Gabriele (University of Vienna, Austria) Rasuly-Paleczek: Ethnicity, Authority, and Power in Central Asia

The peoples of Greater Central Asia – not only Inner Asian states of Soviet Union but also those who share similar heritages in adjacent countries like Afghanistan and Pakistan, Iran, and the Chinese …

ปกของ Julia Gallagher: Images of Africa

Julia Gallagher: Images of Africa

Images of Africa challenges the widely-held idea that Africans are powerless in the creation of self-image. It explores the ways in which image creation is a process of negotiation entered into by a …

ปกของ Halim Barakat: Contemporary North Africa

Halim Barakat: Contemporary North Africa

This book by a group of international scholars, both Arab and Western, was first published in 1985, and considers the state of contemporary North Africa and its position both in the Arab world and wi …

ปกของ David J. Francis: When War Ends

David J. Francis: When War Ends

This volume critically examines what happens when war formally ends, the difficult and complex challenges and opportunities for winning the peace and reconciling divided communities. By reviewing a …

ปกของ Mr Paul Randolph: The Psychology of Conflict

Mr Paul Randolph: The Psychology of Conflict

Paul Randolph applies philosophy and psychology to the practice of mediating between people in conflict. This practical guide, with a foreword by Nobel Laureate Archbishop Desmond Tutu, will assi …

หน้าต่อไป >>>