Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
EUR 15,95
Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. 425 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 800.
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 22,89
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: Very Good.
Da: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germania
EUR 15,70
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. 435 p. In very good condition. ISBN: 9780387974507 Sprache: Englisch Gewicht in Gramm: 756 16,5 x 2,5 x 24,8 cm, hardcover.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Condizione: New. pp. 446.
EUR 78,65
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 425.
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,67
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 435 pages. 9.25x6.10x1.00 inches. In Stock.
Lingua: Inglese
Editore: New York Inc.: Springer-Verlag, 1991
ISBN 10: 0387974504 ISBN 13: 9780387974507
Da: Antiquariat Bernhardt, Kassel, Germania
EUR 54,00
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. X, 425 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 780 gebundene Ausgabe gebundene Ausgabe.
Da: preigu, Osnabrück, Germania
EUR 49,05
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Mathematical Foundations of Computer Science | Sets, Relations, and Induction | Peter A. Fejer (u. a.) | Taschenbuch | Monographs in Computer Science | x | Englisch | 2011 | Springer | EAN 9781461277927 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 472,25
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Lingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 496,81
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: New. Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 493,55
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: Revaluation Books, Exeter, Regno Unito
EUR 513,49
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1200 pages. 6.10x2.00x9.30 inches. In Stock.
Lingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: Rarewaves.com UK, London, Regno Unito
EUR 472,26
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: New. Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 574,33
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: World Scientific Publishing Company Nov 2024, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 601,40
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes -- propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms -- Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 26,90
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 22,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: Antiquariat Seitenwechsel, Hildesheim, NI, Germania
EUR 20,00
Quantità: 1 disponibili
Aggiungi al carrello0387974504, ehem. Bibliotheksexpl., Rückensignatur, Bibliotheksstempel innen, ansonsten einwandfrei, former library book, very good condition, as new 3540974504 Mit offener Rechnung beliefern wir gerne Buchhandlungen, Bibliotheken, Antiquariate, Schulen, Galerien und Institutionen. Bei neuen uns noch unbekannten privaten Kunden erlauben wir uns die Bitte um Vorauskasse. Wir bitten um Ihr Verständnis. Sprache: Deutsch Gewicht in Gramm: 800 Groß-8°, OPpbd., IX, 425 S. : with 36 illustrations.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Majestic Books, Hounslow, Regno Unito
EUR 80,59
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 446 36 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 80,25
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 446.
Da: moluna, Greven, Germania
EUR 47,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of .
Lingua: Inglese
Editore: Springer, Springer Dez 2011, 2011
ISBN 10: 1461277922 ISBN 13: 9781461277927
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.