Gesamtpreis (1 Artikel Artikel):
Versandziel:
heering jan (20 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (20)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (13)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (9)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Language Prototyping: An Algebraic Specification Approach
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Language Prototyping: An Algebraic Specification Approach
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
No jacket. Zustand: Très bon. Ancien livre de bibliothèque. Sans jaquette. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Language Prototyping: An Algebraic Specification Approach
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Tome 5. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Volume 5. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Higher-Order Algebra, Logic, and Term Rewriting : Selected Papers of the Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Der S?ndenfall des Christentums
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Higher-order Algebra, Logic, And Term Rewriting/second International Workshop, Hoa *95, Paderborn, Germany, September 1995. Selected Papers
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Der S?ndenfall des Christentums
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 23,87
EUR 4,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Higher-Order Algebra, Logic, and Term Rewriting
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 54,04
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 304.
-
Language Prototyping
Sprache: Englisch
Verlag: World Scientific Publishing Company, Incorporated, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 82,98
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 353 Illus.
-
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 1994
ISBN 10: 3540582339 ISBN 13: 9783540582335
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Taschenbuch. Zustand: Neu. Algebraic and Logic Programming | 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings | Michael Hanus (u. a.) | Taschenbuch | xi | Englisch | 1997 | Springer | EAN 9783540634591 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Higher-Order Algebra, Logic, and Term Rewriting | Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | Gilles Dowek (u. a.) | Taschenbuch | viii | Englisch | 1996 | Springer | EAN 9783540612544 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: 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.
-
Hugo Grotius As Apologist for the Christian Religion: A Study of His Work De Veritate Religionis Christianae, 1640
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 187,82
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 304 pages. 9.50x6.25x0.75 inches. In Stock.
-
Historical Scientific Instruments in Contemporary Education
Buch 8 von 11: Scientific Instruments and CollectionsErstausgabe
EUR 200,87
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
-
Taschenbuch. Zustand: Neu. Der Sündenfall des Christentums | Eine Untersuchung über Christentum, Staat und Krieg - Aus dem Holländischen übersetzt durch Octavia Müller-Hofstede de Groot, 1930 | Gerrit Jan Heering | Taschenbuch | 316 S. | Deutsch | 2024 | Books on Demand GmbH | EAN 9783769324884 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
-
8 dichtbundels: Toen liet je het leven los, Lopen uit de tijd, De rode hoed, Notenschrift, Gat in de tijd, Weg en weer, Etgroen, Wat niemand weet
Anbieter: Houtman Boeken, Utrecht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: fine. 8 Nette paperbacks met stofomslag.
