• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      Trustworthy Global Computing

      Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

      AvUgo Montanari,Donald Sannella

      Häftad, Engelska, 2007

      Del i serien Lecture Notes in Computer Science

      574 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.

      Produktinformation

      • Utgivningsdatum:2007-11-22
      • Mått:155 x 235 x 20 mm
      • Vikt:534 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:342
      • Upplaga:2007
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540753339

      Utforska kategorier

      • Programvaruutveckling inom Data och IT

      Innehållsförteckning

      • FP6 Project Overviews.- Project AEOLUS: An Overview.- MOBIUS: Mobility, Ubiquity, Security.- Sensoria Process Calculi for Service-Oriented Computing.- Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks.- Keynote Speakers.- Software of the Future Is the Future of Software?.- An Algorithmic Theory of Mobile Agents.- Types to Discipline Interactions.- Spatial-Behavioral Types, Distributed Services, and Resources.- Integration of a Security Type System into a Program Logic.- Calculi for Distributed Systems.- PRISMA: A Mobile Calculus with Parametric Synchronization.- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.- A Typed Calculus for Querying Distributed XML Documents.- Flexible Modeling.- Verification of Model Transformations: A Case Study with BPEL.- A Fuzzy Approach for Negotiating Quality of Services.- Algorithms and Systems for Global Computing.- Scheduling to Maximize Participation.- On the Limits of Cache-Oblivious Matrix Transposition.- The KOA Remote Voting System: A Summary of Work to Date.- Security, Anonymity and Type Safety.- Security Types for Dynamic Web Data.- Anonymity Protocols as Noisy Channels.- A Framework for Automatically Checking Anonymity with ?CRL.- A Framework for Type Safe Exchange of Mobile Code.
      Hoppa över listan

      Du kanske också är intresserad av

      Roberto Bruni, Donald Sannella, Ugo Montanari - Trustworthy Global Computing, E-bok

      Trustworthy Global Computing

      Roberto Bruni, Donald Sannella, Ugo Montanari

      E-bok
      2007

      739 kr

      Roberto Bruni, Ugo Montanari - Models of Computation, Inbunden

      Models of Computation

      Roberto Bruni, Ugo Montanari

      Inbunden, 2017

      421 kr

      Roberto Bruni, Ugo Montanari - Models of Computation, Häftad

      Models of Computation

      Roberto Bruni, Ugo Montanari

      Häftad, 2018

      426 kr

      Ugo Montanari, Roberto Bruni - Models of Computation, E-bok

      Models of Computation

      Ugo Montanari, Roberto Bruni

      E-bok
      2017

      903 kr

      Juergen Dingel, Roberto Bruni - Formal Techniques for Distributed Systems, E-bok

      Formal Techniques for Distributed Systems

      Juergen Dingel, Roberto Bruni

      E-bok
      2011

      732 kr

      Roberto Bruni, Karsten Wolf - Web Services and Formal Methods, Häftad

      Web Services and Formal Methods

      Roberto Bruni, Karsten Wolf

      Häftad, 2009

      574 kr

      Roberto Bruni, Juergen Dingel - Formal Techniques for Distributed Systems, Häftad

      Formal Techniques for Distributed Systems

      Roberto Bruni, Juergen Dingel

      Häftad, 2011

      574 kr

      Roberto Bruni, Vladimiro Sassone - Trustworthy Global Computing, Häftad

      Trustworthy Global Computing

      Roberto Bruni, Vladimiro Sassone

      Häftad, 2012

      574 kr

      Karsten Wolf, Roberto Bruni - Web Services and Formal Methods, E-bok

      Web Services and Formal Methods

      Karsten Wolf, Roberto Bruni

      E-bok
      2009

      732 kr

      Vladimiro Sassone, Roberto Bruni - Trustworthy Global Computing, E-bok

      Trustworthy Global Computing

      Vladimiro Sassone, Roberto Bruni

      E-bok
      2012

      732 kr