Reihe Synthesis Lectures on Distributed Computing Theory Decidability of Parameterized Verification Roderick BloemSpringer International PublishingeBook202248,14 € Introduction to Distributed Self-Stabilizing Algorithms Karine AltisenSpringer International PublishingeBook202264,19 € Consistent Distributed Storage Vincent GramoliSpringer International PublishingeBook202264,19 € Concurrent Crash-Prone Shared Memory SystemsA Few Theoretical NotionsMichel RaynalSpringer International PublishingeBook202264,19 € Concurrent Crash-Prone Shared Memory SystemsA Few Theoretical NotionsMichel RaynalSpringer International PublishingSoftcover202264,19 € Consistent Distributed Storage Vincent GramoliSpringer International PublishingSoftcover202164,19 € Network Topology and Fault-Tolerant Consensus Dimitris SakavalasSpringer International PublishingSoftcover201964,19 € Introduction to Distributed Self-Stabilizing Algorithms Karine AltisenSpringer International PublishingSoftcover201964,19 € Distributed Computing Pearls Gadi TaubenfeldSpringer International PublishingSoftcover201864,19 € Decidability of Parameterized Verification Roderick BloemSpringer International PublishingSoftcover201548,14 €42 Treffer 1 2 3 4 5