Thomas Melham (22 results)
The World's wild shores
Jennifer C. Urquhart, Thomas O'Neill, Tom Melham, Loren McIntyre, Christine Eckstrom
- Softcover
Seller: Foggypaws, Sonoma, CA, U.S.A.Foggypaws
Contact seller5-star sellerCondition: Used - Fine
US$ 4.49
US$ 7.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Fine. Hardcover in like new condition. All inside pages are mint. Minor shelf wear to the dust jacket.
- More images
Published by National Geographic Society
- Hardcover
Seller: Aspen Book Co., Denver, CO, U.S.A.Aspen Book Co.
Contact seller5-star sellerHardcover. Condition: Good.
Great American Journeys
Tom Melham; Toni Eugene [Editor]; John G. Agnone [Editor]; Thomas O'Neill [Collaborator]; Cynthia Russ Ramsay [Collaborator]; Jennifer C. Urquhart [Collaborator];
- Hardcover
Seller: Robinson Street Books, IOBA, Binghamton, NY, U.S.A.Robinson Street Books, IOBA
Contact seller4-star sellerAssociation member: IOBA
Condition: Used - Very good
US$ 13.50
US$ 9.50 shippingShips within U.S.A.Quantity: 1 available
Board book. Condition: Very Good. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDVery good hardcover in very good dust jacket. Clean pages.
The World's wild shores
Christine Eckstrom; Loren McIntyre; Tom Melham; Thomas O'Neill; Jennifer C. Urquhart
- Softcover
Seller: Robinson Street Books, IOBA, Binghamton, NY, U.S.A.Robinson Street Books, IOBA
Contact seller4-star sellerAssociation member: IOBA
Condition: Used - As new
US$ 13.50
US$ 9.50 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 27.73
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 29.37
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Published by National Geographic, Washington, D. C., 1989
- Hardcover
- First Edition
Seller: Voyageur Book Shop, Milwaukee, WI, U.S.A.Voyageur Book Shop
Contact seller5-star sellerCondition: Used - Fine
US$ 15.00
US$ 4.75 shippingShips within U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Fine. Dust Jacket Condition: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
Published by National Geographic Society, 1991
- Hardcover
Seller: Basement Seller 101, Cincinnati, OH, U.S.A.Basement Seller 101
Contact seller5-star sellerHardcover. Condition: New.
Published by National Geographic Society, US, 1987
- Hardcover
Seller: Keeper of the Page, Enumclaw, WA, U.S.A.Keeper of the Page
Contact seller5-star sellerHardcover. Condition: New. Fine DJ. National Geographic Society 1987 New/Fine DJ Very Fine. Light-blue embossed palm tree on leather-like boards with silver spine lettering. Green end papers. Bright glossy color photos with maps on pages. Bright glossy dust jacket picturing two Japanese geishas all decked out in kimono with para…sol on small red arched bridge. 199 pages with index. In Plastic. LARGE HEAVY ITEM 1.62 Pounds. Size: 10 1/4 x 7 1/8 x 5/8 inches. No Exp.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.51
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press CUP, 1993
Series: Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 115.65
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 180.
Language: English
Published by Cambridge University Press, 1993
Series: Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 116.92
US$ 8.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 180 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.
Language: English
Published by Cambridge University Press, 1993
Series: Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 125.04
US$ 11.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 180.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.73
US$ 72.50 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selecte…d from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 145.06
US$ 33.22 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Published by Springer-Verlag (1994), Berlin / Heidelberg, 1994
- Softcover
Seller: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DenmarkExpatriate Bookshop of Denmark/John Jackson Books
Contact seller5-star sellerCondition: Used
US$ 59.00
US$ 67.18 shippingShips from Denmark to U.S.A.Quantity: 1 available
orig. wrappers. Condition: Minor wear. VG. 24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings".
- More images
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 62.73
US$ 26.19 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 -This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 referee…d papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic. 488 pp. Englisch.
- More images
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.73
US$ 55.78 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. This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings cont…ains 27 refereed papers selected fro.
- More images
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 62.73
US$ 68.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed pa…pers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.
- More images
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 58.93
US$ 79.70 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Higher Order Logic Theorem Proving and Its Applications | 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings | Thomas F. Melham (u. a.) | Taschenbuch | xi | Englisch | 1994 | Springer | EAN 9783540584506 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarte…nstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- More images
Language: English
Published by Cambridge University Press, 2012
Series: Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 173.84
US$ 55.78 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. This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author s own research as well as on graduate teaching…. Thus it can be used to accompany cours.
