Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
EUR 15,95
Quantité disponible : 1 disponible(s)
Ajouter au paniergebundene Ausgabe. Etat : 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.
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
EUR 35,11
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
EUR 29,20
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Vendeur : Antiquariat Seitenwechsel, Hildesheim, NI, Allemagne
EUR 20
Quantité disponible : 1 disponible(s)
Ajouter au panier0387974504, 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.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,77
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Langue: anglais
Edité par New York Inc.: Springer-Verlag, 1991
ISBN 10 : 0387974504 ISBN 13 : 9780387974507
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 27
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 82,31
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 425.
EUR 82,40
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 425.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 81,46
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 425.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,35
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10 : 9811289360 ISBN 13 : 9789811289361
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 502,02
Quantité disponible : 2 disponible(s)
Ajouter au panierHardback. Etat : 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.
Langue: anglais
Edité par World Scientific Publishing Co Pte Ltd, 2024
ISBN 10 : 9811289360 ISBN 13 : 9789811289361
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 509,32
Quantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1200 pages. 6.10x2.00x9.30 inches. In Stock.
Langue: anglais
Edité par World Scientific Publishing Company, 2024
ISBN 10 : 9811289360 ISBN 13 : 9789811289361
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 556,33
Quantité disponible : 6 disponible(s)
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10 : 9811289360 ISBN 13 : 9789811289361
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 515,99
Quantité disponible : 2 disponible(s)
Ajouter au panierHardback. Etat : 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.
Vendeur : moluna, Greven, Allemagne
EUR 47,23
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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 .