Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Trustworthy Global Computing

    Trustworthy Global Computing

    - 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers (2016)

    Forfatter: info mangler
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015. The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties.

    Læs hele beskrivelsen
    Detaljer
    Størrelse og vægt
  • Vægt2759 g
  • Dybde1,5 cm
    • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Information retrieval Semantics Algorithms Computer security OPTIMIZATION Security Cloud computing Computer networking & communications Information technology: general issues Mathematical logic Mathematical theory of computation Model-checking Service-Oriented Architectures Dynamic analysis Temporal logic Software verification Formal security models Trust frameworks Quantitative verification Network algorithms Logic and verification Formal methods and theory of security Network protocols Automated static analysis Information flow control Distributed programming languages
    Machine Name: SAXO084