Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logical Foundations of Computer Science

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

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

Sergei Artemov

Anil Nerode

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01568629

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2007

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Celý popis

Libristo kód: 01568629

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Aladdin (Arabe) (Aladdin) DISNEY Kniha

binding.

426 Kč

LES CINQ DIAMANTS DU DIABLE Caradec

Brožovaná

413 Kč

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

Brožovaná

396 Kč

Féodalités (888-1180) Mazel

Brožovaná

859 Kč

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

Brožovaná

308 Kč

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

Brožovaná

496 Kč

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

Brožovaná

341 Kč

Specjalna gąbka do zmywania tablicy

binding.

133 Kč

Hogyan eljunk ugy, mint a kis herceg Stephane Garnier

Adobe ePub DRM

166 Kč

Amour Intemporel Roberto Mendoza Zepeda

Adobe ePub DRM

112 Kč

Michael Douglas Marc Eliot

Pevná

165 Kč

So sexy ist Niedersachsen! Band 1 Alexandra

Brožovaná

208 Kč

BABADADA, Espanol de America Latina - Ikirundi, diccionario visual - kazinduzi y ibicapo Babadada Gmbh

Brožovaná

651 Kč

Contribution A La Chirurgie Oncoplastique Du Sein Nizet Jean-Luc

Brožovaná

1 196 Kč

Freiheitsrechtliche Grenzen der Steuer- und Sozialabgabenlast Hermann Butzer

Brožovaná

2 056 Kč

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

Brožovaná

720 Kč

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

Brožovaná

369 Kč

Betriebsgeräusch Normalität Sabine Biebl

Brožovaná

1 215 Kč

Der fünfzehnte November Ludwig Tieck

Brožovaná

308 Kč

Filipika proti redukcionizmu Pavel Holländer

Brožovaná

176 Kč

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

Brožovaná

821 Kč

Cando petan na porta pola noite XABIER P. DOCAMPO

Brožovaná

339 Kč

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

Brožovaná

1 014 Kč

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.