Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Finite and Algorithmic Model Theory

Name: Finite and Algorithmic Model Theory
Brand: Cambridge University Press
SKU: 04094637
Price: 75.49 EUR
Availability: InStock
Author: Javier Esparza
ISBN: 9780521718202

Javier Esparza

Sprache

Englisch

Buch Broschur

Libristo-Code: 04094637

Verlag Cambridge University Press, März 2011

Intended for researchers and graduate students in theoretical computer science and mathematical logi... Vollständige Beschreibung

Libristo-Code: 04094637

185 b

75.49 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kinder der Karibik Monika Kunstmann

Hardcover

16.90 €

coltura delle patate. Tecniche di coltivazione, conservazione rigenerazione Giulio Catoni

Broschur

22.09 €

Funko POP Rides: Stranger Things - Steve with the Squawk Van #138 Spiel/Spielzeug

Spielzeug

46.69 €

Mis andanzas por el camino portugués Vicente Cabán

Broschur

25.19 €

24 hodin ve starověkých Athénách Philip Matyszak

Hardcover

12.19 €

Mes rituels magiques avec des bougies Madame Pamita

Hardcover

20.29 €

Velká knížka O jednorožci pro malé vypravěče Monika Parciak

Leporello

6.99 €

Boussole de Mathias Enard (Fiche de lecture) lePetitLitteraire

Adobe ePub DRM

9.49 €

Textanalyse. Nutzung im sozialwissenschaftlichen Unterricht Andreas J. Moj

Broschur

17.95 €

L'amant de la Grande Ourse Piasecki Buch

Broschur

13.59 €

Mein Jahr als Jäger und Sammler Sofia Blind

Broschur

13.00 €

Forschungsperspektiven der betriebswirtschaftlichen Logistik Herbert Kotzab

Broschur

39.99 €

Rok v mateřské škole v činnostech Zima Stanislava Kociánová

Buch

18.49 €

Žďársko z nebe Milan Paprčka

Hardcover

17.69 €

Verzeichniss Der Arabischen Handscrfiften Der K�niglichen Bibliothek Zu Berlin, Volume 6 Wilhelm Ahlwardt

Broschur

45.50 €

Dřevěné puzzle Zákoutí naší zahrady 96 dílků goki

Puzzle

11.99 €

Mein Compact-Cassetten-Sammelbuch/Notizbuch mit Inhaltsverzeichnis Uwe H Sultz

Broschur

9.99 €

Bismarck-Turm am Starnberger See Markus Wagner

Broschur

18.95 €

Padre de Huerfanos: La Vida de George Muller Janet Benge

Broschur

6.19 €

Chants de Deuil Joseph Rousse

Broschur

12.29 €

D centralisation Et Analyse de la Participation Communautaire Ndiaye-C

Broschur

30.39 €

Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Finite and Algorithmic Model Theory

Autor Javier Esparza

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 356

EAN 9780521718202

ISBN 0521718201

Libristo-Code 04094637

Verlag Cambridge University Press

Gewicht 518

Abmessungen 154 x 227 x 18

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

History of Greece 5 Volume Set Ernst CurtiusAdolphus William Ward

Broschur

308.09 €

Your Grown-Up Faith: Blending the Three Elements of Belief Kenneth L. Parker

Broschur

10.99 €

Cracking Trauma Neurosurgery Vignettes Paul Edward Kaloostian MD

Broschur

32.19 €

Adventures of Tom Sawyer and Huckleberry Finn Mark Twain

Hardcover

30.39 €

Developing Technologies in E-Services, Self-Services, and Mobile Communication Ada Scupola

Hardcover

166.89 €

I Wish I Was a Brownie Marsha Casper Cook

Broschur

9.19 €

Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens

Broschur

19.59 €

Meadowlands Louise Gluck

Broschur

12.69 €

Curiosity: The Story of a Mars Rover Markus Motum

Hardcover

18.79 €

The Bench and Bar of Boone County, Missouri: Including the History of Judges, Lawyers, and Courts, and an Account of Noted Cases, Slavery Litigation, North Todd Gentry

Broschur

27.39 €

Instrumental Data for Drug Analysis, Second Edition Mills

Hardcover

359.29 €