Importo totale (1 articolo articoli):
Destinazione ordine:
SCHWICHTENBERG HELMUT (177 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (177)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (72)
- Non Print on Demand (124)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Basic proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Hardcover. Condizione: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
-
EUR 24,60
Spedizione EUR 15,77
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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. .
Editore: Köln, 1937
Da: Antiquariat B. Scierski, Erdmannhausen, Germania
Valutazione del venditore 4 su 5 stelle
EUR 9,50
Spedizione EUR 18,70
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello122 Seiten, 8°, Halbleinen. Stempel auf Vorsatz, Pappeinband mit Nummerierung, insgesamt aber gut erhalten.
-
Proof and Computation (Nato ASI Subseries F:)
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 37,13
Spedizione EUR 8,12
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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].
-
Proof technology and computation. Edited by Helmut Schwichtenberg and Katharina Spies.
Lingua: Inglese
Editore: Amsterdam ; Washington, DC, IOS Press, c., 2006
ISBN 10: 1586036254 ISBN 13: 9781586036256
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 4 su 5 stelle
Prima edizione
EUR 21,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello1st 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.
Editore: BBK-Landesverband Schleswig-Holstein, Kiel, 1995
EUR 14,00
Spedizione EUR 20,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello40 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
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 23,50
Spedizione EUR 28,98
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New.
-
Proof Technology and Computation: Computer and Systems Sciences: v. 200 (NATO Science Series: Computer & Systems Sciences) [Jul 15, 2006] Schwichtenberg, Helmut
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 24,69
Spedizione EUR 28,98
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Fine.
-
Proof and System-Reliability
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,91
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry, 62)
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryDa: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,30
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 2018
ISBN 10: 9813270934 ISBN 13: 9789813270930
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry, 62)
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,65
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic of Computation: (Closed)) (NATO ASI Subseries F:)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,65
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic of Computation
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,15
Spedizione EUR 17,96
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Proof and System-Reliability
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,64
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof and System-Reliability
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 428.
-
Condizione: New. pp. 416.
-
Proof and System-reliability
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryLingua: Inglese
Editore: Kluwer Academic Publishers, 2002
ISBN 10: 140200608X ISBN 13: 9781402006081
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 73,84
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: 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)
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
LOGIC AND ALGEBRA OF SPECIFICATION.
Da: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: 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.
-
Proof and System-reliability
Libro 198 di 241: NATO Science Series II: Mathematics, Physics and ChemistryLingua: Inglese
Editore: Kluwer Academic Publishers, 2002
ISBN 10: 140200608X ISBN 13: 9781402006081
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computational Logic (Nato ASI Subseries F: (165)).
Da: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germania
Valutazione del venditore 5 su 5 stelle
EUR 63,00
Spedizione EUR 37,88
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: 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
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 103,08
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 105,46
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic of Computation (NATO ASI Series / Computer and Systems Sciences)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 93,68
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic of Computation
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 108,27
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic of Computation
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 93,67
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,36
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
