Montant total (1 article articles) :
Destination de la commande :
schwichtenberg helmut (185 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (185)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (85)
- Sans impressions à la demande (131)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Logic and Algebra of Specification
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10 : 3540558136 ISBN 13 : 9783540558132
Bonne affaireEUR 5,84
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Langue: anglais
Edité par Cambridge University Press, 1996
ISBN 10 : 0521572231 ISBN 13 : 9780521572231
Vendeur : BOOK2BUY, Lynbrook, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 27,88
Expédition à EUR 3,06
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
-
Computational Logic (NATO ASI Series F: Computer and Systems Sciences) (Volume 165)
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,51
Expédition à EUR 15,71
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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. .
Edité par Köln, 1937
Vendeur : Antiquariat B. Scierski, Erdmannhausen, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 9,50
Expédition à EUR 18,70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier122 Seiten, 8°, Halbleinen. Stempel auf Vorsatz, Pappeinband mit Nummerierung, insgesamt aber gut erhalten.
-
Proof and Computation (Nato ASI Subseries F:)
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 36,99
Expédition à EUR 8,08
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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].
-
Computational Logic
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 42,55
Expédition à EUR 7,51
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 460 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Proof technology and computation. Edited by Helmut Schwichtenberg and Katharina Spies.
Langue: anglais
Edité par Amsterdam ; Washington, DC, IOS Press, c., 2006
ISBN 10 : 1586036254 ISBN 13 : 9781586036256
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Membre d'association : GIAQ ILAB VDA
Évaluation du vendeur 4 sur 5 étoiles
Edition originale
EUR 21
Expédition à EUR 30
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier1st 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.
-
Proof Technology and Computation: v. 200 (NATO Science Series: Computer & Systems Sciences) [Hardcover] Spies, Katharina and Schwichtenberg, Helmut
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 23,41
Expédition à EUR 28,87
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New.
-
Proof Technology and Computation: Computer and Systems Sciences: v. 200 (NATO Science Series: Computer & Systems Sciences) [Jul 15, 2006] Schwichtenberg, Helmut
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,60
Expédition à EUR 28,87
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Fine.
-
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Langue: anglais
Edité par World Scientific Pub Co Inc, 2018
ISBN 10 : 9813270934 ISBN 13 : 9789813270930
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 71,05
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Langue: anglais
Edité par World Scientific Pub Co Inc, 2018
ISBN 10 : 9813270934 ISBN 13 : 9789813270930
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 71,24
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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:)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,99
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry, 62)
Livre 198 sur 241 : NATO Science Series II: Mathematics, Physics and ChemistryVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,99
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Logic of Computation
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,94
Expédition à EUR 17,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Proof and System-Reliability
Livre 198 sur 241 : NATO Science Series II: Mathematics, Physics and ChemistryVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,73
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Proof and System-Reliability
Livre 198 sur 241 : NATO Science Series II: Mathematics, Physics and ChemistryVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,98
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Proof and System-Reliability
Livre 198 sur 241 : NATO Science Series II: Mathematics, Physics and ChemistryVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 78,79
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 428.
-
Logic of Computation
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 80,52
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 416.
-
Proof and System-reliability
Livre 198 sur 241 : NATO Science Series II: Mathematics, Physics and ChemistryLangue: anglais
Edité par Kluwer Academic Publishers, 2002
ISBN 10 : 140200608X ISBN 13 : 9781402006081
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 72,68
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : 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)
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 88,76
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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)
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 88,99
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 AND ALGEBRA OF SPECIFICATION.
Vendeur : PASCALE'S BOOKS, NORTH READING, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,45
Expédition à EUR 4,67
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHard Cover. Etat : 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)).
Vendeur : Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,90
Expédition à EUR 26,30
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : 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.
-
Proof and System-reliability
Livre 198 sur 241 : NATO Science Series II: Mathematics, Physics and ChemistryLangue: anglais
Edité par Kluwer Academic Publishers, 2002
ISBN 10 : 140200608X ISBN 13 : 9781402006081
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 89,81
Expédition à EUR 8,91
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : 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.
-
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 101,36
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 101,63
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Proofs and Computations
Livre 2 sur 17 : Perspectives in LogicLangue: anglais
Edité par Cambridge University Press, 2012
ISBN 10 : 0521517699 ISBN 13 : 9780521517690
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,93
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Proofs and Computations (Perspectives in Logic)
Livre 2 sur 17 : Perspectives in LogicLangue: anglais
Edité par Cambridge University Press, 2012
ISBN 10 : 0521517699 ISBN 13 : 9780521517690
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 102,31
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logic of Computation (NATO ASI Series / Computer and Systems Sciences)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 92,64
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Logic of Computation
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 107,28
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
