Melham thomas (11 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 5 SternenZustand: Gebraucht - Sehr gut
EUR 4,07
EUR 7,04 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.
Excursion to Enchantment: A Journey to the World's Most Beautiful Places Chris Eckstrom Lee; Paul Martin; Tom Melham; Thomas O'Neill; Cynthia Russ Ramsay; Jennifer C. Urquhart; Tom Bean; Medford Taylor Annie Griffiths Belt; Paul Chesley and Nicholas De Vore III
Chris Eckstrom Lee [Collaborator]; Paul Martin [Collaborator]; Tom Melham [Collaborator]; Thomas O'Neill [Collaborator]; Cynthia Russ Ramsay [Collaborator]; Jennifer C. Urquhart [Collaborator]; Tom Bean [Photographer]; Medford Taylor Annie Griffiths Belt [Photographer]; Paul Chesley [Photographer]; Nicholas De Vore III [Photographer];
- Hardcover
Anbieter: GridFreed, San Diego, CA, USAGridFreed
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 18,10
EUR 6,12 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: New. In shrink wrap.
Majestic Island Worlds
Leslie Allen; Ron Fisher [Collaborator]; Christine Eckstrom Lee [Collaborator]; Tom Melham [Collaborator]; Thomas O''Neill [Collaborator]; Cynthia Russ Ramsay [Collaborator]; Sam Abell [Photographer]; Paul Von Baich [Photographer]; Paul Chesley [Photographer]; Bill Curtsinger [Photographer];
- Hardcover
Anbieter: GridFreed, San Diego, CA, USAGridFreed
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 19,15
EUR 6,12 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Board book. Zustand: New. In shrink wrap.
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,61
EUR 4,18 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Fine. Zustand des Schutzumschlags: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 49,21
Versand nach 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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,66
EUR 13,89 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press 1993
Serie: Cambridge Tracts in Theoretical Computer Science, Buch 30 von 40. 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 68,63
EUR 7,54 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.
Weitere Bilder- Softcover
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.
Sprache: Englisch
Verlag: Cambridge University Press 1993
Serie: Cambridge Tracts in Theoretical Computer Science, Buch 30 von 40. Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 199,36
EUR 62,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how cer…tain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. 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 courses on hardware verification and as a resource for research workers.
Verlag: Springer-Verlag (1994), Berlin / Heidelberg 1994
- Softcover
Anbieter: Expatriate Bookshop of Denmark, Svendborg, DänemarkExpatriate Bookshop of Denmark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 53,52
EUR 65,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".
