Thomas melham (9 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 4,00
EUR 6,92 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.
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,05
EUR 8,23 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,05
EUR 8,23 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 26,20
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.
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,38
EUR 4,11 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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,23
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
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 103,14
EUR 7,61 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.
- 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.
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,64
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".
