Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6084
Editat de Martin Wirsing, Martin Hofmann, Axel Rauschmayeren Limba Engleză Paperback – 13 sep 2010
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 380.46 lei
Puncte Express: 571
Preț estimativ în valută:
67.26€ • 80.19$ • 58.34£
67.26€ • 80.19$ • 58.34£
Carte disponibilă
Livrare economică 23 februarie-09 martie
Specificații
ISBN-13: 9783642156397
ISBN-10: 3642156398
Pagini: 380
Ilustrații: XII, 380 p. 72 illus.
Greutate: 0.59 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642156398
Pagini: 380
Ilustrații: XII, 380 p. 72 illus.
Greutate: 0.59 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talks.- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.- Perspectives in Certificate Translation.- Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.- Toward a Game-Theoretic Model of Grid Systems.- Functions as Processes: Termination and the -Calculus.- Predicate Encryption for Secure Remote Storage.- Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols.- Types and Processes.- Expressiveness of Generic Process Shape Types.- A Java Inspired Semantics for Transactions in SOC.- Responsive Choice in Mobile Processes.- A Model of Evolvable Components.- Games and Concurrent Systems.- The Impact of Altruism on the Efficiency of Atomic Congestion Games.- Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung.- An Algebra of Hierarchical Graphs.- Property-Preserving Refinement of Concurrent Systems.- Certification of Correctness.- Certificate Translation for the Verification of Concurrent Programs.- Certified Result Checking for Polyhedral Analysis of Bytecode Programs.- Tools and Languages.- A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments.- A Framework for Rule-Based Dynamic Adaptation.- CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility.- Refactoring Long Running Transactions: A Case Study.- Probabilistic Aspects.- Approximate Model Checking of Stochastic COWS.- Probabilistic Aspects: Checking Security in an Imperfect World.- A Tool for Checking Probabilistic Properties of COWS Services.