Catalog > Nauka > Ogólne > 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

Wsparcie

Pokrywa 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.94

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783642300653 ● Redaktor Roberto Bruni & Vladimiro Sassone ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2012 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6322872 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Roberto Bruni Vladimiro Sassone

88 766 Ebooki w tej kategorii

Pokrywa Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

A guide for students and professionals, this introductory course book covers the basic principles of remote sensing and its applications in mine environment monitoring. Building from a reader”s basi …

Pokrywa Ewan (Durham University, UK) Anderson: Middle East

Ewan (Durham University, UK) Anderson: Middle East

Middle East is a lively and much-needed update of a well-respected work. Based on W. B. Fisher”s book of the same name published in 1978, Anderson provides a comprehensive account of the physical ge …

Pokrywa Yu Wai Vic Li: China’s Financial Opening

Yu Wai Vic Li: China’s Financial Opening

The twenty-first century has not only seen China become one of the world’s largest trading nations, but also its gradual integration into the global financial system. Chinese-sponsored project financ …

Pokrywa Jess French: Minibeasts with Jess French

Jess French: Minibeasts with Jess French

Fancy meeting a foot-long centipede or a spider the size of your dinner plate? Willing to let the world”s weirdest and most fascinating minibeasts join you on your sofa? Then allow Jess French to le …

Pokrywa Justin Spinney: Understanding Urban Cycling

Justin Spinney: Understanding Urban Cycling

Academic interest in cycling has burgeoned in recent years with significant literature relating to the health and environmental benefits of cycling, the necessity for cycle-specific infrastructure, a …

Pokrywa Chandan Sinha: Kindling of an Insurrection

Chandan Sinha: Kindling of an Insurrection

The tribal areas of central and eastern India have been under the intractable shadow of left-wing extremism in recent years, fuelling a serious internal crisis in the country. While the clashes betwe …

Pokrywa Mark Dailey: A Leader’s Guide to Storytelling

Mark Dailey: A Leader’s Guide to Storytelling

Part manual, part memoir and part call to action, this book demonstrates why the core skill needed by leaders in the next decade and into the future will be authentic and effective communication. Com …

Pokrywa Elizabeth Mackinlay: Writing Feminist Autoethnography

Elizabeth Mackinlay: Writing Feminist Autoethnography

Writing Feminist Autoethnography explores the personal-is-political relationship between autoethnography and feminist theory and practice. Each chapter introduces the lives and works of a range of fe …

Pokrywa H. Hanak: Soviet Foreign Policy Since the Death of Stalin

H. Hanak: Soviet Foreign Policy Since the Death of Stalin

Originally published in 1972, this volume contains selected significant documents to illustrate Soviet foreign policy between 1953 and 1970, according to its author, ”in the words of Soviet leaders …

Pokrywa James H. Conrad & Thad Sitton: Freedom Colonies

James H. Conrad & Thad Sitton: Freedom Colonies

A history of independent African American settlements in Texas during the Jim Crow era, featuring historical and contemporary photographs. In the decades following the Civil War, nearly a quarter of …

Następna strona >>>