• 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. Systemvetenskap och AI

      Networked Systems

      8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

      AvChryssis Georgiou,Rupak Majumdar

      Häftad, Engelska, 2021

      Del 12129 i serien Lecture Notes in Computer Science

      569 kr

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

      Beskrivning

      This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc.*The conference was held virtually due to the COVID-19 pandemic.

      Produktinformation

      • Utgivningsdatum:2021-01-14
      • Mått:155 x 235 x 22 mm
      • Vikt:598 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:376
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030670863

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Hårdvara inom Data och IT

      Innehållsförteckning

      • Invited Papers.- On Network Topologies and the Decidability of Reachability Problem.- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks.- Blockchains and the Commons.- Regular Papers.- On the State Reachability Problem for Concurrent Programs under Power.- On the Encoding and Solving of Partial Information Games.- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory.- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution.- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults.- Infinite Grid Exploration by Disoriented Robots.- Wireless Broadcast with short labels.- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders.- Byzantine k-Set Agreement.- Fissile Locks.- Verifying Safety of Parameterized Heard-Of Algorithms.- Staleness and Local Progress in Transactional Memory.- Generic Framework for Optimization of Local Dissemination in Wireless Networks.- Verifying Weakly Consistent Transactional Programs using Symbolic Execution.- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.- Self-stabilizing Uniform Reliable Broadcast.- Fully Anonymous Consensus and Set Agreement Algorithms.- Cutoffs for symmetric point-to-point distributed algorithms.- Short Papers.- Stateless Distributed Ledgers.- Stability Under Adversarial Injection of Dependent Tasks.- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method.- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract).
      Hoppa över listan

      Du kanske också är intresserad av

      Rupak Majumdar, Chryssis Georgiou - Networked Systems, E-bok

      Networked Systems

      Rupak Majumdar, Chryssis Georgiou

      E-bok
      2021

      739 kr

      Chryssis Georgiou - Structural Information and Communication Complexity, Häftad
      Del 16488

      Structural Information and Communication Complexity

      Chryssis Georgiou

      Häftad, 2026

      835 kr

      Chryssis Georgiou - Do-All Computing in Distributed Systems, Inbunden

      Do-All Computing in Distributed Systems

      Chryssis Georgiou

      Inbunden, 2007

      1 144 kr

      Chryssis Georgiou - Structural Information and Communication Complexity, E-bok

      Structural Information and Communication Complexity

      Chryssis Georgiou

      E-bok
      2026

      1 037 kr

      Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru - Principles of Blockchain Systems, Häftad

      Principles of Blockchain Systems

      Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru

      Häftad, 2021

      441 kr

      Chryssis Georgiou, Alexander Shvartsman - Cooperative Task-Oriented Computing, Häftad

      Cooperative Task-Oriented Computing

      Chryssis Georgiou, Alexander Shvartsman

      Häftad, 2011

      405 kr

      Chryssis Georgiou - Do-All Computing in Distributed Systems, Häftad

      Do-All Computing in Distributed Systems

      Chryssis Georgiou

      Häftad, 2010

      1 131 kr

      Maria Potop-Butucaru, Maurice Herlihy, Chryssis Georgiou, Antonio Fernandez Anta - Principles of Blockchain Systems, E-bok

      Principles of Blockchain Systems

      Maria Potop-Butucaru, Maurice Herlihy, Chryssis Georgiou, Antonio Fernandez Anta

      E-bok
      2022

      877 kr

      Alexander Shvartsman, Chryssis Georgiou - Cooperative Task-Oriented Computing, E-bok

      Cooperative Task-Oriented Computing

      Alexander Shvartsman, Chryssis Georgiou

      E-bok
      2022

      488 kr

      Chryssis Georgiou - Do-All Computing in Distributed Systems, E-bok

      Do-All Computing in Distributed Systems

      Chryssis Georgiou

      E-bok
      2007

      1 459 kr