Krishna Siddharth (22 results)
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 76.03
US$ 15.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 87.58
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st edition NO-PA16APR2015-KAP.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 86.48
US$ 11.95 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 102.95
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 68.97
US$ 70.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to s…earch structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 139.32
US$ 2.64 shippingShips within U.S.A.Quantity: 10 available
Condition: New.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 64.23
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Verification of Concurrent Search Structures | Siddharth Krishna (u. a.) | Taschenbuch | Synthesis Lectures on Computer Science | x | Englisch | 2021 | Springer | EAN 9783031006784 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]ha…rtmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 142.05
US$ 19.80 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 164.06
US$ 2.64 shippingShips within U.S.A.Quantity: 10 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 169.46
US$ 19.80 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 178.52
US$ 8.58 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 190.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 200.52
US$ 3.99 shippingShips within U.S.A.Quantity: 3 available
Condition: New.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 211.97
US$ 11.32 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New.
Hydrogen Fuel Cells: Cold Start Solutions
Kudapa, Vamsi Krishna (Dept. Of Chemical Engineering, Upes, India) Mondal, Surajit (Univ Of Petroleum & Energy Stud, India) Siddharth, S.
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 255.26
US$ 16.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 192 pages. 9.18x6.12x9.45 inches. In Stock.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
US$ 58.88
US$ 6.26 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Jun 2021 2021
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 68.97
US$ 26.17 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to s…peed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures. 192 pp. Englisch.
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 86.82
US$ 8.58 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 91.86
US$ 11.32 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
Automated Verification of Concurrent Search Structures
Krishna, Siddharth|Patel, Nisarg|Shasha, Dennis|Wies, Thomas
Language: English
Published by Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer 2021
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 60.38
US$ 55.75 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel…algorithms to speed access to search str.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 68.97
US$ 68.28 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed… access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 192 pp. Englisch.
Hydrogen Fuel Cells
Vamsi Krishna Kudapa (Dept. of Chemical Engineering, UPES, India)|Surajit Mondal (Univ of Petroleum & Energy Stud, India)|S. Siddharth
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 207.33
US$ 55.75 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Vamsi Krishna Kudapa, Associate Professor, working in Department of Chemical and Petroleum Engineering, UPES, Dehradun Since 2013. Before UPES, he worked as an Assistant Professor and Head in the Department of Petrole…um Engineering, Sri Aditya Eng.
