Peter Markstein (46 results)

- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 30.80
Free ShippingShips within U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 30.20
US$ 5.58 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

- Hardcover
- First Edition
Seller: Charles Berry, Bookseller, Lakeport, CA, U.S.A.Charles Berry, Bookseller
Contact seller5-star sellerCondition: Used - Fine
US$ 34.00
US$ 4.20 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. 1st Edition. Large hardcover in excellent, unmarked, near-pristine condition (slightest handling). 400 pages. [2.8 lbs]. Book.

- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 41.43
Free ShippingShips within U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 39.87
US$ 5.58 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Robbery (Original photograph from the 1967 film)
Stanley Baker, Joanna Pettet, James Booth, Frank Finlay (starring); Peter Yates (director); Edward Boyd, George Markstein, Gerald Wilson (screenwriters)
Published by Paramount Pictures, Hollywood 1967
- Photo
Seller: Royal Books, Inc., ABAA, Baltimore, MD, U.S.A.Royal Books, Inc., ABAA
Contact seller5-star sellerVintage full-color still photograph from the 1967 UK film. Based on the "Great Train Robbery" that took place in Buckinghamshire in 1963. 8 x 10 inches. Very Good plus, with a few tiny tears and light creases.

- Hardcover
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.Goodwill of Silicon Valley
Contact seller5-star sellerCondition: Used - Good
US$ 49.95
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Cuyt, Annie (EDT); Kramer, Walter (EDT); Luther, Wolfram (EDT); Markstein, Peter (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.06
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
More images- Softcover
- Print on Demand
Seller: Forgotten Books, London, United KingdomForgotten Books
Contact seller4-star sellerCondition: New
US$ 19.37
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. Print on Demand. This book is an experiment in extending a theoretical programming language, SETL, for operating system description. The author suggests an extension to this language to allow the description of algorithms involving interrupts, parallelism, and machine-dependent features. Using this ext…ension, several complete operating systems are presented in detail. The first is a simple uniprogrammed batch system illustrating basic control mechanisms and scheduling. The second is a multiprogrammed batch system showing additional complications due to conflicts for resources and conflicting objectives. The third is an interactive system that includes data sharing capabilities. The principal question the author is trying to address is: can SETL be used for the specification of operating systems as effectively as it can be used for other classes of problems? The reader, after studying the examples of Chapters III, IV, and V, will have formed his answer to this question. This book is an experiment of this kind and cannot confine itself to the discussion of small examples. An experiment of this kind cannot confine itself to the discussion of small examples. Operating systems are inherently larger and more complex than, say, sorting algorithms. To give a fair demonstration of the extended SETL the author felt it necessary to describe an entire operating system; even a simple example of this kind is relatively large, and requires at least a dozen pages of code. If this experiment is successful, then detailed specifications of several operating systems, in comprehensible form, appear in this work. In order to motivate the examples which are presented, and make them as clear as possible, this book has been cast in the form of an introductory text on operating systems which contains three completely coded examples. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.19
US$ 16.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.01
US$ 20.78 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Cuyt, Annie (EDT); Kramer, Walter (EDT); Luther, Wolfram (EDT); Markstein, Peter (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.61
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Cuyt, Annie (EDT); Kramer, Walter (EDT); Luther, Wolfram (EDT); Markstein, Peter (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.44
US$ 20.12 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 89.20
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 276.

- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 85.26
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 276.

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Cuyt, Annie (EDT); Kramer, Walter (EDT); Luther, Wolfram (EDT); Markstein, Peter (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.26
US$ 20.12 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 112.44
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.

- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 112.44
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 125.62
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.

- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 125.62
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.

- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 125.62
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: 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.

- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 125.62
Free ShippingShips within U.S.A.Quantity: 8 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 125.62
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 125.62
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Hardcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
US$ 130.36
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.86
US$ 72.01 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were sele…cted during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 60.12
US$ 81.14 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Numerical Validation in Current Hardware Architectures | International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers | Annie A. M. Cuyt (u. a.) | Taschenbuch | xii | Englisch | 2009 | Springer | EAN 9783642015908 | Verantwortliche Person für die EU: Springer Verlag Gm…bH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 143.92
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. xiii + 340.

- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 159.69
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. xiii + 340 1st Edition.

- Softcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 48.79
US$ 121.71 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers prese…nted were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.