Thomas Wies (92 results)
Published by John C. Winston Company, Philadelphia, PA, 1936
- Hardcover
Seller: BASEMENT BOOKS, Albuquerque, NM, U.S.A.BASEMENT BOOKS
Contact seller4-star sellerCondition: Used - Fine
Original price: US$ 11.3320% offCurrent price: US$ 9.07
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
Add to basketCloth. Condition: Fine. No Jacket. First Edition, First Printing. First Edition, First Printing. Hard cover 8vo in embossed red cloth w/gold spine titles. Fine and unmarked; no DJ but in mylar cover. 634pp inc. Glossary; illustrated in drawings, color frontis. Wies, Kurt (illustrator). Book.
Published by The John C Winston Co, 1936
- Hardcover
- Signed
Seller: Melanie Nelson Books, Livingston, NY, NY, U.S.A.Melanie Nelson Books
Contact seller4-star sellerCondition: Used - Very good
US$ 20.00
US$ 4.00 shippingShips within U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Very Good. --------Red cloth covers with gilt, book is near 9" tall, thick book. 634 pages, with color frontispiece and 9 other illustrations.VERY GOOD CONDITION- - - no dust jacket.- - - -SIGNED BY LOWELL THOMAS, ON FLYLEAF - - - -. Signed by Author(s).
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 24.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 57.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.34
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday. Book.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 63.55
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer International Publishing AG, Cham, 2023
- Softcover
- First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 68.67
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 2224, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including, e.g., cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning, multi-core architectures, networks, and security. This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 2224, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.05
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 66.35
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 66.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 81.19
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.47
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 85.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 85.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Automated Verification of Concurrent Search Structures
Siddharth, Krishna; Nisarg, Patel; Dennis, Shasha; Thomas, Wies
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 85.58
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 87.75
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 75.20
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Automated Verification of Concurrent Search Structures
Siddharth, Krishna; Nisarg, Patel; Dennis, Shasha; Thomas, Wies
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 91.29
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 88.83
US$ 13.46 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 166 pages. 6.14x0.36x9.21 inches. In Stock.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 83.12
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 89.94
US$ 13.46 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. revised edition. 228 pages. 9.25x6.10x0.55 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 88.52
US$ 16.82 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 578 pages. 9.25x6.10x1.17 inches. In Stock.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 100.25
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
Siddharth, Krishna; Nisarg, Patel; Dennis, Shasha; Thomas, Wies
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 100.99
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st edition NO-PA16APR2015-KAP.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 91.81
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 55.94
US$ 55.01 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.79
US$ 39.30 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques. Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor.…
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.79
US$ 39.30 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.…
