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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568629
Price: 53.79 EUR
Availability: InStock
Author: Sergei Artemov
ISBN: 9783540727323

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Sergei Artemov

Anil Nerode

Sprache

Englisch

Buch Broschur

Libristo-Code: 01568629

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2007

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Vollständige Beschreibung

Libristo-Code: 01568629

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Specjalna gąbka do zmywania tablicy

binding.

5.69 €

Hogyan eljunk ugy, mint a kis herceg Stephane Garnier

Adobe ePub DRM

7.19 €

Aladdin (Arabe) (Aladdin) DISNEY Buch

binding.

18.29 €

Le chant de l'éternité - les paroles qui guérissent Aïssel Buch

Broschur

21.29 €

Lire De la démocratie en Amérique d'Alexis de Tocqueville - Pour une sociologie de la démocratie Keslassy

Broschur

14.09 €

La fiscalité - repères pratiques N52 2014 Georges Sauvageot

Broschur

16.99 €

LES CINQ DIAMANTS DU DIABLE Caradec

Broschur

19.09 €

Amour Intemporel Roberto Mendoza Zepeda

Adobe ePub DRM

4.89 €

Hotel Bellavista y otros cuentos del mar Badran

MP3

5.89 €

Michael Douglas Marc Eliot

Hardcover

7.59 €

So sexy ist Niedersachsen! Band 1 Alexandra

Broschur

9.99 €

L'Amour s'En Va En Guerre... Jezabella Michel Severin

Broschur

15.39 €

Freiheitsrechtliche Grenzen der Steuer- und Sozialabgabenlast Hermann Butzer

Broschur

88.19 €

Legislation Complete Des Fabriques Des Eglises, Presentant, Dans l'Ordre Alphabetique LE BESNIER

Broschur

32.29 €

Ist das Heil verlierbar? Zur Frage der Heilsgewissheit in den lutherischen und reformierten Bekenntnisschriften René Debus

Broschur

17.95 €

Betriebsgeräusch Normalität Sabine Biebl

Broschur

52.29 €

Der fünfzehnte November Ludwig Tieck

Broschur

14.90 €

Filipika proti redukcionizmu Pavel Holländer

Broschur

8.09 €

Histoire Du Gouvernement Parlementaire En France: 1814-1848 T 9 Duvergier De Hauranne-P

Broschur

38.79 €

Cando petan na porta pola noite XABIER P. DOCAMPO

Broschur

16.29 €

Contribution A La Chirurgie Oncoplastique Du Sein Nizet Jean-Luc

Broschur

54.99 €

O cultivo da canola no estado do Rio Grande do Sul Fortes Teixeira Carlos Eugenio

Broschur

46.59 €

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007.§The volume presents 36 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.

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 Logical Foundations of Computer Science

Autor Sergei Artemov, Anil Nerode

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 516

EAN 9783540727323

ISBN 3540727329

Libristo-Code 01568629

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 778

Abmessungen 155 x 234 x 31

Kategorie

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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