Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) Grädel, Erich, Phokion G. Kolaitis and Leonid Libkin
Sprache: Englisch
Verlag: Berlin/Heidelberg, Springer, 2007
Serie: Buch 27 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Gebraucht

Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer:in bei ZVAB seit 14. Juli 2011
Zustand: Gebraucht - Gut
EUR 189,90
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung des Verkäufers
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) In deutscher Sprache. pages.
Bestandsnummer des Verkäufers BN727332
- Titel
- Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) Grädel, Erich, Phokion G. Kolaitis and Leonid Libkin
- Autor
- Grädel, Erich, Phokion G. Kolaitis and Leonid Libkin
- Verlag
- Berlin/Heidelberg, Springer
- Erscheinungsjahr
- 2007
- Zustand
- gut
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 3540004289
- ISBN-13
- 9783540004288
- Auflage
- 2007.
- Artikelgewicht
- 2.000 Gramm
- Serie
- Buch 27 von 45: Texts in Theoretical Computer Science. An EATCS
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Über die Autorin bzw. den Autor
Erich Graedel is a Professor of Mathematical Foundations of Computer Science at the University of Technology Aachen. His research interests include algorithms, complexity, and logic in computer science.
Phokion G. Kolaitis is a professor of computer science at the University of California, Santa Cruz. His current research interests include logic in computer science, computational complexity, and database theory. He earned a Diploma in Mathematics from the University of Athens, Greece in 1973, and a Ph.D. in Mathematics from the University of California, Los Angeles in 1978. Before joining UC Santa Cruz in 1988, he served as an L.E. Dickson Instructor of Mathematics at the University of Chicago, a faculty member at Occidental College, a visiting faculty member at Stanford University, and a visiting scientist at the IBM Almaden Research Center. Kolaitis was awarded a Guggenheim Fellowship during 1993-94. In 1995, he received an Excellence in Teaching Award by the graduating computer science and computer engineering students at UC Santa Cruz.
Leonid Libkin received his PhD from the University of Pennsylvania and is currently Professor of Computer Science at the University of Toronto. His main research interests include databases and applications of logic in computer science.
Maarten Marx is an associate professor at the Vrije Universiteit Amsterdam. His research interests are in modal and algebraic logic.
Joel Spencer is a Professor of Mathematics and Computer Scienceat the Courant Institute, New York University. His research interests lie in interface between Discrete Mathematics and Theoretical Computer Science, most particularly with the Probabilistic Method as developed by Paul Erdos.
Moshe Y. Vardi is a Noah Harding Professor of Computer Science and Chair of Computer Science at Rice University. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. His research interests include database systems, computational-complexity theory, multi-agent systems, and design specification and verification. Vardi received his Ph.D. from the Hebrew University of Jerusalem in 1981. He is the author and co-author of over 120 technical papers, as well as a book titled "Reasoning about Knowledge". Vardi is the recipient of 3 IBM Outstanding Innovation Awards. He is an editor of several international journals and is a Fellow of the Association of Computing Machinery.
Yde Venema studied mathematics; in 1992, he received a PhD in Logic with the dissertation `Many-Dimensional Modal Logic'. He is currently a Research Fellow of the Royal Netherlands Academy of Arts and Sciences and an assistant professor at the Institute for Logic, Language and Computation of the University of Amsterdam. His research interests include modal and temporal logic, algebraic logic, and applications of logic in linguistics and computer science.
Scott Weinstein is Professor of Computer Science, Mathematics, and Philosophy at the University of Pennsylvania. His research interests include logic in computer science and the philosphy of mathematics.
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Wahlstedt, Deutschland
Verkäufer:in bei ZVAB seit 14. Juli 2011
Versandkosten von Deutschland nach USA
| Artikel | 9 bis 29 Werktage | 8 bis 19 Werktage |
|---|---|---|
| Erster Artikel | EUR 39,95 | EUR 49,95 |
Zahlungsarten
- Banküberweisung
- PayPal
- Rechnung
- Vorauskasse
Shopbeschreibung
ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Sollten Sie auf der Suche nach einem (ggf.raren/vergriffenen) Fachbuch sein, nutzen Sie einfach unseren persönlichen Service rund ums Buch. Wir besorgen jedes lieferbare Buch schnellstmöglich (sowie CDs, Kassetten, Spiele, Fortsetzungen, Fachzeitschriften etc.) und lösen auch anspruchsvollere Aufgaben - testen Sie uns! Für Kunden, die nach bestimmten Buchtiteln suchen, bieten wir einen unverbindlichen und kostenlosen Recherche-Service. Dank unserer guten Vernetzung kann unser Buchservice oft selbst solche Bücher aufspüren, die auf dem Markt bereits seit langem vergriffen sind. ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Impressum: BuchService Lars Lutzer - Einzelunternehmung -Alte Landstr. 39- 23812 Wahlstedt- TEL: +49 (0) 176 / 63887918 Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , UID: DE277819159…
Unternehmensdaten der Verkäuferin bzw. des Verkäufers
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Deutschland
Verkaufsbedingungen
Impressum:
BuchService Lars Lutzer - Einzelunternehmer - Anschrift: Lars Lutzer -Alte Landstr. 39- 23812 Wahlstedt Deutschland /Germany - TEL: +49 (0) 176 / 63887918 - Email: L.Lutzer(at)LLU-Buchservice(punkt)de, UID / VAT: DE277819159.
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Lars Lutzer, Alte Landstrasse 39, 23812, Wahlstedt, Germany, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
Widerrufsrecht für Verbraucher
Verbrauchern steht ein Widerrufsrecht nach folgender Maßgabe zu, wobei Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können:
Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen. Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht Beförderer ist, die Waren in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns: Lars Lutzer - Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt, Deutschland /Germany- Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , TEL: +49 (0) 176 / 63887918 - UID: DE277819159 mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.)
– An Lars Lutzer, Alte Landstr. 39, 23812 Wahlstedt, Deutschland, E-Mail: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE:
– Hiermit widerrufe(n) ich/wir (*) den von mir/uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*)/die Erbringung der folgenden Dienstleistung (*)
– Bestellt am (*)/erhalten am (*)
– Name des/der Verbraucher(s)
– Anschrift des/der Verbraucher(s)
– Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier)
– Datum
(*) Unzutreffendes streichen.