Condition: As New. Unread book in perfect condition.
Seller: Books From California, Simi Valley, CA, U.S.A.
hardcover. Condition: Good. Book is bent.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New. pp. 392.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Morgan & Claypool Publishers, 2019
ISBN 10: 1450372716 ISBN 13: 9781450372718
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2019. Paperback. . . . . .
Language: English
Published by Association of Computing Machinery,U.S., US, 2019
ISBN 10: 1450372716 ISBN 13: 9781450372718
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Paperback. Condition: New. This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Association for Computing Machinery, 2019
ISBN 10: 1450372708 ISBN 13: 9781450372701
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Association for Computing Machinery, 2019
ISBN 10: 1450372708 ISBN 13: 9781450372701
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Morgan & Claypool Publishers, 2019
ISBN 10: 1450372716 ISBN 13: 9781450372718
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2019. Paperback. . . . . . Books ship from the US and Ireland.
Language: English
Published by Association for Computing Machinery, 2019
ISBN 10: 1450372708 ISBN 13: 9781450372701
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 80.16
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Association of Computing Machinery,U.S., US, 2019
ISBN 10: 1450372716 ISBN 13: 9781450372718
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Berlin Springer Verlag, 2002
ISBN 10: 3540000739 ISBN 13: 9783540000730
Seller: CSG Onlinebuch GMBH, Darmstadt, Germany
Softcover. Condition: Gut. Gebraucht - Gut Verlagsmängelex., X, 372 p. Brosch This book constitutes the refereed proceedings of the 16th International Conference on Distributed Computing, DISC 2002, held in Toulouse, France, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from 76 submissions. Among the issues addressed are broadcasting, secure computation, view maintenance, communication protocols, distributed agreement, self-stabilizing algorithms, message-passing systems, dynamic networks, condition monitoring systems, shared memory computing, Byzantine processes, routing, failure detection, compare-and-swap operations, cooperative computation, and consensus algorithms. For Researchers and professionals.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The International Symposium on DIStributed Computing (DISC) 2002 was held in Toulouse, France, on October 28 30, 2002. The realization of distributed s- tems on numerous fronts and the proliferation of the Internet continue to make the symposium highly important and relevant. There were 76 regular submissions to DISC this year, which were read and evaluated by program committee members assisted by external reviewers. Twen- four papers were selected by the program committee to be included in these proceedings. The quality of submissions was high, and the committee had to decline some papers worthy of publication. The best student paper award was selected from among regular submissions that were not co-authored by any program committee member, and was given to Yongqiang Huang for his contribution Assignment-Based Partitioning in a Condition Monitoring System , co-authored with Hector Garcia-Molina. October 2002 Dahlia Malkhi Organizing Committee Mamoun Filali Philippe Mauran G`erard Padiou (Chair) Philippe Qu`einnec Anne-Marie Zerr (Secretary) Steering Committee Andr`e Schiper, Chair (EPFL, Switzerland) Michel Raynal, Vice-chair (Irisa, France) Maurice Herlihy (Brown University, USA) Dahlia Malkhi, Program Chair (Hebrew University of Jerusalem, Israel) Jennifer Welch (Texas A&M University, USA) Alex Shvartsman (University of Connecticut, USA) Shay Kutten (Technion, Israel) Program Committee Gustavo Alonso (ETH Zurich, Switzerland) Roberto Baldoni (University of Rome, Italy) Dave Bakken (Washington State University, USA) Paul Ezhilchelvan (University of Newcastle, UK) Christof Fetzer (AT&T Labs-Research, USA) Faith Fich (University of Toronto, Canada) Roy Friedman (Technion, Israel) Juan A.
Taschenbuch. Condition: Neu. Distributed Computing | 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings | Dahlia Malkhi | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540000730 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Language: English
Published by Association for Computing Machinery, 2019
ISBN 10: 1450372708 ISBN 13: 9781450372701
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 365 pages. 9.25x7.50x0.79 inches. In Stock.
Language: English
Published by Association for Computing Machinery, 2019
ISBN 10: 1450372708 ISBN 13: 9781450372701
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 98.45
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Association for Computing Machinery, 2019
ISBN 10: 1450372708 ISBN 13: 9781450372701
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Association of Computing Machinery,U.S., US, 2019
ISBN 10: 1450372716 ISBN 13: 9781450372718
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Paperback. Condition: New. This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.