International symposium distributed computing (117 Ergebnisse)

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

2007. 16 x 24 cm. XVI, 512 S. XVI, 512 p. With online files/update. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science; Theoretical Computer Science and General Issues). Sprache: Englisch.…

Zustand: Good. 357 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Hardcover. Zustand: Very Good. No Jacket. Hardcover 1993 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. [xiv, 353 p. : ill. ; 28 cm].

Paperback. Zustand: Brand New. 200 pages. 9.25x6.10x0.47 inches. In Stock.

Paperback. Zustand: Brand New. In Stock.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.The papers have been organized in topical sections over five volumes as follows:Part I: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive SystemsPart II: Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway SystemsPart III: Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System ContractsPart IV: Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AIPart V: Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems. …

Paperback. Zustand: Brand New. revised edition. 232 pages. 9.25x6.10x0.73 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 2012 edition. 469 pages. 9.10x6.10x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 2011 edition. 506 pages. 9.00x6.00x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 503 pages. 9.00x6.00x1.25 inches. In Stock.

Paperback. Zustand: Brand New. 2013 edition. 605 pages. 9.10x6.10x1.50 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 28th International Symposium on Distributed Computing, DISC 2014, held in Austin, TX, USA, in October 2014. The 35 full papers presented in this volume were carefully reviewed and selected from 148 full paper submissions. In the back matter of the volume a total of 18 brief announcements is presented. The papers are organized in topical sections named: concurrency; biological and chemical networks; agreement problems; robot coordination and scheduling; graph distances and routing; radio networks; shared memory; dynamic and social networks; relativistic systems; transactional memory and concurrent data structures; distributed graph algorithms; and communication.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. This volume includes 23 contributed papers and an invited lecture, all presented at DISC '99, held on September 27-29, 1999 in Bratislava, Slovak Republic. In addition to regular submissions, the call for papers for DISC '99 also - licited Brief Announcements (BAs). We received 60 regular submissions and 15 brief announcement submissions. These were read and evaluated by the p- gramcommittee, with the additional help of external reviewerswhen needed. At the program committee meeting on June 10-11 at Dartmouth College, Hanover, USA, 23 regular submissions and 4 BAs were selected for presentation at DISC '99. The extended abstracts of these 23 regular papers appear in this volume, while the four BAs appear as a special publication of Comenius Univ- sity, Bratislava- the hostof DISC '99.It is expected that the regularpapers will be submitted later, in more polished form, to fully refereed scienti c journals. Of the 23 regular papers selected for the conference, 12 quali ed for the Best Student Paper award. The program committee awarded this honor to the paper entitled 'Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast' by Marcos Aguilera, Sam Toueg, and Borislav Deianov. Marcos and Borislav, who are both students, share this award.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Symposium on Distributed Computing, DISC'98, held in Andros, Greece, in September 1998.The 28 revised papers presented were carefully reviewed and selected from a total of 87 submissions. Also included are one invited paper and two abstracts of invited contributions. The papers address all currect issues of distributed systems, in particular Internet-based computing, shared-memory systems, ATM networks, security aspects, Java process coordination, network protocols, wait-free systems, shared objects, resource allocation, and distributed objects.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, in Paris, France, in July 2014. The 14 revised full papers (including 2 invited talks) were carefully reviewed and selected from 29 submissions and cover topics such as scheduling methods and algorithms, services and applications, fundamental models for resource management in the cloud.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 27th International Symposium on Distributed Computing, DISC 2013, held in Jerusalem, Israel, in October 2013. The 27 full papers presented in this volume were carefully reviewed and selected from 142 submissions; 16 brief announcements are also included. The papers are organized in topical sections named: graph distributed algorithms; topology, leader election, and spanning trees; software transactional memory; shared memory executions; shared memory and storage; gossip and rumor; shared memory tasks and data structures; routing; radio networks and the SINR model; crypto, trust, and influence; and networking.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Symposium on Distributed Computing, DISC 2007. The 32 revised full papers, presented together with abstracts of three invited papers and nine brief announcements of ongoing works, cover all current issues in distributed computing, including theory, design, analysis, implementation, and application of distributed systems and networks. Coverage ranges from theoretical topics to applications in various fields.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 30th International Symposium on Distributed Computing, DISC 2016, held in Paris, France, in September 2016. The 32 full papers, 10 brief annoucements and 3 invited lectures presented in this volume were carefully reviewed and selected from 145 submissions.The focus of the conference is on following topics: theory, design, implementation, modeling, analysis, or application of distributed systems and networks.…

Zustand: As New. Unread book in perfect condition.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: Brand New. 532 pages. 9.00x6.25x1.25 inches. In Stock.