Thomas melham (21 risultati)
The World's wild shores
Jennifer C. Urquhart, Thomas O'Neill, Tom Melham, Loren McIntyre, Christine Eckstrom
- Brossura
Da: Foggypaws, Sonoma, CA, U.S.A.Foggypaws
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 4,01
EUR 6,93 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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];
- Rilegato
Da: Robinson Street Books, IOBA, Binghamton, NY, U.S.A.Robinson Street Books, IOBA
Contatta il venditoreVenditore con 4 stelleMembro dell’associazione: IOBA
Condizione: Usato - Molto buono
EUR 12,07
EUR 8,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Board book. Condizione: 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
- Brossura
Da: Robinson Street Books, IOBA, Binghamton, NY, U.S.A.Robinson Street Books, IOBA
Contatta il venditoreVenditore con 4 stelleMembro dell’associazione: IOBA
Condizione: Usato - Come nuovo
EUR 12,07
EUR 8,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 24,77
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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! Ship…ped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 26,24
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: 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.
Editore: National Geographic, Washington, D. C., 1989
- Rilegato
- Prima edizione
Da: Voyageur Book Shop, Milwaukee, WI, U.S.A.Voyageur Book Shop
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 13,40
EUR 4,12 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Fine. Condizione sovraccoperta: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
Editore: National Geographic Society, 1991
- Rilegato
Da: Basement Seller 101, Cincinnati, OH, U.S.A.Basement Seller 101
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 14,29
EUR 4,34 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
Editore: National Geographic Society, US, 1987
- Rilegato
Da: Keeper of the Page, Enumclaw, WA, U.S.A.Keeper of the Page
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 12,82
EUR 6,07 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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 par…asol 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.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 60,76
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,26
EUR 14,03 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press CUP, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,24
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 180.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 103,28
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 105,42
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 180.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 63,67 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 select…ed 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.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 127,83
EUR 29,27 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Editore: Springer-Verlag (1994), Berlin / Heidelberg, 1994
- Brossura
Da: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DanimarcaExpatriate Bookshop of Denmark/John Jackson Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 52,71
EUR 59,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
orig. wrappers. Condizione: 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".
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 refere…ed 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.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 con…tains 27 refereed papers selected fro.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 p…apers 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.
Altre immagini- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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, Tiergart…enstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 teachin…g. Thus it can be used to accompany cours.
