Ihre Suche nach „Morgan Daimler“ in „Allgemeines & Lexika“
Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Fr. 53.50
Fr. 41.50
Cooperative Task-Oriented Computing
Chryssis Georgiou, Alexander Shvartsman
Fr. 41.50
Distributed Computing by Oblivious Mobile Robots
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro
Fr. 47.50
Impossibility Results for Distributed Computing
Hagit Attiya, Faith Ellen
Fr. 45.00
Concurrent Crash-Prone Shared Memory Systems
Michel Raynal
Fr. 71.00
Network Topology and Fault-Tolerant Consensus
Dimitris Sakavalas, Lewis Tseng
Fr. 71.00
Principles of Transactional Memory
Rachid Guerraoui, Michael Kapalka
Fr. 41.50
New Models for Population Protocols
Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
Fr. 41.50
Link Reversal Algorithms
Jennifer Welch, Jennifer Walter
Fr. 39.00
Consistent Distributed Storage
Vincent Gramoli, Nicolas Nicolaou, Alexander A. Schwarzmann
Fr. 71.00
Distributed Computing Pearls
Gadi Taubenfeld
Fr. 71.00
Introduction to Distributed Self-Stabilizing Algorithms
Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
Fr. 71.00
The Theory of Timed I/O Automata, Second Edition
Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
Fr. 39.00
The Mobile Agent Rendezvous Problem in the Ring
Evangelos Kranakis, DANNY KRIZANC, Euripides Marcou
Fr. 39.00
Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Michel Raynal
Fr. 59.00