Order Total (1 Item Items):
Shipping Destination:
Heering Jan (52 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (52)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (41)
- As New, Fine or Near Fine (7)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (22)
- Not Print on Demand (33)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Language Prototyping: An Algebraic Specification Approach
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
No jacket. Condition: 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
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Hardcover. Condition: 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.
-
Der S?ndenfall des Christentums
Language: German
Published by BoD - Books on Demand, 2024
ISBN 10: 3769324889 ISBN 13: 9783769324884
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
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 (German Edition)
Language: German
Published by Bod - Books on Demand, 2024
ISBN 10: 3769324889 ISBN 13: 9783769324884
Condition: New.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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
Language: German
Published by BoD - Books on Demand, 2024
ISBN 10: 3769324889 ISBN 13: 9783769324884
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 20.21
£ 4.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Paperback. Condition: Very Good. 0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: Used. pp. 304.
-
Condition: 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.
-
Language Prototyping: An Algebraic Specification Approach
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Hardcover. Condition: 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.
-
Condition: As New. Unread book in perfect condition.
-
Condition: Used. pp. 304.
-
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 (German Edition)
Language: German
Published by Bod - Books on Demand, 2024
ISBN 10: 3769324889 ISBN 13: 9783769324884
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 19.97
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science, 1298)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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, 816)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 364.
-
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Language Prototyping
Language: English
Published by World Scientific Publishing Company, Incorporated, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Condition: New. pp. 353 Illustrated Edition.
-
Language Prototyping
Language: English
Published by World Scientific Publishing Company, Incorporated, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Condition: New. pp. 353 Illus.
-
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 (German Edition)
Language: German
Published by Bod - Books on Demand, 2024
ISBN 10: 3769324889 ISBN 13: 9783769324884
Condition: New.
-
Language Prototyping
Language: English
Published by World Scientific Publishing Company, Incorporated, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
Condition: New. pp. 353.
-
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Language: English
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
Taschenbuch. Condition: 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
Language: English
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
Taschenbuch. Condition: 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
Language: English
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540582339 ISBN 13: 9783540582335
Taschenbuch. Condition: 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.
