Thomas melham (21 resultados)
The World's wild shores
Jennifer C. Urquhart, Thomas O'Neill, Tom Melham, Loren McIntyre, Christine Eckstrom
- Tapa blanda
Librería: Foggypaws, Sonoma, CA, Estados Unidos de AmericaFoggypaws
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 4,00
Envío por EUR 6,92Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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];
- Tapa dura
Librería: Robinson Street Books, IOBA, Binghamton, NY, Estados Unidos de AmericaRobinson Street Books, IOBA
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: IOBA
Condición: Usado - Bueno
EUR 12,05
Envío por EUR 8,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Board book. Condición: 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
- Tapa blanda
Librería: Robinson Street Books, IOBA, Binghamton, NY, Estados Unidos de AmericaRobinson Street Books, IOBA
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: IOBA
Condición: Usado - Como Nuevo
EUR 12,05
Envío por EUR 8,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
- Tapa blanda
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 24,74
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 26,20
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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.
Editorial: National Geographic, Washington, D. C., 1989
- Tapa dura
- Primera edición
Librería: Voyageur Book Shop, Milwaukee, WI, Estados Unidos de AmericaVoyageur Book Shop
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 13,38
Envío por EUR 4,11Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. Estado de la sobrecubierta: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
Editorial: National Geographic Society, 1991
- Tapa dura
Librería: Basement Seller 101, Cincinnati, OH, Estados Unidos de AmericaBasement Seller 101
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 14,27
Envío por EUR 4,33Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
Editorial: National Geographic Society, US, 1987
- Tapa dura
Librería: Keeper of the Page, Enumclaw, WA, Estados Unidos de AmericaKeeper of the Page
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 12,80
Envío por EUR 6,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 60,67
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,23
Envío por EUR 14,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press CUP, 1993
Serie: Libro 30 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 102,10
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 180.
Idioma: Inglés
Editorial: Cambridge University Press, 1993
Serie: Libro 30 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 103,14
Envío por EUR 7,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 1993
Serie: Libro 30 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 105,42
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 180.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 63,67Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 127,77
Envío por EUR 29,26Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Editorial: Springer-Verlag (1994), Berlin / Heidelberg, 1994
- Tapa blanda
Librería: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DinamarcaExpatriate Bookshop of Denmark/John Jackson Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 52,64
Envío por EUR 59,00Se envía de Dinamarca a Estados Unidos de AmericaCantidad disponible: 1 disponibles
orig. wrappers. Condición: 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".
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 2012
Serie: Libro 30 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 148,23
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
