Books written by Helmut Schwichtenberg Bookswagon UAE
BooksWagon Icon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Helmut Schwichtenberg

Helmut Schwichtenberg

14 results found
List viewGrid view
Sort By:
1.
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
By: Helmut Schwichtenberg, Klaus Mainzer, Klaus (Technische Univ Munchen, Germany) Mainzer, Peter Michael Schuster
Publisher: World Scientific Publishing Company
No Review Yet
AED375
Binding:
Hardback
Release:
27 Sep 2021
Language:
English
Available
Ships within 1-2 Days Explain..
2.
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
By: Helmut Schwichtenberg, Klaus Mainzer, Peter Schuster, Klaus (Technische Univ Munchen, Germany) Mainzer, Peter Michael Schuster
Publisher: World Scientific Publishing Company
No Review Yet
AED279
Binding:
Hardback
Release:
30 Jul 2018
Language:
English
Available
Ships within 1-2 Days Explain..
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
3.
Proofs and Computations
Proofs and Computations
By: Helmut Schwichtenberg, Stanley S. (University of Leeds) Wainer, Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S Wainer
Publisher: Cambridge University Press
No Review Yet
AED323
Binding:
Hardback
Release:
31 Dec 2011
Language:
English
Available
Ships within 2-4 Days Explain..
4.
Computational Logic
Computational Logic
By: Helmut Schwichtenberg, Ulrich Berger
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED723
Binding:
Paperback
Release:
29 Oct 2012
Language:
English
International Edition
Ships within 14-16 Days Explain..
5.
Logic of Computation
Logic of Computation
By: Helmut Schwichtenberg
Publisher: Springer
No Review Yet
AED266
Binding:
Paperback
Release:
13 Oct 2012
Language:
English
International Edition
Ships within 14-16 Days Explain..
6.
Logic of Computation
Logic of Computation
By: Helmut Schwichtenberg
Publisher: Springer
No Review Yet
AED404
Binding:
Hardback
Release:
22 Aug 1997
Language:
English
International Edition
Ships within 14-16 Days Explain..
7.
Proof and System-Reliability
Proof and System-Reliability
By: Helmut Schwichtenberg, Ralf Steinbruggen
Publisher: Springer
No Review Yet
AED342
Binding:
Hardback
Release:
31 May 2002
Language:
English
Available
Ships within 2-4 Days Explain..
8.
Proof and System-Reliability
Proof and System-Reliability
By: Helmut Schwichtenberg, Ralf Steinbruggen, Ralf Steinbrüggen
Publisher: Springer
No Review Yet
AED266
Binding:
Paperback
Release:
31 May 2002
Language:
English
International Edition
Ships within 14-16 Days Explain..
9.
Proof and Computation
Proof and Computation
By: Helmut Schwichtenberg
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED509
Binding:
Paperback
Release:
13 Dec 2011
Language:
English
International Edition
Ships within 14-16 Days Explain..
10.
Computational Logic
Computational Logic
By: H. Schwichtenberg, U. Berger, Helmut Schwichtenberg, Ulrich Berger
Publisher: Springer
No Review Yet
AED343
Binding:
Hardback
Release:
14 Apr 1999
Language:
English
Available
Ships within 1-2 Days Explain..
11.
Computer Science Logic
Computer Science Logic
By: H. Schwichtenberg, P. Clote, Peter G. Clote, Helmut Schwichtenberg, Peter G Clote
Publisher: Springer
No Review Yet
AED506
Binding:
Paperback
Release:
09 Aug 2000
Language:
English
International Edition
Ships within 14-16 Days Explain..
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
12.
Handbook of Constructive Mathematics
Handbook of Constructive Mathematics
By: Douglas Bridges, Helmut Schwichtenberg, Michael Rathjen, Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Bridges Douglas Bridges
No Review Yet
AED827
International Edition
Ships within 14-16 Days Explain..
13.
Logic and Algebra of Specification
Logic and Algebra of Specification
By: Wilfried Brauer, Helmut Schwichtenberg, Friedrich L. Bauer, Friedrich L Bauer
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED724
Binding:
Paperback
Release:
14 Apr 2014
Language:
English
International Edition
Ships within 14-16 Days Explain..
14.
Logic and Algebra of Specification
Logic and Algebra of Specification
By: Wilfried Brauer, Helmut Schwichtenberg, Friedrich L Bauer
Publisher: Springer
No Review Yet
AED709
Binding:
Hardback
Release:
05 Jul 1993
Language:
English
International Edition
Ships within 14-16 Days Explain..
No more records found