Melham thomas (24 Ergebnisse)
The World's wild shores
Jennifer C. Urquhart, Thomas O'Neill, Tom Melham, Loren McIntyre, Christine Eckstrom
- Softcover
Anbieter: Foggypaws, Sonoma, CA, USAFoggypaws
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Sehr gut
EUR 3,99
EUR 6,90 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Fine. Hardcover in like new condition. All inside pages are mint. Minor shelf wear to the dust jacket.
Weitere BilderVerlag: National Geographic Society, Washington, D.C., 1991
- Hardcover
Anbieter: Aspen Book Co., Denver, CO, USAAspen Book Co.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 7,11
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Zustand des Schutzumschlags: No jacket, as shown. The book is in good condition, featuring a sturdy red hardcover with no dust jacket. The spine and covers show minor signs of wear, typical for its age, but the binding remains strong. The interior pages are clean, with vibrant images and text intact, pr…oviding an excellent reading experience.
Weitere BilderVerlag: National Geographic Society
- Hardcover
Anbieter: Aspen Book Co., Denver, CO, USAAspen Book Co.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 8,36
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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
Anbieter: Robinson Street Books, IOBA, Binghamton, NY, USARobinson Street Books, IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut
EUR 12,01
EUR 8,20 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Board book. Zustand: 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
Anbieter: Robinson Street Books, IOBA, Binghamton, NY, USARobinson Street Books, IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Wie neu
EUR 12,01
EUR 8,20 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
- Softcover
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 24,62
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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! Shipped… with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 24,70
Versand gratisVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: 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.
Weitere BilderVerlag: National Geographic Society, Washington, D.C., 1989
- Hardcover
Anbieter: Aspen Book Co., Denver, CO, USAAspen Book Co.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 17,41
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. slight wear on edges. The book is in good condition with a hardcover binding. The dust jacket shows slight wear on the edges, but overall remains intact and vibrant. The pages are clean, and the binding is secure, making it a durable addition to any collection.
Verlag: National Geographic, Washington, D. C., 1989
- Hardcover
- Erstausgabe
Anbieter: Voyageur Book Shop, Milwaukee, WI, USAVoyageur Book Shop
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 13,34
EUR 4,10 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fine. Zustand des Schutzumschlags: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
Verlag: National Geographic Society, 1991
- Hardcover
Anbieter: Basement Seller 101, Cincinnati, OH, USABasement Seller 101
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenHardcover. Zustand: New.
Verlag: National Geographic Society, US, 1987
- Hardcover
Anbieter: Keeper of the Page, Enumclaw, WA, USAKeeper of the Page
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenHardcover. Zustand: 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 paraso…l 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
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,46
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,89
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press CUP, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 102,17
EUR 3,44 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. pp. 180.
Sprache: Englisch
Verlag: Cambridge University Press, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 102,05
EUR 7,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 104,36
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 180.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,67 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 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.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 127,06
EUR 29,09 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Verlag: Springer-Verlag (1994), Berlin / Heidelberg, 1994
- Softcover
Anbieter: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DänemarkExpatriate Bookshop of Denmark/John Jackson Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 52,46
EUR 59,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
orig. wrappers. Zustand: 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".
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: 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 refereed…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.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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 contai…ns 27 refereed papers selected fro.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 pape…rs 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.
Weitere Bilder- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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, Tiergartens…tr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Sprache: Englisch
Verlag: Cambridge University Press, 2012
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 148,23
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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.
