Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656468
Price: 58.61 EUR
Availability: InStock
Author: Anuj Dawar
ISBN: 9783642152047

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Anuj Dawar

Helmut Veith

Език

Английски език

Книга С меки корици

Код Либристо: 01656468

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2010

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Scie... Цялото описание

Код Либристо: 01656468

142 b

58.61 €

114.63 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Entwicklung und Einreichung von Orphan-/Generika-Medikamenten und APIs: Regulatorische Erfordernisse Surabhi Shrivastav

С меки корици

57.52 € 112.50 лв

Ich habe deine Tranen gesehen Frank Feldhusen

С меки корици

13.29 € 25.99 лв

New York City-Kalender 2020: Manhattan Terminkalender-Jahresplaner-A5 Format New York Publishing

С меки корици

10.65 € 20.83 лв

Romancero General O Coleccion De Romances Castellanos Anteriores Al Siglo Xviii... Duran

С меки корици

32.59 € 63.73 лв

Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter

С меки корици

25.24 € 49.37 лв

Der Bergbau im Bayerischen Wald Fritz Pfaffl

С меки корици

15.20 € 29.74 лв

Emmanuel Levinas zur Einführung Bernhard H. F. Taureck

С меки корици

15.20 € 29.74 лв

Betania : una casa para el amigo : pilares de espiritualidad familiar José Granados García

С меки корици

20.89 € 40.87 лв

La gota de lluvia, Educación Primaria, 1 ciclo Alfredo Gómez Cerdá

С меки корици

12.05 € 23.56 лв

Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm

С меки корици

37.86 € 74.05 лв

Cours de Versions Compose de Traits d'Histoire, Fables, Descriptions (Ed.1868) Sans Auteur

С меки корици

20.27 € 39.65 лв

Pietr-Le-Letton Georges Simenon

С меки корици

7.29 € 14.26 лв

Entwicklung des Angebots von Sendungen über die Geschichte des 20. Jahrhunderts Sigrun Lehnert

С меки корици

63.06 € 123.33 лв

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010.§The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics covered include automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning.