Order Total (1 Item Items):
Shipping Destination:
Helmut Schwichtenberg (191 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (191)
- 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
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (91)
- Not Print on Demand (137)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Logic and Algebra of Specification
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10: 3540558136 ISBN 13: 9783540558132
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Basic proof Theory
Language: English
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Hardcover. Condition: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
-
Condition: Fair. Volume 165. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540645894.
-
Die wirtschaftlichen Voraussetzungen und Methoden der Erzeugungsschlacht. .
Published by Köln, 1937
Seller: Antiquariat B. Scierski, Erdmannhausen, Germany
Seller rating 4 out of 5 stars
122 Seiten, 8°, Halbleinen. Stempel auf Vorsatz, Pappeinband mit Nummerierung, insgesamt aber gut erhalten.
-
Proof and Computation (Nato ASI Subseries F:)
First Edition
Hardcover. Condition: Very Good. No Jacket. 1st Edition. 470 pages, a near fine hbk, publisher's laminated white boards (no jacket required). It is an ex-library book, but has clearly been rarely used.[3540585818].
-
Condition: New. pp. 460 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Condition: New. pp. 460.
-
Proof technology and computation. Edited by Helmut Schwichtenberg and Katharina Spies.
Language: English
Published by Amsterdam ; Washington, DC, IOS Press, c., 2006
ISBN 10: 1586036254 ISBN 13: 9781586036256
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
First Edition
1st ed. 1 online resource (456 p.). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. NATO science series. Sprache: Englisch.
-
Haberland, F. Jörg. Skulpturen, Räume, Istallationen.
Published by BBK-Landesverband Schleswig-Holstein, Kiel, 1995
40 S. mit Abb., kartoniert, EA., 4° guter Zustand. Bücher.
-
Proof Technology and Computation: v. 200 (NATO Science Series: Computer & Systems Sciences) [Hardcover] Spies, Katharina and Schwichtenberg, Helmut
Language: English
Published by SAGE Publications Ltd, 2006
ISBN 10: 1586036254 ISBN 13: 9781586036256
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New.
-
Condition: New. pp. 460.
-
Proof Technology and Computation: Computer and Systems Sciences: v. 200 (NATO Science Series: Computer & Systems Sciences) [Jul 15, 2006] Schwichtenberg, Helmut
Language: English
Published by SAGE Publications Ltd, 2006
ISBN 10: 1586036254 ISBN 13: 9781586036256
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fine.
-
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Language: English
Published by World Scientific Pub Co Inc, 2018
ISBN 10: 9813270934 ISBN 13: 9789813270930
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Language: English
Published by World Scientific Pub Co Inc, 2018
ISBN 10: 9813270934 ISBN 13: 9789813270930
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.
-
Logic of Computation: (Closed)) (NATO ASI Subseries F:)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry, 62)
Book 198 of 241: NATO Science Series II: Mathematics, Physics and ChemistrySeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
-
Proof and System-Reliability
Book 198 of 241: NATO Science Series II: Mathematics, Physics and ChemistrySeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 428.
-
Condition: New. pp. 416.
-
Proof and System-reliability
Book 198 of 241: NATO Science Series II: Mathematics, Physics and ChemistryLanguage: English
Published by Kluwer Academic Publishers, 2002
ISBN 10: 140200608X ISBN 13: 9781402006081
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597. . 2002. Softcover reprint of the original 1st ed. 2002. Paperback. . . . .
-
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Language: English
Published by World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Language: English
Published by World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
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.
-
Hard Cover. Condition: Fine. 442 pages. "For some years, specification of software and hardware systems has not only been influenced by algebraic methods (which has a long tradition) but also new development in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are also by new theoretical advances, to a great extent stimulated by computer science, which lead to new types of logics, new logical calculi." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.
-
Computational Logic (Nato ASI Subseries F: (165)).
Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. orig. ed. 457 p. In very good condition. ISBN: 9783540645894 Sprache: Englisch Gewicht in Gramm: 788 15,6 x 2,5 x 23,4 cm, hardcover.
-
Proofs and Computations
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Condition: New.
-
Proof and System-reliability
Book 198 of 241: NATO Science Series II: Mathematics, Physics and ChemistryLanguage: English
Published by Kluwer Academic Publishers, 2002
ISBN 10: 140200608X ISBN 13: 9781402006081
Condition: New. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597. . 2002. Softcover reprint of the original 1st ed. 2002. Paperback. . . . . Books ship from the US and Ireland.
-
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.
