Melham thomas (21 résultats)
The World's wild shores
Jennifer C. Urquhart, Thomas O'Neill, Tom Melham, Loren McIntyre, Christine Eckstrom
- Couverture souple
Vendeur : Foggypaws, Sonoma, CA, Etats-UnisFoggypaws
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Très bon
EUR 4,00
EUR 6,92 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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];
- Couverture rigide
Vendeur : Robinson Street Books, IOBA, Binghamton, NY, Etats-UnisRobinson Street Books, IOBA
Contacter le vendeurVendeur avec une évaluation de 4 étoilesMembre d’une association professionnelle : IOBA
Etat: Occasion - Assez bon
EUR 12,05
EUR 8,23 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Board book. Etat : 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
- Couverture souple
Vendeur : Robinson Street Books, IOBA, Binghamton, NY, Etats-UnisRobinson Street Books, IOBA
Contacter le vendeurVendeur avec une évaluation de 4 étoilesMembre d’une association professionnelle : IOBA
Etat: Occasion - Comme neuf
EUR 12,05
EUR 8,23 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
- Couverture souple
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 24,74
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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 w…ith delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 26,20
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : 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.
Edité par National Geographic, Washington, D. C., 1989
- Couverture rigide
- Édition originale
Vendeur : Voyageur Book Shop, Milwaukee, WI, Etats-UnisVoyageur Book Shop
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 13,38
EUR 4,11 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fine. Etat de la jaquette : Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
Edité par National Geographic Society, 1991
- Couverture rigide
Vendeur : Basement Seller 101, Cincinnati, OH, Etats-UnisBasement Seller 101
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 14,27
EUR 4,33 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New.
Edité par National Geographic Society, US, 1987
- Couverture rigide
Vendeur : Keeper of the Page, Enumclaw, WA, Etats-UnisKeeper of the Page
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 12,80
EUR 6,06 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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 parasol…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.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 60,67
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,23
EUR 14,02 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Cambridge University Press CUP, 1993
Série : Livre 30 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 102,10
EUR 3,46 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. pp. 180.
Langue : anglais
Edité par Cambridge University Press, 1993
Série : Livre 30 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 103,14
EUR 7,61 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
Langue : anglais
Edité par Cambridge University Press, 1993
Série : Livre 30 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 105,42
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. pp. 180.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 63,67 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 fr…om 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.
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 127,77
EUR 29,26 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Edité par Springer-Verlag (1994), Berlin / Heidelberg, 1994
- Couverture souple
Vendeur : Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DanemarkExpatriate Bookshop of Denmark/John Jackson Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 52,64
EUR 59,00 expéditionExpédition depuis Danemark vers Etats-UnisQuantité disponible : 1 disponible(s)
orig. wrappers. Etat : 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".
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 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. 488 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,37
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : 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 contains… 27 refereed papers selected fro.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.
Autres images- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,25
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : 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, Tiergartenstr…. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Langue : anglais
Edité par Cambridge University Press, 2012
Série : Livre 30 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 148,23
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : 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. Th…us it can be used to accompany cours.
