Trustworthy Global Computing
- Indbinding:
- Paperback
- Sideantal:
- 256
- Udgivet:
- 22. maj 2012
- Størrelse:
- 155x15x235 mm.
- Vægt:
- 394 g.
- 8-11 hverdage.
- 21. november 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Trustworthy Global Computing
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.
Brugerbedømmelser af Trustworthy Global Computing
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Trustworthy Global Computing findes i følgende kategorier:
- Business og læring > Computer og IT
- Business og læring > Videnskab
- Historie og samfund
- Kunst og kultur
- Litteratur og litteraturstudier
- Reference, information og tværfaglige emner > Forskning og information: generelt > Informationsteori
- Reference, information og tværfaglige emner > Forskning og information: generelt > Kodeteori og kryptologi
- Økonomi, finans, erhvervsliv og ledelse > Erhvervsliv, virksomheder og ledelse > Matematik for virksomhedsøkonomer og forretningssystemer
- Lægevidenskab og sygepleje
- Historie og arkæologi
- Databehandling og informationsteknologi > Computere og hardware > Netværkskomponenter
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Algoritmer og datastrukturer
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Datasikkerhed > Datakryptering
© 2024 Pling BØGER Registered company number: DK43351621