Claus peter wirth (33 résultats)

Paperback. Etat : Fair. Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes in 1934 and 1939, a second edition in 1968 and 1970. It offers a foundation for proof theory and is a major source on David Hilbert's formalist programme, Paul Bernays' philosophy, the epsilon operator, and much more. It has been a profound infl uence on mathematics, logic, and philosophy, and it covers formal ground and philosophical perspectives beyond the scope of Whitehead and Russell's 'Principia Mathematica' and Frege's 'Grundlagen der Arithmetik'. This book is not only essential to any scholar of the history and philosophy of modern mathematics, but it also contains formal research - on the epsilon and iota operators - of contemporary relevance to logicians, mathematicians and computer science. For us, it is one of the most fascinating books ever written. This a bilingual German-English, commented edition of the 'Grundlagen'. It is the fi rst English publication of these texts and shows the facsimile of the German original text on the left-hand side of a double page, and its English translation on the right-hand side. In addition to extensive comments on the history and the interpretation of the text's mathematical and philosophical content, there are also careful annotations regarding the differences between the two German editions (1934/39,1968/1970) of this two volume monograph. …

Etat : New.

Paperback. Etat : New.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : Fair. Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes in 1934 and 1939, a second edition in 1968 and 1970. It offers a foundation for proof theory and is a major source on David Hilbert's formalist programme, Paul Bernays' philosophy, the epsilon operator, and much more. It has been a profound infl uence on mathematics, logic, and philosophy, and it covers formal ground and philosophical perspectives beyond the scope of Whitehead and Russell's 'Principia Mathematica' and Frege's 'Grundlagen der Arithmetik'. This book is not only essential to any scholar of the history and philosophy of modern mathematics, but it also contains formal research - on the epsilon and iota operators - of contemporary relevance to logicians, mathematicians and computer science. For us, it is one of the most fascinating books ever written. This a bilingual German-English, commented edition of the 'Grundlagen'. It is the fi rst English publication of these texts and shows the facsimile of the German original text on the left-hand side of a double page, and its English translation on the right-hand side. In addition to extensive comments on the history and the interpretation of the text's mathematical and philosophical content, there are also careful annotations regarding the differences between the two German editions (1934/39,1968/1970) of this two volume monograph. …

Etat : New.

Softcover. Etat : Fair. Verschmutzung; Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung; Beilage vorhanden. Nehmen Sie die Gartengestaltung selbst in die Hand! - kompetente Planungshilfe - Schritt für Schritt: planen und entwerfen - mit Kostenübersichten Viele Gartenbesitzer möchten Ihre Gartenideen selbst verwirklichen: Wege und Sitzplätze anlegen, Treppen, Mauern und Zäune errichten, Hecken pflanzen oder den ganzen Vorgarten gestalten, ein Carport bauen oder gar einen Teich anlegen. Dieses Buch zeigt, welche Gestaltungsmöglichkeiten es gibt, worauf man achten muss und mit welchen Kosten zu rechnen ist.…

Hardcover. Etat : Fine. Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveränderung. Der unentbehrliche Begleiter für die Planungsphase auf dem Weg zum eigenen Garten! Gartenplanung ist gar nicht so schwer - vorausgesetzt, Sie beachten die Reihenfolge einer sinnvollen Vorgehensweise. Mit diesem Buch erhalten Sie eine kompetente Planungshilfe an die Hand, die die vielfältigsten Fragestellungen noch vor Baubeginn praxisnah erläutert. Es hilft Ihnen bei der Ideen- und Zielfindung für Ihren Traumgarten, begleitet Sie bei den ersten Planungsschritten bis hin zur Kostenschätzung, empfiehlt, was Sie selbst ausführen können und wo die Vergabe an einen Fachbetrieb notwendig ist. Fiktive Planungsvorgaben und deren Abwandlung bieten ein Spektrum vielfältigster Lösungsmodelle für das eigene Gartengrün. - geballtes Planungswissen rund um den Garten - wie man die Kosten im Griff behält - bedient den Trend zur eigenen Gartenplanung.…

Softcover. Etat : Fine. Leichte Gebrauchsspuren.

Hardcover. Etat : Fine. Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveränderung.

Softcover. Etat : Fine. Leichte Gebrauchsspuren. Stellt detailliert die Planung und Gestaltung von Wegen und Sitzplatzen im Garten vor: Checklisten, Zeichnungen, Berechnungsformeln u.a.; reich illustriert.

Softcover. Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Der Gartenplaner bietet eine Hilfestellung für die korrekte Abfolge einzelner Planungsstufen und lenkt Bauvorhaben so von Anfang an in die richtigen Bahnen. Er gibt eine konkrete Anleitung, angefangen von der Formulierung von Wünschen über die Umsetzung der Idee als Skizze bis hin zum Ausführungsplan, der sowohl für Eigenarbeit als auch zur Vorlage bei einer Fremdfirma eine wichtige Grundlage darstellt. Er bietet einen Kostenvergleich der unterschiedlichen Baumaterialien und Ausführungsvarianten und hilft somit bei der Kostenschätzung des Bauvorhabens.…

Etat : New. In English.

Etat : New.

Softcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung; Beilage vorhanden. Nehmen Sie die Gartengestaltung selbst in die Hand! - kompetente Planungshilfe - Schritt für Schritt: planen und entwerfen - mit Kostenübersichten Viele Gartenbesitzer möchten Ihre Gartenideen selbst verwirklichen: Wege und Sitzplätze anlegen, Treppen, Mauern und Zäune errichten, Hecken pflanzen oder den ganzen Vorgarten gestalten, ein Carport bauen oder gar einen Teich anlegen. Dieses Buch zeigt, welche Gestaltungsmöglichkeiten es gibt, worauf man achten muss und mit welchen Kosten zu rechnen ist.…

Softcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung. Das byzantinische Reich, gekennzeichnet durch eine Verbindung aus römischem Staatsgedanken, griechisch-hellenistischer Kultur und Christentum, stellte über tausend Jahre lang einen bedeutenden Machtfaktor im europäisch-asiatischen Raum dar. 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. Peter Wirth zeichnet die Schwerpunkte der politischen Entwicklung sowie der Verwaltungs-, Sozial- und Kulturgeschichte nach und skizziert die wesentlichen Ereignisse der Kirchenhistorie bis zur türkischen Eroberung.…

Hardcover. Etat : Fine. Leichte Verformung / umgeknickte Seiten; Beilage vorhanden.

Etat : As New. Unread book in perfect condition.

Softcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten.

Hardcover. Etat : As New. Leichte Kratzer / Abnutzungen / Druckstellen. Nehmen Sie die Gartengestaltung selbst in die Hand! Mit diesem Ratgeber gelingt Ihre Gartenplanung garantiert. Planen und entwerfen Sie Ihren Garten mit Hilfe von Beispielen zur Gartengestaltung, Zeichnungen und Kostenübersichten. Verwirklichen Sie Ihre Gartenideen und Heimwerker-Projekte: Gartenwege, Sitzplätze und Terrassen anlegen, Treppen, Zäune, Gartenmauern und Sichtschutz errichten, den Vorgarten neu gestalten, einen Carport selber bauen oder einen Gartenteich anlegen. Erfahren Sie, wie Sie Ihre Gartenbewässerung optimieren und wie Sie die Gartenbeleuchtung effektvoll anlegen. Dieses Buch zeigt Ihnen, worauf Sie bei der Gartenplanung achten und mit welchen Kosten Sie rechnen müssen.…

Softcover. Etat : 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.…

Paperback. Etat : New.

Hardcover. Etat : Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveranderung. Strmy pozemek stavi mnohe majitele a architekty pred obtizny ukol. Rentabilita a ucelnost zalozeni takoveto zahrady jde ruku v ruce s pranim vytvorit zahradu unikatni a jedinecnou. S citem pro danou situaci a s pomoci zkuseneho oka se muzeme dopracovat k takovemu reseni, ktere uspokoji nejen nase osobni pozadavky, ale prizpusobi se i mistnim podminkam. Znalosti jednotlivych materialu a prave tak i dostatecna technicka zrucnost umozni, ze vysledkem naseho snazeni bude zdarile provedeni a vybudovani takove zahrady, jejiz vzhled bude korespondovat s puvodnim navrhem. Publikace prinasi tez informace dulezite pro vyber vhodne vegetace, ktere se bude na svahu dobre darit a take rady tykajici se spravne vysadby a pece o vysazene rostliny. Cetne priklady a nakresy jednotlivych navrhovanych reseni na vybranych stanovistich knihu nejen perfektne doplnuji, ale mohou byt i vyzvou a nametem pro vlastni planovani.…

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Hardcover. Etat : gut. 2009. Zahrada ve svahu In deutscher Sprache. pages.

Hardcover. Etat : gut. 2016. Zahradní projekty- Návrhy, plány, provedení krok za krokem In deutscher Sprache. pages.

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Hardcover. Etat : 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.…