Jan heering (54 risultati)

- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 25,70
EUR 2,67 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Rilegato
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,01
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Hardback or Cased Book. Condizione: New. The Fall of Christianity: A Study of Christianity the State and War. Book.

- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,80
EUR 2,67 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 11,95
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 39,73
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

- Brossura
Da: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 39,81
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 39,81
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
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.

- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,08
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,28
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 28,45
EUR 2,67 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 54,33
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: Used. pp. 304.

- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 51,39
EUR 7,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: Used. pp. 304 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science)
Heering, Jan [Editor]; Meinke, Karl [Editor]; Möller, Bernhard [Editor]; Nipkow, Tobias [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 53,68
EUR 6,23 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Very Good. Sorry, No international shipping on this item.0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.

- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 52,42
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: Used. pp. 304.

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers
Dowek, Gilles (EDT); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) (COR); Meinke, Karl (EDT); Moller, Bernhard (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,96
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers
Dowek, Gilles (EDT); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) (COR); Meinke, Karl (EDT); Moller, Bernhard (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,98
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.

Higher-order Algebra, Logic, and Term Rewriting : First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers
Heering, Jan; Meinke, Karl (EDT); Moller, Bernhard; Nipkow, Tobias
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,98
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.

Higher-order Algebra, Logic, and Term Rewriting : First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers
Heering, Jan; Meinke, Karl (EDT); Moller, Bernhard; Nipkow, Tobias
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,67
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.

Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1994
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,10
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1994 ed.

- Brossura
Da: Optimon Books, Gravesend, KENT, Regno UnitoOptimon Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 57,97
EUR 21,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Good. This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.…

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area. …

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.…

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. …
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,45
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Higher-Order Algebra, Logic, and Term Rewriting | First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers | Jan Heering (u. a.) | Taschenbuch | ix | Englisch | 1994 | Springer | EAN 9783540582335 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1994
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,24
EUR 77,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1994 ed. This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.…

- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 188,53
EUR 14,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Hardcover. Condizione: Brand New. 304 pages. 9.50x6.25x0.75 inches. In Stock.

- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 189,98
EUR 29,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

- Rilegato
- Prima edizione
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 205,86
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Über den AutorElizabeth Cavicchi completed a doctor of education (EdD) degree at Harvard University masters degrees at Harvard, Boston University and MIT undergraduate degrees at MIT. She has written and presented internat.

- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 28,07
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 25,27
EUR 4,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.