Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Zustand: Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
EUR 26,79
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Zustand: New.
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: College Publications 11/29/2011, 2011
ISBN 10: 1848900333 ISBN 13: 9781848900332
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Paperback or Softback. Zustand: New. Foundations of Mathematics I. Book.
Zustand: New.
Sprache: Englisch
Verlag: College Publications 2011-11, 2011
ISBN 10: 1848900333 ISBN 13: 9781848900332
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 19,88
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
EUR 23,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 22,79
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Softcover. Zustand: Fair. Wasserschaden / Verschmutzung; Leichte Risse.
Zustand: Fair. Leichte Abnutzungen; Deutliche Verbiegung. Grundlegend und kompakt bietet dieser Band eine Einführung in die Geschichte des byzantinischen Reiches von der Zeit Konstantins des Großen bis zur Eroberung Konstantinopels im Jahre 1453. Peter Wirth zeichnet die Schwerpunkte der politischen Entwicklung sowie der Verwaltungs-, Sozial und Kulturgeschichte der byzantinischen Ära nach und skizziert die wesentlichen Ereignisse der Kirchenhistorie.
Hardcover. Zustand: Fair. Unterschrift / Widmung ohne Bezug.
Zustand: As New.
Hardcover. Zustand: Fair. Wasserschaden / Verschmutzung; Leichte Risse; Deformation der Bindung.
Softcover. Zustand: Fine. Leichte Risse.
EUR 26,07
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Hardcover. Zustand: As New. Leichte Abnutzungen. Das Buch gibt Ihnen eine sichere Hilfestellung fur die wichtigsten Baumassen bei der Neuanlage oder Umgestaltung von Garten. Mit einfachen Mitteln, leichtem technischen Aufwand und mit wenigen Hilfskraften ist bei den beschriebenen Verfahren ein Bau in Eigenregie moglich. Auf der Grundlage seiner langjahrigen Erfahrung als Gartenarchitekt stellt der Autor die besten Materialien fur einfache Gestaltungsaufgaben vor. Bei den gebauten Elementen wie Treppen, Mauern und Gartenteich berucksichtigt er stets den begrenzten Raum der Hausgarten. Aus den einzelnen Themenbereichen konnen Sie sich als Selbstbauer ,Bausteine" auswahlen, die Sie zu ansehnlichen Ergebnissen fuhren. Samtliche Anleitungen sind in jahrelanger Anwendung erprobt und optimiert und hier in pragnanten Farbfotos dargestellt. Schwerpunkte des Bandes sind der Umgang mit Erde, Stein und Holz, die Anlage von Rasen oder Wiese sowie die Anfangspflanzung.
Softcover. Zustand: Fine. Leichte Risse; Gebogener Buchrücken; Farbveränderung durch Alter/Sonne.
Hardcover. Zustand: As New. Traumgärten planen und gestalten - Die bewährte und kompetente Planungshilfe für alle Gartenbesitzer - Für individuelle Gartenplanung von Anfang an - Mit Kostenübersichten Dieser umfassende Ratgeber ist eine kompetente Planungshilfe, die vielfältige Wünsche und Aufgaben noch vor Baubeginn praxisgerecht erläutert. Wege, Sitzplätze und Treppen anlegen, den Vorgarten gestalten, Zäune und Mauern errichten, Hecken pflanzen, Carports oder Stellplätze planen, den Teich anlegen und den Garten effektvoll beleuchten. Die perfekte Unterstützung bei der Ideen- und Zielfindung für den eigenen Garten - von den ersten Planungsschritten bis zur Kostenschätzung.
Softcover. Zustand: As New. Leichte Abnutzungen.
EUR 28,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextHilbert and Bernays Grundlagen der Mathematik appeared in two volumes in 1934 and 1939, asecond edition in 1968 and 1970. It offers afoundation for proof theory and is a major source onDavid Hilbert s formalist programme.
Sprache: Englisch
Verlag: Verlag Dr. Kovac, Hamburg, 1997
ISBN 10: 386064551X ISBN 13: 9783860645512
Anbieter: Verlag Dr. Kovac GmbH, Hamburg, Deutschland
Erstausgabe
Softcover. Zustand: neu. 1. Auflage. Forschungsergebnisse zur Informatik, Band 31 260 pages. Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver Theoreme in naher Zukunft wirtschaftliche Bedeutung erlangen wird. Positiv/negativ bedingte Gleichungen sind universell quantifizierte Implikationen erster Stufe mit einer einzelnen Gleichung im Sukzedens und einer Konjunktion von positiven und negativen (d.h. negierten) Gleichungen im Antezedens. Sie eignen sich zur funktionalen Spezifikation erster Stufe und lassen sich in direkter Weise als Programme auffassen. Mit Hilfe eines konstruktorbasierten Ansatzes wird algebraischen Spezifikationen mit positiv/negativ bedingten Gleichungen eine ihnen gemäÃe Semantik gegeben. Des weiteren wird die Reduktion mit positiv/negativ bedingten Regeln in solcher Weise definiert, dass die grundlegenden Ergebnisse für positiv bedingte Termersetzungssysteme ihre Gültigkeit behalten. Es ist von besonderer Wichtigkeit, dass die vorgestellten Begriffe induktiver Gültigkeit gegenüber konsistenter Spezifikationserweiterung ein monotones Verhalten aufweisen. Auf dieser Grundlage wird dann ein Inferenzsystem zum Nachweis verschiedener induktiver Gültigkeiten von Gleichungsklauseln entwickelt. Der konstruktorbasierte Ansatz erweist sich für einen derartigen Induktionsbeweis als gut geeignet, und auch das Auftreten partiell definierter und nichtterminierender Funktionen bereitet keine zusätzlichen Schwierigkeiten.
EUR 23,80
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Softcover. Zustand: As New.
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 23,64
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 26,80
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Hardcover. Zustand: gut. 2009. Berichterstattung in Wissenschaft und Praxis. Namhafte Wissenschaftler und erfahrene Praktiker setzten sich mit den Themenbereichen der Berichterstattung auseinander, wobei der Schwerpunkt auf der Konzernrechnungslegung liegt. Darüber hinaus umfasst die Festschrift für Professor Karlheinz Küting auch Beiträge zu Spezialthemen der internationalen Rechnungslegung, zur externen/internen Berichterstattung und Compliance, zur Rechnungslegung/Prüfung und Besteuerung sowie der Bilanzierung öffentlicher Unternehmen. Autor: Prof. Dr. Claus-Peter Weber, WP/StB/RA, Honorarprofessor an der Universität des Saarlandes, Saarbrücken; Prof. Dr. Peter Lorson, Professor für Allgemeine Betriebswirtschaftslehre: Unternehmensrechnung und Controlling an der Universität Rostock; Prof. Dr. Norbert Pfitzer, WP/StB, Mitglied des Vorstands der Ernst & Young AG, Wirtschaftsprüfungsgesellschaft, Stuttgart; Dr. Harald Kessler, Partner der KLS Kessler Leinen Strickmann PartG für Beratung und Schulung in der Rechnungslegung, Köln; Dr. Johannes Wirth, wissenschaftlicher Mitarbeiter am Institut für Wirtschaftsprüfung an der Universität des Saarlandes, Saarbrücken; Autoren der Einzelbeträge sind renommierte Experten aus Forschung und Praxis, u.a. Kagermann/Brandt (SAP AG), Prof. Herzig, Prof. Pellens, Ellerich (Fasselt + Partner), Prof. Kußmaul, Prof. Ballwieser. Sprache deutsch Maße 170 x 240 mm Einbandart: gebunden Wirtschaft Festschriften Wirtschaftswissenschaften Kapitalmarkt Küting, Karlheinz ISBN-10 3-7910-2875-8 / 3791028758 ISBN-13 978-3-7910-2875-0 / 9783791028750 Berichterstattung für den Kapitalmarkt: Festschrift für Karlheinz Küting zum 65. Geburtstag Claus P Weber, Peter Lorson, Norbert Pfitzer, Harald Kessler, Johannes Wirth (Herausgeber) In deutscher Sprache. 772 pages. 170 x 240 mm.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Hilbert and Bernays' 'Grundlagen der Mathematik'appeared in two volumes in 1934 and 1939, asecond edition in 1968 and 1970. It offers afoundation for proof theory and is a major source onDavid Hilbert's formalist programme, Paul Bernays'philosophy, the epsilon operator, and much more.It has been a profound infl uence on mathematicslogic, and philosophy, and it covers formal groundand philosophical perspectives beyond the scope ofWhitehead and Russell's 'Principia Mathematica' andFrege's 'Grundlagen der Arithmetik'.This book is not only essential to any scholar of thehistory and philosophy of modern mathematics, but italso contains formal research - on the epsilon and iotaoperators - of contemporary relevance to logiciansmathematicians and computer science. For us, it isone of the most fascinating books ever written.This a bilingual German-English, commented editionof the 'Grundlagen'. It is the fi rst English publicationof these texts and shows the facsimile of the Germanoriginal text on the left-hand side of a double pageand its English translation on the right-hand side.In addition to extensive comments on the historyand the interpretation of the text's mathematicaland philosophical content, there are also carefulannotations regarding the differences between thetwo German editions (1934/39,1968/1970) of thistwo volume monograph.