Trustworthy Global Computing

8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Nonfiction, Computers, Networking & Communications, Computer Security, Operating Systems, Application Software
Cover of the book Trustworthy Global Computing by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319051192
Publisher: Springer International Publishing Publication: July 8, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319051192
Publisher: Springer International Publishing
Publication: July 8, 2014
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.

More books from Springer International Publishing

Cover of the book Infectious Diseases in Pediatric Otolaryngology by
Cover of the book Combinatorial Algorithms by
Cover of the book Lung Ultrasound in the Critically Ill by
Cover of the book Progress in Enantioselective Cu(I)-catalyzed Formation of Stereogenic Centers by
Cover of the book Toward a Cosmopolitan Ethics of Mobility by
Cover of the book Kenyatta and Britain by
Cover of the book Hysteroscopy by
Cover of the book Brain and Mind by
Cover of the book The Glutamate/GABA-Glutamine Cycle by
Cover of the book Benign Tumors of the Liver by
Cover of the book Scientific Computing, Computer Arithmetic, and Validated Numerics by
Cover of the book Human Factors and Reliability Engineering for Safety and Security in Critical Infrastructures by
Cover of the book Learning and Collaboration Technologies. Technology in Education by
Cover of the book Control Systems and Mathematical Methods in Economics by
Cover of the book Internet of Things and Smart Environments by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy