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 Evolving OpenMP for Evolving Architectures by
Cover of the book Advances in Computational Intelligence Systems by
Cover of the book Computational Materials System Design by
Cover of the book Stabilization and Control of Fractional Order Systems: A Sliding Mode Approach by
Cover of the book Knowledge Management in Organizations by
Cover of the book The Feminist Fourth Wave by
Cover of the book High Performance Computing for Computational Science -- VECPAR 2014 by
Cover of the book Louis Kriesberg: Pioneer in Peace and Constructive Conflict Resolution Studies by
Cover of the book Ketamine for Treatment-Resistant Depression by
Cover of the book The Bonn Handbook of Globality by
Cover of the book Human Interface and the Management of Information. Information in Applications and Services by
Cover of the book Smart STEM-Driven Computer Science Education by
Cover of the book Simulating Prehistoric and Ancient Worlds by
Cover of the book Sensing the Past by
Cover of the book Ettore Majorana 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